Diff of /branches/vis15/src/compiler/high-opt/normalize-ein.sml

Parent Directory | Revision Log | Patch

	revision 3590, Fri Jan 15 04:44:03 2016 UTC	revision 3591, Fri Jan 15 17:09:03 2016 UTC
#	Line 176	Line 176
176	(* QUESTION: should we call rewrite on e? *)	(* QUESTION: should we call rewrite on e? *)
177	| (true, e, sx, _, _) => (ST.tick cntEpsToDeltas; E.Sum(sx, e))	| (true, e, sx, _, _) => (ST.tick cntEpsToDeltas; E.Sum(sx, e))
178	| (_, _, _, _, []) =>  body	| (_, _, _, _, []) =>  body
179	| (_, _, _, epsAll, rest) =>let	| (_, _, _, epsAll, rest) => (case rewrite (mkProd rest)
	val _= print"\nrule H"
	val eB=rewrite (mkProd rest)
	in (case eB
180	of E.Opn(E.Prod, p)=>filterProd (epsAll@p)	of E.Opn(E.Prod, p)=>filterProd (epsAll@p)
181	| _ =>filterProd (epsAll@[eB])	| es => filterProd (epsAll @ [es])
182	(* end case *))	(* end case *))
	end
183	(* end case *))	(* end case *))
184	(* end case *))	(* end case *))
185	| E.Opn(E.Prod, (s1 as E.Sum(c1, e1)) :: (s2 as E.Sum(c2, e2)) :: es) => (	| E.Opn(E.Prod, (s1 as E.Sum(c1, e1)) :: (s2 as E.Sum(c2, e2)) :: es) => (

---

Colored Diff Long Colored Diff Unidiff Context Diff Side by Side

Legend: Removed from v.3590   changed lines   Added in v.3591

---

root@smlnj-gforge.cs.uchicago.edu	ViewVC Help
Powered by ViewVC 1.0.0