16 lines
269 B
Standard ML
16 lines
269 B
Standard ML
structure Types =
|
|
struct
|
|
|
|
type unique = unit ref
|
|
|
|
datatype ty =
|
|
RECORD of (Symbol.symbol * ty) list * unique
|
|
| NIL
|
|
| INT
|
|
| STRING
|
|
| ARRAY of ty * unique
|
|
| NAME of Symbol.symbol * ty option ref
|
|
| UNIT
|
|
|
|
end
|
|
|