Author: arigo
Date: Wed May 31 11:48:03 2006
New Revision: 27957
Modified:
pypy/extradoc/talk/dls2006/paper.tex
Log:
Verbatimized.
Modified: pypy/extradoc/talk/dls2006/paper.tex
==============================================================================
--- pypy/extradoc/talk/dls2006/paper.tex (original)
+++ 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