summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/UnliftedNewtypesMismatchedKindRecord.stderr
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-2/+1
* Diagnostic codes: acccept test changessheaf2022-09-131-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-2/+2
* Fix #17021 by checking more return kindsRichard Eisenberg2020-03-171-3/+5
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+5