summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_compile/T9316.hs
Commit message (Expand)AuthorAgeFilesLines
* Enable -Wcompat=error in the testsuiteVladislav Zavialov2018-10-151-5/+5
* Refactor the typechecker to use ExpTypes.Richard Eisenberg2016-01-271-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-1/+0
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-061-0/+1
* Further improvements to floating equalitiesSimon Peyton Jones2014-07-181-0/+87