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

SCM Repository

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

Diff of /branches/vis12/src/compiler/ast/var.sml

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

revision 171, Sat Jul 24 14:13:10 2010 UTC revision 173, Sat Jul 24 15:37:50 2010 UTC
# Line 16  Line 16 
16      fun monoTypeOf (V{ty=([], ty), ...}) = ty      fun monoTypeOf (V{ty=([], ty), ...}) = ty
17        | monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic")        | monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic")
18      fun kindOf (V{kind, ...}) = kind      fun kindOf (V{kind, ...}) = kind
19        fun uniqueNameOf (V{name, id, ...}) = name ^ Stamp.toString id
20    
21      fun new (name, kind, ty) = let      fun new (name, kind, ty) = let
22            val id = Stamp.new()            val id = Stamp.new()

Legend:
Removed from v.171  
changed lines
  Added in v.173

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