src/Pure/type.ML
changeset 23178 07ba6b58b3d2
parent 21934 ba683b0b2456
child 23655 d2d1138e0ddc
--- a/src/Pure/type.ML	Thu May 31 23:02:16 2007 +0200
+++ b/src/Pure/type.ML	Thu May 31 23:47:36 2007 +0200
@@ -264,7 +264,7 @@
   let
     val used = add_typ_tfree_names (T, [])
     and tvars = map #1 (add_typ_tvars (T, []));
-    val (alist, _) = foldr new_name ([], used) tvars;
+    val (alist, _) = List.foldr new_name ([], used) tvars;
   in (map_type_tvar (freeze_one alist) T, map_type_tfree (thaw_one (map swap alist))) end;
 
 val freeze_type = #1 o freeze_thaw_type;
@@ -273,7 +273,7 @@
   let
     val used = it_term_types add_typ_tfree_names (t, [])
     and tvars = map #1 (it_term_types add_typ_tvars (t, []));
-    val (alist, _) = foldr new_name ([], used) tvars;
+    val (alist, _) = List.foldr new_name ([], used) tvars;
   in
     (case alist of
       [] => (t, fn x => x) (*nothing to do!*)