--- a/doc-src/Codegen/Thy/document/Evaluation.tex Wed Dec 15 09:47:12 2010 +0100
+++ b/doc-src/Codegen/Thy/document/Evaluation.tex Wed Dec 15 10:06:36 2010 +0100
@@ -231,7 +231,7 @@
& conversion & \ttsize\verb|Code_Simp.dynamic_conv| & \ttsize\verb|Nbe.dynamic_conv|
& \ttsize\verb|Code_Evaluation.dynamic_conv| \tabularnewline \hline \hline
\multirow{3}{1ex}{\rotatebox{90}{static}}
- & plain evaluation & & & \ttsize\verb|Code_Evaluation.static_value| \tabularnewline \cline{2-5}
+ & plain evaluation & & & \ttsize\verb|Code_Evaluation.static_value| \tabularnewline \cline{2-5}
& property conversion & &
& \ttsize\verb|Code_Runtime.static_holds_conv| \tabularnewline \cline{2-5}
& conversion & \ttsize\verb|Code_Simp.static_conv|
--- a/doc-src/Codegen/Thy/examples/Example.hs Wed Dec 15 09:47:12 2010 +0100
+++ b/doc-src/Codegen/Thy/examples/Example.hs Wed Dec 15 10:06:36 2010 +0100
@@ -1,4 +1,4 @@
-{-# OPTIONS_GHC -fglasgow-exts #-}
+{-# LANGUAGE ScopedTypeVariables #-}
module Example where {