summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T12837.hs
Commit message (Expand)AuthorAgeFilesLines
* Disallow users to write instances of KnownNat and KnownSymsjorn32017-01-021-0/+12
View Lorry Controller Status