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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/c-target/c-target.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/c-target/c-target.sml

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

revision 528, Sun Feb 13 03:05:35 2011 UTC revision 532, Mon Feb 14 20:26:41 2011 UTC
# Line 263  Line 263 
263          fun decl ((ty, x), SOME(e, _)) = CL.mkDecl(cvtTy ty, x, SOME e)          fun decl ((ty, x), SOME(e, _)) = CL.mkDecl(cvtTy ty, x, SOME e)
264            | decl ((ty, x), NONE) = CL.mkDecl(cvtTy ty, x, NONE)            | decl ((ty, x), NONE) = CL.mkDecl(cvtTy ty, x, NONE)
265          val block = CL.mkBlock          val block = CL.mkBlock
266            fun ifthen ((e, T_Bool), s1) = CL.mkIfThen(e, s1)
267          fun ifthenelse ((e, T_Bool), s1, s2) = CL.mkIfThenElse(e, s1, s2)          fun ifthenelse ((e, T_Bool), s1, s2) = CL.mkIfThenElse(e, s1, s2)
268          fun die () = comment ["**** die ****"] (* FIXME *)          fun die () = comment ["**** die ****"] (* FIXME *)
269          fun stabilize () = comment ["**** stabilize ****"] (* FIXME *)          fun stabilize () = comment ["**** stabilize ****"] (* FIXME *)

Legend:
Removed from v.528  
changed lines
  Added in v.532

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