SCM Repository
Annotation of /trunk/src/ast/var.sml
Parent Directory
| 
Revision Log
Revision 71 - (view) (download)
| 1 : | jhr | 71 | (* var.sml |
| 2 : | * | ||
| 3 : | * COPYRIGHT (c) 2010 The Diderot Project (http://diderot.cs.uchicago.edu) | ||
| 4 : | * All rights reserved. | ||
| 5 : | *) | ||
| 6 : | |||
| 7 : | structure Var = | ||
| 8 : | struct | ||
| 9 : | |||
| 10 : | datatype var = datatype AST.var | ||
| 11 : | |||
| 12 : | fun typeOf (V{ty, ...}) = ty | ||
| 13 : | |||
| 14 : | fun new (name, kind, ty) = let | ||
| 15 : | val id = Stamp.new() | ||
| 16 : | in | ||
| 17 : | V{name=Atom.toString name, id=id, kind=kind, ty=([], ty)} | ||
| 18 : | end | ||
| 19 : | |||
| 20 : | end |
| root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
| Powered by ViewVC 1.0.0 |
