SCM Repository
[diderot] Annotation of /trunk/src/ast/meta-var.sml
Annotation of /trunk/src/ast/meta-var.sml
Parent Directory
| 
Revision Log
Revision 65 -
(view)
(download)
Original Path: trunk/src/ast/type-var.sml
| 1 : |
jhr |
65 |
(* type-var.sml
|
| 2 : |
|
|
*
|
| 3 : |
|
|
* COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu)
|
| 4 : |
|
|
* All rights reserved.
|
| 5 : |
|
|
*)
|
| 6 : |
|
|
|
| 7 : |
|
|
structure TypeVar =
|
| 8 : |
|
|
struct
|
| 9 : |
|
|
|
| 10 : |
|
|
datatype var = datatype Types.var
|
| 11 : |
|
|
|
| 12 : |
|
|
fun new kind = TV{
|
| 13 : |
|
|
kind = kind,
|
| 14 : |
|
|
stamp = Stamp.new()
|
| 15 : |
|
|
}
|
| 16 : |
|
|
|
| 17 : |
|
|
end
|
