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 136, Wed Jul 7 20:38:52 2010 UTC revision 171, Sat Jul 24 14:13:10 2010 UTC
# Line 13  Line 13 
13    
14      fun nameOf (V{name, ...}) = name      fun nameOf (V{name, ...}) = name
15      fun typeOf (V{ty, ...}) = ty      fun typeOf (V{ty, ...}) = ty
16        fun monoTypeOf (V{ty=([], ty), ...}) = ty
17          | monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic")
18      fun kindOf (V{kind, ...}) = kind      fun kindOf (V{kind, ...}) = kind
19    
20      fun new (name, kind, ty) = let      fun new (name, kind, ty) = let

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

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