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-to-mid/ProbeEin.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-to-mid/ProbeEin.sml

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

revision 3349, Tue Oct 27 15:16:36 2015 UTC revision 3353, Wed Oct 28 23:08:21 2015 UTC
# Line 41  Line 41 
41    
42      val testing=0      val testing=0
43      val testlift=1      val testlift=1
44      val detflag =true      val detflag =true (*wed 5pm*)
45      val fieldliftflag=true      val fieldliftflag=false
46      val valnumflag=true      val valnumflag=true
47    
48    
# Line 160  Line 160 
160    
161      (* silly change in order of the product to match vis branch WorldtoSpace functions*)      (* silly change in order of the product to match vis branch WorldtoSpace functions*)
162      fun multiPs([P0,P1,P2],sx,body)= formBody(E.Sum(sx, E.Prod([P0,P1,P2,body])))      fun multiPs([P0,P1,P2],sx,body)= formBody(E.Sum(sx, E.Prod([P0,P1,P2,body])))
163        (*
164        | multiPs([P0,P1],sx,body)=formBody(E.Sum(sx, E.Prod([P0,body,P1])))        | multiPs([P0,P1],sx,body)=formBody(E.Sum(sx, E.Prod([P0,body,P1])))
165          *)
166        | multiPs(Ps,sx,body)=formBody(E.Sum(sx, E.Prod([body]@Ps)))        | multiPs(Ps,sx,body)=formBody(E.Sum(sx, E.Prod([body]@Ps)))
167    
168    
# Line 421  Line 423 
423              | _ =>print ""              | _ =>print ""
424              (*end case*))              (*end case*))
425          val b=Ein.body ein          val b=Ein.body ein
426              fun printField b=(case b  
427              of E.Probe _ => print ("\n"^(P.printbody b))          val _=  toStrField b
             | E.Sum (_, E.Probe _)=>print ("\n"^(P.printbody b))  
             | E.Sum(_, E.Prod[ _ ,E.Probe _])=>print ("\n"^(P.printbody b))  
             | _ => print""  
             (*end case*))  
428    
429          in  (case var          in  (case var
430              of NONE=> ((rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))              of NONE=> ((rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))

Legend:
Removed from v.3349  
changed lines
  Added in v.3353

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