diff -r d2e9b2dab760 -r 980f5aa0d2d7 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Wed Oct 14 11:56:44 2009 +0200
+++ b/src/Tools/Code/code_haskell.ML	Wed Oct 14 12:03:16 2009 +0200
@@ -149,7 +149,7 @@
                   |> intro_base_names
                       (is_none o syntax_const) deresolve consts
                   |> intro_vars ((fold o Code_Thingol.fold_varnames)
-                       (insert (op =)) ts []);
+                      (insert (op =)) ts []);
               in
                 semicolon (
                   (str o deresolve_base) name