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.string_of_typ: proper context;
authorwenzelm
Sun, 18 May 2008 15:04:41 +0200
changeset 26948 efe3e0e235d6
parent 26947 133905a0c493
child 26949 a9a1ebfb4d23
Syntax.string_of_typ: proper context;
src/Pure/Isar/locale.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/locale.ML	Sun May 18 15:04:37 2008 +0200
+++ b/src/Pure/Isar/locale.ML	Sun May 18 15:04:41 2008 +0200
@@ -683,7 +683,7 @@
         let
           val T' = Envir.norm_type (fst envir) T;
           val U' = Envir.norm_type (fst envir) U;
-          val prt = Sign.string_of_typ thy;
+          val prt = Syntax.string_of_typ ctxt;
         in
           raise TYPE ("unify_parms: failed to unify types " ^
             prt U' ^ " and " ^ prt T', [U', T'], [])
isabelle