Fix #16391 by using occCheckExpand in TcValidity
[ghc.git] / testsuite / tests / dependent / should_compile / all.T
2019-03-07  Ryan ScottFix #16391 by using occCheckExpand in TcValidity
2019-03-01  Ryan ScottVisible dependent quantification
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
2019-02-08  Richard EisenbergFix #14729 by making the normaliser homogeneous
2019-01-30  Ben Gamaritestsuite: Use makefile_test
2019-01-30  Ben GamariRevert "Batch merge"
2019-01-30  Ben GamariBatch merge
2018-10-29  Ryan ScottAdd a test case for #15829
2018-10-29  Richard EisenbergTest #15076 in dependent/should_compile/T15076*
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Ryan ScottFix #15725 with an extra Sym
2018-09-25  Ryan ScottAdd regression test for #15666
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-07-23  Richard EisenbergFix some casts.
2018-06-17  Ryan ScottProvide a better error message for unpromotable data...
2018-06-17  Vladislav ZavialovWarn about implicit kind variables with -Wcompat
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-07  Simon Peyton JonesRemove ad-hoc special case in occAnal
2018-05-20  Alp MestanogullariAnother batch of './validation --slow' tweaks
2018-05-14  Alp MestanogullariFix another batch of `./validate --slow` failures
2018-04-19  Alp Mestanogullaritestsuite: Fix `./validate --slow`
2018-04-02  Richard EisenbergFix #14991.
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-27  Ryan ScottFix the test for #13938
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-09-14  Richard EisenbergTest #13938, with expect_broken
2017-09-14  Richard EisenbergMake rejigConRes do kind substitutions
2017-09-14  Richard EisenbergRegression test for #12742
2017-09-14  Richard EisenbergTest #14038 in dependent/should_compile/T14038
2017-07-27  Richard EisenbergFix #12176 by being a bit more careful instantiating.
2017-05-12  Ryan ScottAdd regression test for #11966
2017-04-06  Ryan ScottAdd regression test for #13538
2016-09-23  Richard EisenbergFix #12442.
2016-03-21  Richard EisenbergFix #11635 / #11719.
2016-03-17  Richard EisenbergFix #11716.
2016-03-17  Richard EisenbergFix #11711.
2016-02-17  Richard EisenbergFix #11241.
2016-01-29  Thomas MiedemaMark dynamic-paper as expect_fail_for optasm and optllv...
2016-01-15  Richard EisenbergFix #11405.
2016-01-15  Richard EisenbergConstrained types have kind * in validity check.
2016-01-15  Richard EisenbergFix #11311
2015-12-26  Richard EisenbergHave mkCastTy look more closely for reflexivity.
2015-12-14  Richard EisenbergTest #9632 in dependent/should_compile/T9632
2015-12-12  Richard EisenbergTest case for #7961.
2015-12-11  Richard EisenbergAdd kind equalities to GHC.