www/papers JanitorL4.lout, 1.1, 1.2 PostFacto.lout, 1.24, 1.25

Update of /var/lib/cvs/www/papers
In directory cantor:/tmp/cvs-serv19557

Modified Files:
        JanitorL4.lout PostFacto.lout 
Log Message:
correct typo. thanks doug!


Index: JanitorL4.lout
===================================================================
RCS file: /var/lib/cvs/www/papers/JanitorL4.lout,v
retrieving revision 1.1
retrieving revision 1.2
diff -u -d -r1.1 -r1.2
--- JanitorL4.lout      7 Mar 2004 20:49:25 -0000       1.1
+++ JanitorL4.lout      30 Mar 2004 22:47:29 -0000      1.2
@@ -38,7 +38,7 @@
 @PP
 In this design document we briefly introduce the
 abstraction concepts provided by the L4::Pistachio
-microkernel, and immediately dvelve into the high
+microkernel, and immediately delve into the high
 level ideas behind the garbage collector that builds
 on these abstractions. Later sections dissect each
 aspect of the design down to the finer aspects and

Index: PostFacto.lout
===================================================================
RCS file: /var/lib/cvs/www/papers/PostFacto.lout,v
retrieving revision 1.24
retrieving revision 1.25
diff -u -d -r1.24 -r1.25
--- PostFacto.lout      11 Mar 2004 18:07:51 -0000      1.24
+++ PostFacto.lout      30 Mar 2004 22:47:29 -0000      1.25
@@ -54,9 +54,7 @@
 @Author { Gabor Greif }
 @Institution { @F gabor@xxxxxxx }
 @AbstractDisplay { Yes }
-# @AbstractFormat { @Centre @Title @DP @Body }
 @Abstract {
-
 We explore a novel kind of type inference in
 object-oriented, dynamically dispatched setting.
 The inference is based on the observation that
@@ -594,7 +592,9 @@
 Certain type combinations would lead to ambiguities, thus
 calls could succeed where a specific method failed (e.g. type error on a 
keyword arg) }
    @ListItem { using the type of returned objects to
-recognize (constrain) several argument types at the same time }
+recognize (constrain) several argument types at the same time,
+also when return type is a union, and turns out later to be a union 
contributor,
+we may figure out which exact method must have been called }
    @ListItem { connection to CPS? }
    @ListItem { new entrypoint that checks types (only), no checks at call 
site? }
    @ListItem { @F apply and argument sequence size, keywords and keyword 
parameters


_______________________________________________
Gd-chatter mailing list
Gd-chatter@xxxxxxxxxxxxxxxx
http://www.gwydiondylan.org/mailman/listinfo/gd-chatter