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-il/normalize-ein.sml
ViewVC logotype

Diff of /branches/charisee_dev/src/compiler/high-il/normalize-ein.sml

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

revision 2955, Wed Mar 4 23:06:28 2015 UTC revision 2976, Fri Mar 6 16:37:08 2015 UTC
# Line 209  Line 209 
209      *rewritten probe      *rewritten probe
210      *)      *)
211          fun mkprobe(e1,x)=let          fun mkprobe(e1,x)=let
         val _=print(String.concat["\n\nProbe",P.printbody e1])  
212          val (c,rtn)=(case e1          val (c,rtn)=(case e1
213          of E.Lift e   => (1,e)          of E.Lift e   => (1,e)
214          | E.Sqrt a    => (1,E.Sqrt(E.Probe(a,x)))          | E.Sqrt a    => (1,E.Sqrt(E.Probe(a,x)))
# Line 236  Line 235 
235          | E.Value _   => err("Value used before expand")          | E.Value _   => err("Value used before expand")
236          | E.Img _     => err("Probe used before expand")          | E.Img _     => err("Probe used before expand")
237          (*end case*))          (*end case*))
238          val _=print(String.concat["\n end probe",P.printbody rtn,"\n\n"])          in
239          in (c,rtn)              (c,rtn)
240          end          end
241    
242      (* normalize: EIN->EIN      (* normalize: EIN->EIN

Legend:
Removed from v.2955  
changed lines
  Added in v.2976

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