SCM Repository
| [diderot] / trunk / src / ast / type-var.sml |
Annotation of /trunk/src/ast/type-var.sml
Parent Directory
| 
Revision Log
Revision 65 - (view) (download)
| 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 |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
