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 3269, Fri Oct 9 00:54:03 2015 UTC revision 3271, Fri Oct 9 18:12:58 2015 UTC
# Line 339  Line 339 
339              (* end case *))              (* end case *))
340    
341          val (fieldset,var) = einSet.rtnVar(fieldset,y,DstIL.EINAPP(ein,args))          val (fieldset,var) = einSet.rtnVar(fieldset,y,DstIL.EINAPP(ein,args))
342    
343            fun matchField b=(case b
344                of E.Probe _ => 1
345                | E.Sum (_, E.Probe _)=>1
346                | E.Sum(_, E.Prod[ _ ,E.Probe _])=>1
347                | _ =>0
348                (*end case*))
349    
350          in  (case var          in  (case var
351          of NONE=> (("\n \n mapp_not_replacing:"^(P.printerE ein)^":");(rewriteBody(Ein.body ein),fieldset))              of NONE=> (("\n \n mapp_not_replacing:"^(P.printerE ein)^":");(rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))
352              | SOME v=> (("\n mapp_replacing"^(P.printerE ein)^":");( [(y,DstIL.VAR v)] , fieldset))              | SOME v=> (("\n mapp_replacing"^(P.printerE ein)^":");( [(y,DstIL.VAR v)],fieldset, matchField(Ein.body ein),1))
353              (*end case*))              (*end case*))
354          end          end
355    

Legend:
Removed from v.3269  
changed lines
  Added in v.3271

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