src/Pure/codegen.ML
changeset 14769 b698d0b243dc
parent 14598 7009f59711e3
child 14818 ad83019a66a4
--- a/src/Pure/codegen.ML	Fri May 21 21:15:22 2004 +0200
+++ b/src/Pure/codegen.ML	Fri May 21 21:15:45 2004 +0200
@@ -236,7 +236,7 @@
                 None => T
               | Some ty =>
                   let val U = prep_type sg ty
-                  in if Type.typ_instance (Sign.tsig_of sg, U, T) then U
+                  in if Sign.typ_instance sg (U, T) then U
                     else error ("Illegal type constraint for constant " ^ cname)
                   end)
          in (case assoc (consts, (cname, T')) of
@@ -314,7 +314,7 @@
 (**** retrieve definition of constant ****)
 
 fun is_instance thy T1 T2 =
-  Type.typ_instance (Sign.tsig_of (sign_of thy), T1, Type.varifyT T2);
+  Sign.typ_instance (sign_of thy) (T1, Type.varifyT T2);
 
 fun get_assoc_code thy s T = apsome snd (find_first (fn ((s', T'), _) =>
   s = s' andalso is_instance thy T T') (#consts (CodegenData.get thy)));