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 3343, Thu Oct 22 14:15:20 2015 UTC revision 3344, Fri Oct 23 04:38:49 2015 UTC
# Line 271  Line 271 
271              of false => [(y,mkEinApp(ein0,[PArg,FArg]))]              of false => [(y,mkEinApp(ein0,[PArg,FArg]))]
272              | _      => let              | _      => let
273                   val bind3 = (y,DstIL.EINAPP(SummationEin.main ein0,[PArg,FArg]))                   val bind3 = (y,DstIL.EINAPP(SummationEin.main ein0,[PArg,FArg]))
274                   in Split.splitEinApp bind3                   in Split.splitEinApp(bind3,0)
275                   end                   end
276              (*end case*))              (*end case*))
277    
# Line 419  Line 419 
419              | _ =>print ""              | _ =>print ""
420              (*end case*))              (*end case*))
421          val b=Ein.body ein          val b=Ein.body ein
422                fun printField b=(case b
423                of E.Probe _ => print ("\n"^(P.printbody b))
424                | E.Sum (_, E.Probe _)=>print ("\n"^(P.printbody b))
425                | E.Sum(_, E.Prod[ _ ,E.Probe _])=>print ("\n"^(P.printbody b))
426                | _ => print""
427                (*end case*))
428    
429          in  (case var          in  (case var
430              of NONE=> (toStrField b;(rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))              of NONE=> ((rewriteBody(Ein.body ein),fieldset,matchField(Ein.body ein),0))
431              | SOME v=> (( [(y,DstIL.VAR v)],fieldset, matchField(Ein.body ein),1))              | SOME v=> (("\n mapp_replacing"^(P.printerE ein)^":");( [(y,DstIL.VAR v)],fieldset, matchField(Ein.body ein),1))
432              (*end case*))              (*end case*))
433          end          end
434    

Legend:
Removed from v.3343  
changed lines
  Added in v.3344

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