diff options
author | Alec Theriault <alec.theriault@gmail.com> | 2020-03-28 12:04:16 -0400 |
---|---|---|
committer | Alec Theriault <alec.theriault@gmail.com> | 2020-03-28 13:36:25 -0400 |
commit | 730a2163245cf7aaf389458113e6fa338eca7865 (patch) | |
tree | 8822a3ed69620eb56e01f185d46787d280f51032 /html-test/ref/Bug298.html | |
parent | e68cc0f05c102193660466d611640aec922bc9a9 (diff) |
Use TTG empty extensions to remove some `error`'s
None of these error cases should ever have been reachable, so this is
just a matter of leveraging the type system to assert this.
* Use the `NoExtCon` and `noExtCon` to handle case matches for no
extension constructors, instead of throwing an `error`.
* Use the extension field of `HsSpliceTy` to ensure that this variant
of `HsType` cannot exist in an `HsType DocNameI`.
Diffstat (limited to 'html-test/ref/Bug298.html')
0 files changed, 0 insertions, 0 deletions