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

[arigo at codespeak.net]

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