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

SCM Repository

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

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

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

revision 110, Wed Jun 23 19:28:48 2010 UTC revision 179, Tue Jul 27 20:43:23 2010 UTC
# Line 28  Line 28 
28              bind = ref NONE              bind = ref NONE
29            }            }
30    
31      (* create a type variable that is instantiated to a given type *)
32        fun newFromType ty = TV{
33                id = Stamp.new(),
34                bind = ref(SOME ty)
35              }
36    
37      fun tyVarToString (TV{id, ...}) = "'ty" ^ Stamp.toString id      fun tyVarToString (TV{id, ...}) = "'ty" ^ Stamp.toString id
38    
39    

Legend:
Removed from v.110  
changed lines
  Added in v.179

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