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

SCM Repository

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

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

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

trunk/src/ast/var.sml revision 72, Sat May 22 22:48:47 2010 UTC trunk/src/compiler/ast/var.sml revision 110, Wed Jun 23 19:28:48 2010 UTC
# Line 11  Line 11 
11    
12      datatype var_kind = datatype AST.var_kind      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      fun kindOf (V{kind, ...}) = kind
17    
# Line 20  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.72  
changed lines
  Added in v.110

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