SCM Repository
Diff of /trunk/src/compiler/typechecker/util.sml
Parent Directory
| 
Revision Log
| 
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. |
|
||||||||
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
