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

SCM Repository

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

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

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

revision 1072, Tue May 3 21:43:15 2011 UTC revision 1073, Tue May 3 21:43:41 2011 UTC
# Line 88  Line 88 
88    
89          val kind : var -> var_kind          val kind : var -> var_kind
90          val name : var -> string          val name : var -> string
91            val toString : var -> string
92          val ty : var -> Ty.ty          val ty : var -> Ty.ty
93    
94          structure Map : ORD_MAP where type Key.ord_key = var          structure Map : ORD_MAP where type Key.ord_key = var
# Line 95  Line 96 
96        end = struct        end = struct
97          fun kind (V{kind, ...}) = kind          fun kind (V{kind, ...}) = kind
98          fun name (V{name, ...}) = name          fun name (V{name, ...}) = name
99            fun toString (V{name, id, ...}) = concat[name, "$", Stamp.toString id]
100          fun ty (V{ty, ...}) = ty          fun ty (V{ty, ...}) = ty
101          local          local
102            structure VarOrd =            structure VarOrd =

Legend:
Removed from v.1072  
changed lines
  Added in v.1073

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