Fix #9404 by removing tcInfExpr.
[ghc.git] / testsuite / tests / polykinds /
2014-11-04  Simon Peyton JonesTest Trac #9750
2014-11-04  Simon Peyton JonesTestsuite error message changes
2014-10-07  Simon Peyton JonesMerge branch 'master' of
2014-10-07  Simon Peyton JonesUse correct precedence when printing contexts with...
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-08-12  Richard EisenbergTestsuite wibbles around #9200
2014-08-12  Richard EisenbergChange treatment of CUSKs for synonyms and families...
2014-08-12  Richard EisenbergAdded more testing for #9200. (polykinds/T9200b)
2014-08-12  Richard EisenbergTest #9200. (polykinds/T9200)
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-01  Simon Peyton JonesTest Trac #9222
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-11  Simon Peyton JonesFix tyConToIfaceDecl (Trac #9190)
2014-05-27  Simon Peyton JonesTest Trac #9144
2014-05-23  Simon Peyton JonesMake the unifier a fixpoint even for the free kind...
2014-04-28  Simon Peyton JonesPrint for-alls more often (Trac #9018)
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-14  Simon Peyton JonesTest Trac #8985
2014-04-08  Simon Peyton JonesImprove error reporting for untouchable type variables
2014-02-25  Herbert Valerio... Use U+2018 instead of U+201B quote mark in compiler...
2014-02-18  Simon Peyton JonesKeep kind-inconsistent Given type equalities (fixes...
2014-02-09  Richard EisenbergTest #7481, which had already been fixed.
2014-01-17  Simon Peyton JonesAdd an expect-broken test for Trac #8566
2014-01-13  Simon Peyton JonesTest Trac #8616
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-06  Joachim BreitnerUpdate T7594 properly
2014-01-03  Simon Peyton JonesUpdate T7594 as a result of fixing #8644
2013-12-10  Simon Peyton JonesTest Trac #8566
2013-11-19  Simon Peyton JonesTest Trac #8534
2013-10-23  Richard EisenbergWibbles to output regarding role annotations.
2013-10-18  Simon Peyton JonesTest Trac #8449
2013-10-03  Simon Peyton JonesTest Trac #8391
2013-10-02  Simon Peyton JonesFurther testsuite wibbles following changes to kind...
2013-10-01  Simon Peyton JonesTest Trac #8359
2013-10-01  unknownError message wibbles,
2013-09-27  Austin SeippFix T8132
2013-09-18  Herbert Valerio... Follow changes in [7ab62490/base] (re #7633)
2013-09-18  Herbert Valerio... Follow changes in [12a8244/ghc-prim] (#7633)
2013-09-18  Richard EisenbergUpdate to tests due to change in syntax for role annota...
2013-09-14  Joachim BreitnerAdjust test suite to new Language Pragma warnigns
2013-09-10  Simon Peyton JonesError message wibbles
2013-09-04  Jose Pedro MagalhaesAdd test for #8132
2013-08-04  Richard EisenbergMerge branch 'master' of ssh://
2013-08-02  Richard EisenbergMerge branch 'master' of ssh://
2013-08-02  Richard EisenbergAdd tests for roles.
2013-06-27  Richard EisenbergTest kind inference for closed type families/T7939.
2013-06-14  Ian LynaghFix some testsuite cleaning; part of #7941
2013-06-10  Simon Peyton JonesTest Trac #7973
2013-05-30  Austin SeippRemove CatPairs test.
2013-05-30  Austin SeippWhoops. :(
2013-05-30  Austin SeippAdd test for polykinded Control.Category.
2013-05-24  Simon Peyton JonesImprove test T7916
2013-05-22  Simon Peyton JonesTest Trac #7916
2013-04-29  Simon Peyton JonesWibbles to error messages, following the fix for Trac...
2013-04-03  Simon Peyton JonesTest Trac #7805
2013-03-18  Simon Peyton JonesMerge branch 'master' of
2013-03-16  Ian LynaghMerge branch 'master' of
2013-03-15  Ian LynaghFix tests for dynamic ghc
2013-03-04  Simon Peyton JonesMerge branch 'master' of
2013-03-04  Amos RobinsonMerge branch 'master' of
2013-03-03  Simon Peyton JonesWibbles to error messages following fixing Trac #7696...
2013-02-24  Ian LynaghUpdate outputs following the unicode quote change in...
2013-02-08  Simon Peyton JonesMerge branch 'master' of
2013-01-30  Simon Peyton JonesMerge branch 'master' of
2013-01-30  Simon Peyton JonesTest Trac #7601
2013-01-28  Simon Peyton JonesTest Trac #7524
2013-01-25  Simon Peyton JonesMerge branch 'master' of
2013-01-25  Ian LynaghMerge branch 'master' of
2013-01-25  Simon Peyton JonesError message wibbles
2013-01-25  Simon Peyton JonesAdjust test; Int is not promotable
2013-01-24  Simon Peyton JonesFix debugging glitch in test output
2013-01-18  Simon Peyton JonesTest Trac #7594
2013-01-16  Simon Peyton JonesMerge branch 'master' of
2013-01-16  Ian LynaghMerge branch 'master' of
2013-01-16  Simon Peyton JonesMerge branch 'master' of
2013-01-15  Simon Peyton JonesFix test by adding an extra fundep to make the (HasSing...
2013-01-08  Simon Peyton JonesMerge branch 'master' of
2013-01-08  Simon Peyton JonesWibbles to error messages and tests, following ambiguit...
2013-01-08  Johan TibellMerge branch 'master' of
2012-12-23  Simon Peyton JonesMerge branch 'master' of
2012-12-21  Simon Peyton JonesMerge branch 'master' of
2012-12-21  Simon Peyton JonesAdd test for Trac #7488
2012-12-19  Simon Peyton JonesTest Trac #7502
2012-12-13  Johan TibellMerge branch 'master' of
2012-12-05  Simon Peyton JonesMerge branch 'master' of
2012-12-05  Simon Peyton JonesNow that existential data constructors can be promoted...
2012-11-30  Johan TibellMerge branch 'master' of
2012-11-26  Simon Peyton JonesTest Trac #7404
2012-11-26  Simon Peyton JonesMerge branch 'master' of
2012-11-26  Simon Peyton JonesAccept error message improvement
2012-11-23  Ian LynaghMake T7438 insensitive to the directory from which...
2012-11-23  Simon Peyton JonesTest Trac #7438
2012-11-21  Jose Pedro MagalhaesAdd regression test for #7433
2012-11-21  Simon Peyton JonesMerge branch 'master' of
2012-11-21  Simon Peyton JonesTest Trac #7422
2012-11-06  Simon Peyton JonesMerge branch 'master' of