--- a/src/Pure/pattern.ML Thu Oct 21 14:40:06 1993 +0100
+++ b/src/Pure/pattern.ML Thu Oct 21 14:47:48 1993 +0100
@@ -292,9 +292,9 @@
fun match tsg = (tsgr := tsg;
fn (pat,obj) =>
- let val pT = fastype_of([],pat)
- and oT = fastype_of([],obj)
- val iTs = typ_match([],(pT,oT))
+ let val pT = fastype_of pat
+ and oT = fastype_of obj
+ val iTs = typ_match ([],(pT,oT))
in mtch([], (iTs,[]), pat, eta_contract obj)
handle Pattern => raise MATCH
end)
@@ -317,7 +317,7 @@
(Var(ixn,T), t) =>
if null (loose_bnos t)
then case assoc(insts,ixn) of
- None => (typ_match (tyinsts, (T,fastype_of([],t))),
+ None => (typ_match (tyinsts, (T, fastype_of t)),
(ixn,t)::insts)
| Some u => if t aconv u then (tyinsts,insts) else raise MATCH
else raise MATCH