# HG changeset patch
# User lcp
# Date 751211268 -3600
# Node ID b1349b598560179ab82cfce55f55b35fddd4bbff
# Parent  facfff975d1ae403b7777f993b8c1f09145da2c1
now calls new fastype_of in three places

diff -r facfff975d1a -r b1349b598560 src/Pure/pattern.ML
--- 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