Visible dependent quantification
[ghc.git] / testsuite / tests / dependent / should_fail / all.T
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-16  Matthew PickeringFix tests which were made to pass by "Make a smart...
2019-02-07  Ben Gamaritestsuite: Mark T11334b as broken in debugged compiler
2018-11-05  Richard EisenbergFix #15859 by checking, not assuming, an ArgFlag
2018-10-29  Richard EisenbergTest #15825 in dependent/should_fail/T15825
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
2018-07-10  Simon Peyton JonesFix decompsePiCos and visible type application
2018-07-05  Ryan ScottFix #15308 by suppressing invisble args more rigorously
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-15  Simon Peyton JonesMake better "fake tycons" in error recovery
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-07-28  Ryan ScottAdd regression tests for #13601, #13780, #13877
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-01-23  Simon Peyton JonesApply the right substitution in ty-fam improvement
2016-10-24  Simon Peyton JonesTest Trac #12081
2016-10-24  Simon Peyton JonesTest Trac #12174
2016-03-21  Richard EisenbergRename test for #11334 to 11334b, fixing conflict
2016-03-16  Richard EisenbergClean up some pretty-printing in errors.
2016-03-16  Richard EisenbergFix #11473.
2016-03-15  Richard EisenbergFix #11648.
2016-03-15  Richard EisenbergFix #11334.
2016-03-15  Richard EisenbergFix #11407.
2015-12-14  Richard EisenbergSuggest import Data.Kinds when * is out of scope
2015-12-11  Richard EisenbergAdd kind equalities to GHC.