diff options
| author | Phil de Joux <philderbeast@gmail.com> | 2022-07-19 03:32:55 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-07-19 09:32:55 +0200 |
| commit | 90c38242e54d1a742426e2b1b3c7d71e226811bd (patch) | |
| tree | 1e31e341fced1b7492b25376a06827aaa5cc3fb7 /html-test/ref/TypeFamilies2.html | |
| parent | 06b1f629a9210f9d92dea1cc6111087181c688ff (diff) | |
Follow hlint suggestion: unused LANGUAGE pragma. (#1504)
* Follow hlint suggestion: unused LANGUAGE pragma.
* Ignore within modules to pass linting and pass tests.
Diffstat (limited to 'html-test/ref/TypeFamilies2.html')
0 files changed, 0 insertions, 0 deletions