src/Pure/envir.ML
changeset 17412 e26cb20ef0cc
parent 17224 a78339014063
child 18937 0eb35519f0f3
     1.1 --- a/src/Pure/envir.ML	Thu Sep 15 17:16:55 2005 +0200
     1.2 +++ b/src/Pure/envir.ML	Thu Sep 15 17:16:56 2005 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4    [T', T], []);
     1.5  
     1.6  fun gen_lookup f asol (xname, T) =
     1.7 -  (case Vartab.curried_lookup asol xname of
     1.8 +  (case Vartab.lookup asol xname of
     1.9       NONE => NONE
    1.10     | SOME (U, t) => if f (T, U) then SOME t
    1.11         else var_clash xname T U);
    1.12 @@ -92,7 +92,7 @@
    1.13  fun lookup (Envir {asol, iTs, ...}, p) = lookup2 (iTs, asol) p;
    1.14  
    1.15  fun update (((xname, T), t), Envir {maxidx, asol, iTs}) =
    1.16 -  Envir{maxidx=maxidx, asol=Vartab.curried_update_new (xname, (T, t)) asol, iTs=iTs};
    1.17 +  Envir{maxidx=maxidx, asol=Vartab.update_new (xname, (T, t)) asol, iTs=iTs};
    1.18  
    1.19  (*The empty environment.  New variables will start with the given index+1.*)
    1.20  fun empty m = Envir{maxidx=m, asol=Vartab.empty, iTs=Vartab.empty};