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 37446 fc55011cfdfd
parent 37439 c72a43a7d2c5
child 37447 ad3e04f289b6 
--- a/src/Tools/Code/code_haskell.ML	Thu Jun 17 10:51:38 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Thu Jun 17 10:57:00 2010 +0200
@@ -194,7 +194,7 @@
               @ (if deriving_show name then [str "deriving (Read, Show)"] else [])
             )
           end
-      | print_stmt (name, Code_Thingol.Class (_, (v, (super_classes, classparams)))) =
+      | print_stmt (name, Code_Thingol.Class (_, (v, ((super_classes, _), classparams)))) =
           let
             val tyvars = intro_vars [v] reserved;
             fun print_classparam (classparam, ty) =
isabelle