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

SCM Repository

[diderot] Diff of /branches/vis12/src/compiler/typechecker/util.sml
ViewVC logotype

Diff of /branches/vis12/src/compiler/typechecker/util.sml

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

revision 1112, Thu May 5 01:30:20 2011 UTC revision 1113, Thu May 5 04:11:52 2011 UTC
# Line 16  Line 16 
16    
17      val instantiate : Types.scheme -> (Types.meta_var list * Types.ty)      val instantiate : Types.scheme -> (Types.meta_var list * Types.ty)
18    
19        val matchDim : Types.dim * Types.dim -> bool
20    
21    end = struct    end = struct
22    
23      structure Ty = Types      structure Ty = Types
# Line 149  Line 151 
151              orelse (undo pl; false)              orelse (undo pl; false)
152            end            end
153    
154      (* rebind matchDim without patch-list argument *)
155        val matchDim = fn (d1, d2) => matchDim(ref [], d1, d2)
156    
157  (* QUESTION: perhaps this function belongs in the TypeUtil module? *)  (* QUESTION: perhaps this function belongs in the TypeUtil module? *)
158    (* instantiate a type scheme, returning the argument meta variables and the resulting type.    (* instantiate a type scheme, returning the argument meta variables and the resulting type.
159     * Note that we assume that the scheme is closed.     * Note that we assume that the scheme is closed.

Legend:
Removed from v.1112  
changed lines
  Added in v.1113

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