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/Pure/codegen.ML
changeset 27302 8d12ac6a3e1c
parent 27251 121991a4884d
child 27353 71c4dd53d4cb 
--- a/src/Pure/codegen.ML	Fri Jun 20 21:00:25 2008 +0200
+++ b/src/Pure/codegen.ML	Fri Jun 20 21:00:26 2008 +0200
@@ -388,7 +388,7 @@
     val tc = Sign.intern_type thy s;
   in
     case Symtab.lookup (snd (#types (Type.rep_tsig (Sign.tsig_of thy)))) tc of
-      SOME (Type.LogicalType i, _) =>
+      SOME ((Type.LogicalType i, _), _) =>
         if num_args_of (fst syn) > i then
           error ("More arguments than corresponding type constructor " ^ s)
         else (case AList.lookup (op =) types tc of
isabelle