summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/UnliftedNewtypesUnifySig.hs
Commit message (Expand)AuthorAgeFilesLines
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-4/+4
* Remove flattening variablesRichard Eisenberg2020-12-011-1/+1
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-0/+3
* Implement the -XUnliftedNewtypes extension.Andrew Martin2019-06-141-0/+20