Open edsko opened 9 years ago
We should have:
GExp0 := EVal Value | EArr [Exp] | EStruct [(FldName, Exp)] ...
so that values are represented by a single constructor EVal which uses the Value type from the interpreter, which is much more efficient than the current representation.
EVal
Value
We should have:
so that values are represented by a single constructor
EVal
which uses theValue
type from the interpreter, which is much more efficient than the current representation.