src/Pure/type.ML
changeset 20071 8f3e1ddb50e6
parent 19806 f860b7a98445
child 20548 8ef25fe585a8
     1.1 --- a/src/Pure/type.ML	Tue Jul 11 12:16:52 2006 +0200
     1.2 +++ b/src/Pure/type.ML	Tue Jul 11 12:16:54 2006 +0200
     1.3 @@ -233,7 +233,7 @@
     1.4      val fs = Term.fold_types (Term.fold_atyps
     1.5        (fn TFree v => if member (op =) fixed v then I else insert (op =) v | _ => I)) t [];
     1.6      val ixns = add_term_tvar_ixns (t, []);
     1.7 -    val fmap = fs ~~ map (rpair 0) (variantlist (map fst fs, map #1 ixns))
     1.8 +    val fmap = fs ~~ map (rpair 0) (Name.variant_list (map #1 ixns) (map fst fs))
     1.9      fun thaw (f as (a, S)) =
    1.10        (case AList.lookup (op =) fmap f of
    1.11          NONE => TFree f
    1.12 @@ -246,7 +246,7 @@
    1.13  local
    1.14  
    1.15  fun new_name (ix, (pairs, used)) =
    1.16 -  let val v = variant used (string_of_indexname ix)
    1.17 +  let val v = Name.variant used (string_of_indexname ix)
    1.18    in ((ix, v) :: pairs, v :: used) end;
    1.19  
    1.20  fun freeze_one alist (ix, sort) =