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

SCM Repository

[diderot] Diff of /trunk/src/ast/var.sml
ViewVC logotype

Diff of /trunk/src/ast/var.sml

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

revision 71, Sat May 22 22:16:04 2010 UTC revision 79, Tue May 25 01:55:48 2010 UTC
# Line 9  Line 9 
9    
10      datatype var = datatype AST.var      datatype var = datatype AST.var
11    
12        datatype var_kind = datatype AST.var_kind
13    
14        fun nameOf (V{name, ...}) = name
15      fun typeOf (V{ty, ...}) = ty      fun typeOf (V{ty, ...}) = ty
16        fun kindOf (V{kind, ...}) = kind
17    
18      fun new (name, kind, ty) = let      fun new (name, kind, ty) = let
19            val id = Stamp.new()            val id = Stamp.new()
# Line 17  Line 21 
21              V{name=Atom.toString name, id=id, kind=kind, ty=([], ty)}              V{name=Atom.toString name, id=id, kind=kind, ty=([], ty)}
22            end            end
23    
24        fun newPoly (name, kind, scheme) = let
25              val id = Stamp.new()
26              in
27                V{name=Atom.toString name, id=id, kind=kind, ty=scheme}
28              end
29    
30    end    end

Legend:
Removed from v.71  
changed lines
  Added in v.79

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