|
|
|---|
|
|
|
|---|
Fixtype of expression values.
This is a tagged union type, introduced by fty::deftagsum.
An expression evaluates to a location or a value. We introduce a notion of expression value to capture these two possibliities.
This is a dynamic counterpart of expr-type, which is used in type checking.
Note that for now we do not capture whether the value is constant (i.e. it is obtained by evaluating a constant expression or not). We may add that in the future.