diff options
| author | Alasdair | 2019-11-05 20:03:28 +0000 |
|---|---|---|
| committer | Alasdair | 2019-11-05 20:08:28 +0000 |
| commit | 03cda7bbb5dccd6d6be4bc9c5d11fcaef5031e18 (patch) | |
| tree | d9949c5243e0d05789d1460270a3a7adab419580 /src/rewrites.ml | |
| parent | d474f256c7dfde3af9ef089ad9de5b7ff01f2d9f (diff) | |
Forbid types declared after a scattered union being used in clauses
The following is therefore always forbidden
```
scattered union U
enum E = A | B | C
union clause U = Ctor : E
```
We attempt to detect when this occurs and include a hint indicating the
likely reason why a 'Undefined type E' error might occur in this
circumstance
Diffstat (limited to 'src/rewrites.ml')
0 files changed, 0 insertions, 0 deletions