changeset 12527 | d6c91bc3e49c |
parent 12262 | 11ff5f47df6e |
child 14643 | 130076a81b84 |
--- a/src/Pure/unify.ML Mon Dec 17 14:27:18 2001 +0100 +++ b/src/Pure/unify.ML Tue Dec 18 02:17:20 2001 +0100 @@ -179,8 +179,7 @@ fun unify_types(T,U, env as Envir.Envir{asol,iTs,maxidx}) = if T=U then env - else let val (iTs',maxidx') = Type.unify (#tsig(Sign.rep_sg (!sgr))) - maxidx iTs (U,T) + else let val (iTs',maxidx') = Type.unify (#tsig(Sign.rep_sg (!sgr))) (iTs, maxidx) (U, T) in Envir.Envir{asol=asol,maxidx=maxidx',iTs=iTs'} end handle Type.TUNIFY => raise CANTUNIFY;