summaryrefslogtreecommitdiff
path: root/testsuite/tests/polykinds/T14561.hs
Commit message (Expand)AuthorAgeFilesLines
* Re-implement unsafe coercions in terms of unsafe equality proofsSimon Peyton Jones2020-02-201-1/+1
* Treat kind/type variables identically, demolish FKTVVladislav Zavialov2019-02-271-1/+1
* Embrace -XTypeInType, add -XStarIsTypeVladislav Zavialov2018-06-141-1/+1
* Detect levity-polymorphic uses of unsafeCoerce#Simon Peyton Jones2017-12-131-0/+18