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

arigo at codespeak.net arigo at codespeak.net
Wed May 31 12:17:37 CEST 2006

Author: arigo
Date: Wed May 31 12:17:20 2006
New Revision: 27961

Another XXX.

Modified: pypy/extradoc/talk/dls2006/paper.tex
--- pypy/extradoc/talk/dls2006/paper.tex	(original)
+++ pypy/extradoc/talk/dls2006/paper.tex	Wed May 31 12:17:20 2006
@@ -413,9 +413,11 @@
 We mitigate the potential efficiency problem by wise choices and
 compromises for the domain used; the foremost example of this is that
-our RPython type inference performs almost no automatic specialization
-of functions XXX class annotation vs concrete runtime class setsXXX.
-We achieved enough precision for our purpose, though.
+our RPython type inference performs almost no polymorphic specialization
+of functions.  Another example is that unlike some schemes which follow
+exact sets of concrete run-time classes, we only propagate a single
+superclass per variable: the most precise common parent class.  This
+gives enough precision for our code generation purposes.
 In the sequel, we give a more precise description of this process and
 justify our claim that good performance and enough precision can be

More information about the Pypy-commit mailing list