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 2922, Tue Mar 3 03:55:09 2015 UTC revision 2923, Tue Mar 3 15:33:44 2015 UTC
# Line 34  Line 34 
34      *img-imginfo about V      *img-imginfo about V
35      *)      *)
36    
37      val testing=1      val testing=0
38      val cnt = ref 0      val cnt = ref 0
39    
40      fun transformToIndexSpace e=T.transformToIndexSpace e      fun transformToIndexSpace e=T.transformToIndexSpace e
# Line 175  Line 175 
175      *Looks to see if the expression has a probe. If so, replaces it.      *Looks to see if the expression has a probe. If so, replaces it.
176      * Note how we keeps eps expressions so only generate pieces that are used      * Note how we keeps eps expressions so only generate pieces that are used
177      *)      *)
178      fun expandEinOp( e as (y, DstIL.EINAPP(einorig, args))) = let      fun expandEinOp( e as (y, DstIL.EINAPP(ein as Ein.EIN{params, index, body}, args))) = let
         val ein=SummationEin.cleanSummation(einorig)  
         val Ein.EIN{params, index, body}=ein  
179          fun rewriteBody b=(case b          fun rewriteBody b=(case b
180              of E.Probe(E.Field _,_)=> raise Fail"Poorly formed EIN operator. Argument needs to be applied in High-IL"              of E.Probe(E.Field _,_)=> raise Fail"Poorly formed EIN operator. Argument needs to be applied in High-IL"
181              | E.Probe e =>let              | E.Probe e =>let

Legend:
Removed from v.2922  
changed lines
  Added in v.2923

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