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

SCM Repository

[diderot] Diff of /branches/pure-cfg/src/compiler/codegen/tree-il.sml
ViewVC logotype

Diff of /branches/pure-cfg/src/compiler/codegen/tree-il.sml

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

revision 531, Mon Feb 14 17:45:57 2011 UTC revision 532, Mon Feb 14 20:26:41 2011 UTC
# Line 64  Line 64 
64        | VK_State of strand              (* strand state variable *)        | VK_State of strand              (* strand state variable *)
65        | VK_Local                        (* includes strand parameters *)        | VK_Local                        (* includes strand parameters *)
66    
67        structure Var : sig
68    
69            val kind : var -> var_kind
70            val name : var -> string
71            val ty : var -> Ty.ty
72    
73            structure Map : ORD_MAP where type Key.ord_key = var
74    
75          end = struct
76            fun kind (V{kind, ...}) = kind
77            fun name (V{name, ...}) = name
78            fun ty (V{ty, ...}) = ty
79            local
80              structure VarOrd =
81                struct
82                  type ord_key = var
83                  fun compare (V{id=a, ...}, V{id=b, ...}) = Stamp.compare(a, b)
84                end
85            in
86            structure Map = RedBlackMapFn (VarOrd)
87            end (* local *)
88          end
89    
90    end    end

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

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