src/Pure/pattern.ML
changeset 63 b1349b598560
parent 0 a5a9c433f639
child 678 6151b7f3b606
--- 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