[pypy-svn] r27758 - pypy/extradoc/talk/dls2006

[arigo at codespeak.net]

Author: arigo
Date: Sat May 27 13:04:33 2006
New Revision: 27758

Modified:
   pypy/extradoc/talk/dls2006/draft.txt
Log:
Mention that types are self-recursive.


Modified: pypy/extradoc/talk/dls2006/draft.txt
==============================================================================
--- pypy/extradoc/talk/dls2006/draft.txt	(original)
+++ pypy/extradoc/talk/dls2006/draft.txt	Sat May 27 13:04:33 2006
@@ -359,9 +359,9 @@
 types.  For each of them, we implemented:
 
 1. the types, which we use to tag the variables of the graphs at the
-   given level.  (Types are mostly just annotated formal terms, and
-   would have been implemented simply as such if Python supported
-   them directly.)
+   given level.  (Types are actually annotated, self-recursive formal
+   terms, and would have been implemented simply as such if Python
+   supported them directly.)
 
 2. the Python objects that emulate instances of these types.  (More
    about them below.)