1.1 --- a/src/Tools/Code/code_haskell.ML	Wed Oct 14 11:56:44 2009 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Oct 14 12:03:16 2009 +0200
     1.3 @@ -149,7 +149,7 @@
     1.4                    |> intro_base_names
     1.5                        (is_none o syntax_const) deresolve consts
     1.6                    |> intro_vars ((fold o Code_Thingol.fold_varnames)
     1.7 -                       (insert (op =)) ts []);
     1.8 +                      (insert (op =)) ts []);
     1.9                in
    1.10                  semicolon (
    1.11                    (str o deresolve_base) name