--- a/src/Tools/Code/code_haskell.ML Fri Jul 03 16:51:06 2009 +0200
+++ b/src/Tools/Code/code_haskell.ML Fri Jul 03 16:51:07 2009 +0200
@@ -147,10 +147,10 @@
val consts = map_filter
(fn c => if (is_some o syntax_const) c
then NONE else (SOME o Long_Name.base_name o deresolve) c)
- ((fold o Code_Thingol.fold_constnames) (insert (op =)) (t :: ts) []);
+ (fold Code_Thingol.add_constnames (t :: ts) []);
val vars = init_syms
|> Code_Printer.intro_vars consts
- |> Code_Printer.intro_vars ((fold o Code_Thingol.fold_unbound_varnames)
+ |> Code_Printer.intro_vars ((fold o Code_Thingol.fold_varnames)
(insert (op =)) ts []);
in
semicolon (