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 78, Mon May 24 22:31:49 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 typeOf (V{ty, ...}) = ty      fun typeOf (V{ty, ...}) = ty
15        fun kindOf (V{kind, ...}) = kind
16    
17      fun new (name, kind, ty) = let      fun new (name, kind, ty) = let
18            val id = Stamp.new()            val id = Stamp.new()
# Line 17  Line 20 
20              V{name=Atom.toString name, id=id, kind=kind, ty=([], ty)}              V{name=Atom.toString name, id=id, kind=kind, ty=([], ty)}
21            end            end
22    
23        fun newPoly (name, kind, scheme) = let
24              val id = Stamp.new()
25              in
26                V{name=Atom.toString name, id=id, kind=kind, ty=scheme}
27              end
28    
29    end    end

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

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