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 37437 4202e11ae7dc
parent 37384 5aba26803073
child 37439 c72a43a7d2c5 
--- a/src/Tools/Code/code_haskell.ML	Tue Jun 15 07:42:48 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Tue Jun 15 08:32:32 2010 +0200
@@ -115,7 +115,7 @@
           end
       | print_case tyvars some_thm vars fxy ((_, []), _) =
           (brackify fxy o Pretty.breaks o map str) ["error", "\"empty case\""];
-    fun print_stmt (name, Code_Thingol.Fun (_, ((vs, ty), raw_eqs))) =
+    fun print_stmt (name, Code_Thingol.Fun (_, (((vs, ty), raw_eqs), _))) =
           let
             val tyvars = intro_vars (map fst vs) reserved;
             fun print_err n =
isabelle