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 2584, Tue Apr 15 03:22:58 2014 UTC revision 2586, Thu Apr 17 04:04:36 2014 UTC
# Line 501  Line 501 
501              | E.Probe(E.Div (a,b),x) =>              | E.Probe(E.Div (a,b),x) =>
502                  (changed:=true;E.Div(rewriteBody(E.Probe(a, x)),b))                  (changed:=true;E.Div(rewriteBody(E.Probe(a, x)),b))
503              | E.Probe(E.Prod p, x)=>let              | E.Probe(E.Prod p, x)=>let
504                    val _=print ("\n probe of prod \n ")
505                  val (p',x')= (rewriteBody (E.Prod p), rewriteBody x)                  val (p',x')= (rewriteBody (E.Prod p), rewriteBody x)
506                  fun  probeprod([],[e1]) =e1                  fun  probeprod([],[e1]) =e1
507                    | probeprod([],rest) = E.Prod rest                    | probeprod([],rest) = E.Prod rest
# Line 528  Line 529 
529                          (*(changed:=true;E.Prod(rest@[E.Probe(E.Conv f, x')] @es))*)                          (*(changed:=true;E.Prod(rest@[E.Probe(E.Conv f, x')] @es))*)
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)=
533                             (changed:=true;;print "\n $#$ Found Sum in probe product \n ";probeprod(es,rest@[E.Sum(c,E.Probe(e, x'))]))
534                    | probeprod(_,[])=body                    | probeprod(_,[])=body
535                    | probeprod(e1::es, rest)=let                    | probeprod(e1::es, rest)=let
536                          val e'= rewriteBody(E.Prod(e1::es))                          val e'= rewriteBody(E.Prod(e1::es))

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

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