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 548, Thu Feb 17 22:41:53 2011 UTC revision 549, Thu Feb 17 22:54:25 2011 UTC
# Line 159  Line 159 
159    (* expression construction *)    (* expression construction *)
160      structure Expr =      structure Expr =
161        struct        struct
162          (* return true if the given expression from is allowed as a subexpression *)
163            fun allowedInline _ = true (* FIXME *)
164    
165        (* variable references *)        (* variable references *)
166          fun global (ty, x) = (CL.mkVar x, ty)          fun global (ty, x) = (CL.mkVar x, ty)
167          fun getState (ty, x) = (CL.mkIndirect(CL.mkVar "selfIn", x), ty)          fun getState (ty, x) = (CL.mkIndirect(CL.mkVar "selfIn", x), ty)

Legend:
Removed from v.548  
changed lines
  Added in v.549

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