summaryrefslogtreecommitdiff
path: root/testsuite/tests/quantified-constraints/T15359.hs
Commit message (Expand)AuthorAgeFilesLines
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-1/+1
* Use GHC2021 as default languageJoachim Breitner2021-03-101-0/+1
* Allow (~) in the head of a quantified constraintsSimon Peyton Jones2018-09-131-0/+12