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 987, Tue Apr 26 21:43:17 2011 UTC revision 1032, Sun May 1 17:39:37 2011 UTC
# Line 83  Line 83 
83    (* variables *)    (* variables *)
84      structure Var =      structure Var =
85        struct        struct
86          fun global (Prog{globals, ...}, x) = let          fun name (ToC.V(_, name)) = name
87                val x' = V.name x          fun global (Prog{globals, ...}, name, ty) = let
88                val ty' = ToC.trType(V.ty x)                val ty' = ToC.trType ty
89                in                in
90                  globals := CL.D_Var([], ty', x', NONE) :: !globals;                  globals := CL.D_Var([], ty', name, NONE) :: !globals;
91                  ToC.V(ty', x')                  ToC.V(ty', name)
92                end                end
93          fun param x = ToC.V(ToC.trType(V.ty x), V.name x)          fun param x = ToC.V(ToC.trType(V.ty x), V.name x)
94          fun state (Strand{state, ...}, x) = let          fun state (Strand{state, ...}, x) = let

Legend:
Removed from v.987  
changed lines
  Added in v.1032

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