--- 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)));