Home My Page Projects Code Snippets Project Openings diderot
 Summary Activity Tracker Tasks SCM

# SCM Repository

[diderot] Diff of /branches/ein16/src/compiler/high-il/normalize-ein.sml
 [diderot] / branches / ein16 / src / compiler / high-il / normalize-ein.sml

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

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