diff options
author | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-01-29 02:43:42 +0000 |
---|---|---|
committer | Dan Liew <daniel.liew@imperial.ac.uk> | 2015-01-29 02:43:42 +0000 |
commit | 6f04bf428ce8a3422877c590b931b55efd0245b8 (patch) | |
tree | 13bffe35bf291a7683f1eea54455bf863b292a21 /Source/UnitTests/CoreTests/ExprImmutability.cs | |
parent | d6e6e3471cffcfe6099e8e0633780f4af952eeb4 (diff) |
Protect the Type field of an Expr if is Immutable. Note if the Expr
has never been type checked we allow the Type field to be set but
once it has been set it cannot be changed to refer to a different
Type.
Diffstat (limited to 'Source/UnitTests/CoreTests/ExprImmutability.cs')
0 files changed, 0 insertions, 0 deletions