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 3326, Tue Oct 20 17:06:59 2015 UTC revision 3327, Tue Oct 20 20:55:09 2015 UTC
# Line 412  Line 412 
412              | E.Sum(_, E.Prod[ _ ,E.Probe _])=>1              | E.Sum(_, E.Prod[ _ ,E.Probe _])=>1
413              | _ =>0              | _ =>0
414              (*end case*))              (*end case*))
415            fun toStrField b=(case b
416                of E.Probe _ => print (P.printbody b)
417                | E.Sum (_, E.Probe _)=>print (P.printbody b)
418                | E.Sum(_, E.Prod[ _ ,E.Probe _])=>print (P.printbody b)
419                | _ =>print ""
420                (*end case*))
421            val b=Ein.body ein
422          in  (case var          in  (case var
423              of NONE=> (("\n \n mapp_not_replacing:"^(P.printerE ein)^":");(rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))              of NONE=> (toStrField b;(rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))
424              | SOME v=> (("\n mapp_replacing"^(P.printerE ein)^":");( [(y,DstIL.VAR v)],fieldset, matchField(Ein.body ein),1))              | SOME v=> (( [(y,DstIL.VAR v)],fieldset, matchField(Ein.body ein),1))
425              (*end case*))              (*end case*))
426          end          end
427    

Legend:
Removed from v.3326  
changed lines
  Added in v.3327

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