Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_haskell.ML
changeset 39058 551fe1af03b0
parent 39057 c6d146ed07ae
child 39102 4ae1d212100f 
--- a/src/Tools/Code/code_haskell.ML	Thu Sep 02 14:36:49 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Thu Sep 02 14:59:28 2010 +0200
@@ -334,7 +334,7 @@
 fun serialize_haskell module_prefix string_classes { labelled_name,
     reserved_syms, includes, module_alias,
     class_syntax, tyco_syntax, const_syntax, program,
-    names, presentation_names } =
+    names } =
   let
     val reserved = fold (insert (op =) o fst) includes reserved_syms;
     val (deresolver, hs_program) = haskell_program_of_program labelled_name
isabelle