summaryrefslogtreecommitdiff
path: root/testsuite/tests/unlifted-datatypes
Commit message (Expand)AuthorAgeFilesLines
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-23/+1
* Don't default type variables in type familiessheaf2021-10-262-2/+3
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-1421-0/+274