Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2586, Thu Apr 17 04:04:36 2014 UTC revision 2587, Thu Apr 17 04:30:15 2014 UTC
# Line 530  Line 530 
530                    | probeprod(E.Prod p::es , rest)=                    | probeprod(E.Prod p::es , rest)=
531                          (changed:=true;probeprod(p@es,rest))                          (changed:=true;probeprod(p@es,rest))
532                      | probeprod(E.Sum(c,e)::es, rest)=                      | probeprod(E.Sum(c,e)::es, rest)=
533                           (changed:=true;;print "\n $#$ Found Sum in probe product \n ";probeprod(es,rest@[E.Sum(c,E.Probe(e, x'))]))                           (changed:=true;print "\n $#$ Found Sum in probe product \n "  ;probeprod(es,rest@[E.Sum(c,E.Probe(e, x'))]))
534                       | probeprod(E.Neg(e)::es, rest)=
535                            (changed:=true;probeprod(es,rest@[E.Neg(E.Probe(e, x'))]))
536                    | probeprod(_,[])=body                    | probeprod(_,[])=body
537                    | probeprod(e1::es, rest)=let                    | probeprod(e1::es, rest)=let
538                          val e'= rewriteBody(E.Prod(e1::es))                          val e'= rewriteBody(E.Prod(e1::es))

Legend:
Removed from v.2586  
changed lines
  Added in v.2587

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