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.
Sign.defaultS;
authorwenzelm
Wed, 29 Sep 1999 14:56:19 +0200
changeset 7653 0408848fa7d4
parent 7652 2db14b7298c6
child 7654 57c4cea8b137
Sign.defaultS;
src/HOLCF/domain/extender.ML file | annotate | diff | comparison | revisions 
--- a/src/HOLCF/domain/extender.ML	Wed Sep 29 14:56:01 1999 +0200
+++ b/src/HOLCF/domain/extender.ML	Wed Sep 29 14:56:19 1999 +0200
@@ -19,7 +19,7 @@
   fun check_and_sort_domain (dtnvs: (string * typ list) list, cons'' :
      ((string * mixfix * (bool*string*typ) list) list) list) sg =
   let
-    val defaultS = Type.defaultS (tsig_of sg);
+    val defaultS = Sign.defaultS sg;
     val test_dupl_typs = (case duplicates (map fst dtnvs) of 
 	[] => false | dups => error ("Duplicate types: " ^ commas_quote dups));
     val test_dupl_cons = (case duplicates (map first (flat cons'')) of
isabelle