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/mini_BugExportHeadings.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/mini_BugExportHeadings.html')
0 files changed, 0 insertions, 0 deletions