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

[pedronis at codespeak.net]

Author: pedronis
Date: Wed May 31 14:29:25 2006
New Revision: 27975

Modified:
   pypy/extradoc/talk/dls2006/paper.tex
Log:
slight rephrasing



Modified: pypy/extradoc/talk/dls2006/paper.tex
==============================================================================
--- pypy/extradoc/talk/dls2006/paper.tex	(original)
+++ pypy/extradoc/talk/dls2006/paper.tex	Wed May 31 14:29:25 2006
@@ -425,11 +425,12 @@
 
 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 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.
+our RPython type inference performs almost no automatic specialization
+of functions in the presence of polymorphic arguments.  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