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/type_infer.ML
changeset 20076 def4ad161528
parent 19577 fdb3642feb49
child 20161 b8b1d4a380aa 
--- a/src/Pure/type_infer.ML	Tue Jul 11 12:17:00 2006 +0200
+++ b/src/Pure/type_infer.ML	Tue Jul 11 12:17:01 2006 +0200
@@ -245,7 +245,7 @@
 
     val used' = fold add_names ts (fold add_namesT Ts used);
     val parms = rev (fold add_parms ts (fold add_parmsT Ts []));
-    val names = Term.invent_names used' (prfx ^ "'a") (length parms);
+    val names = Name.invent_list used' (prfx ^ "'a") (length parms);
   in
     ListPair.app elim (parms, names);
     (map simple_typ_of Ts, map simple_term_of ts)
isabelle