# [pypy-svn] r27957 - pypy/extradoc/talk/dls2006

arigo at codespeak.net arigo at codespeak.net
Wed May 31 11:48:04 CEST 2006

Author: arigo
Date: Wed May 31 11:48:03 2006
New Revision: 27957

Modified:
Log:
Verbatimized.

==============================================================================
+++ pypy/extradoc/talk/dls2006/paper.tex	Wed May 31 11:48:03 2006
@@ -771,12 +771,14 @@
precise enough information for our needs.  We must describe a detail of
the abstract interpretation engine that is critical for precision: the
propagation of conditional types.  Consider the following source code
-fragment::
+fragment:

+\begin{verbatim}
if isinstance(x, MyClass):
f(x)
else:
g(x)
+\end{verbatim}

Although the type of \texttt{x} may be some parent class of
\texttt{MyClass}, it can be deduced to be of the more precise type