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 19419 2d26166aca27
parent 19341 3414c04fbc39
child 19473 d87a8838afa4 
--- a/src/Pure/codegen.ML	Thu Apr 13 12:00:55 2006 +0200
+++ b/src/Pure/codegen.ML	Thu Apr 13 12:00:56 2006 +0200
@@ -375,7 +375,7 @@
                 NONE => T
               | SOME ty =>
                   let val U = prep_type thy ty
-                  in if Sign.typ_instance thy (U, T) then U
+                  in if Type.raw_instance (U, T) then U
                     else error ("Illegal type constraint for constant " ^ cname)
                   end)
          in
isabelle