SCM Repository
[diderot] Diff of /trunk/src/compiler/ast/var.sml
Diff of /trunk/src/compiler/ast/var.sml
Parent Directory
|
Revision Log
|
Patch
13 |
|
|
14 |
fun nameOf (V{name, ...}) = name |
fun nameOf (V{name, ...}) = name |
15 |
fun typeOf (V{ty, ...}) = ty |
fun typeOf (V{ty, ...}) = ty |
16 |
|
fun monoTypeOf (V{ty=([], ty), ...}) = ty |
17 |
|
| monoTypeOf (V{name, ...}) = raise Fail(name ^ " is not monomrphic") |
18 |
fun kindOf (V{kind, ...}) = kind |
fun kindOf (V{kind, ...}) = kind |
19 |
|
|
20 |
fun new (name, kind, ty) = let |
fun new (name, kind, ty) = let |
|
Legend:
Removed from v.170 |
|
changed lines |
|
Added in v.171 |
|
|