Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Syntax.read_typ: pass intern sort fn;
authorwenzelm
Wed, 28 Nov 2001 23:28:58 +0100
changeset 12313 e2cb7e8bb037
parent 12312 f0f06950820d
child 12314 160013745a92
Syntax.read_typ: pass intern sort fn;
src/Pure/sign.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/sign.ML	Wed Nov 28 23:27:35 2001 +0100
+++ b/src/Pure/sign.ML	Wed Nov 28 23:28:58 2001 +0100
@@ -591,7 +591,7 @@
 
 fun rd_raw_typ syn tsig spaces def_sort str =
   intrn_tycons spaces
-    (Syntax.read_typ syn (Type.get_sort tsig def_sort (intrn_sort spaces)) str
+    (Syntax.read_typ syn (Type.get_sort tsig def_sort (intrn_sort spaces)) (intrn_sort spaces) str
       handle ERROR => err_in_type str);
 
 fun read_raw_typ' syn (sg as Sg (_, {tsig, spaces, ...}), def_sort) str =
isabelle