Fix #9404 by removing tcInfExpr.
[ghc.git] / testsuite / tests / indexed-types /
2014-11-12  Richard EisenbergTestsuite wibbles due to #9204
2014-11-11  Simon Peyton JonesAdd stderr for T9662
2014-11-11  Simon Peyton JonesTest Trac #7862
2014-11-11  Simon Peyton JonesTest Trac #9662
2014-11-06  Simon Peyton JonesSwitch off lazy flattening (fix Trac #3064)
2014-11-04  Simon Peyton JonesTestsuite error message changes
2014-11-04  Simon Peyton JonesTest Trac #9747
2014-11-04  Simon Peyton JonesTest Trac #9211
2014-10-18  Herbert Valerio... Generalise `Control.Monad.{foldM,foldM_}` to `Foldable...
2014-10-07  Simon Peyton JonesMerge branch 'master' of git.haskell.org/ghc
2014-10-07  Simon Peyton JonesUse correct precedence when printing contexts with...
2014-09-26  Simon Peyton JonesTwo improved error messages
2014-09-26  Simon Peyton JonesDo not discard insoluble Derived constraints
2014-09-20  Herbert Valerio... Change linker message verbosity to `-v2` (re #7863)
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-09-09  Herbert Valerio... Bump `base` version to 4.8.0.0 for real
2014-09-09  Austin SeippMake Applicative a superclass of Monad
2014-09-04  Simon Peyton JonesSmall improvement to unsaturated-type-function error...
2014-09-04  Simon Peyton JonesAnother test for type function saturation
2014-08-29  Gabor GreifDo not say we cannot when we clearly can
2014-08-29  Simon Peyton JonesRename red-black test in indexed-types to red-black...
2014-08-28  Simon Peyton JonesAdd an interesting type-family/GADT example of deletion...
2014-08-25  Simon Peyton JonesCheck for un-saturated type family applications
2014-08-22  Edward Z. YangDo not zero out version number when processing wired...
2014-08-12  Richard EisenbergTestsuite wibbles around #9200
2014-08-12  Richard EisenbergTest #9371 (indexed-types/should_fail/T9371)
2014-08-10  Karel Gardasfix T4981-V3 to avoid DOS line endings
2014-08-10  Karel Gardasfix T4981-V3 and T9208 tests for no newline at end...
2014-07-31  Simon Peyton JonesComplete work on new OVERLAPPABLE/OVERLAPPING pragmas...
2014-07-25  Simon Peyton JonesCheck for boxed tau types in the LHS of type family...
2014-07-18  Simon Peyton JonesFurther improvements to floating equalities
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-12  Simon Peyton JonesFix elemLocalRdrEnv (Trac #9160)
2014-06-11  Simon Peyton JonesImprove error message in Trac #8883
2014-06-11  Richard EisenbergTest #9085.
2014-06-11  Richard EisenbergTest #9097.
2014-06-11  Richard EisenbergClarify error message. See #9167.
2014-06-09  Simon Peyton JonesSuggest -fprint-explicit-kinds when only kind variables...
2014-06-09  Simon Peyton JonesCheck that an associated type mentions at least one...
2014-06-06  Sjoerd VisscherMerge branch 'master' of git://git.haskell.org/ghc
2014-06-03  Simon Peyton JonesDo pretty-printing of TyThings via IfaceDecl (Trac...
2014-04-28  Simon Peyton JonesPrint for-alls more often (Trac #9018)
2014-04-28  Simon Peyton JonesDo type-class defaulting even if there are insoluble...
2014-04-28  Simon Peyton JonesTest Trac #9036
2014-04-19  Jan StolarekValidate inferred theta. Fixes #8883
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-10  Simon Peyton JonesFix egregious blunder in the type flattener
2014-03-24  Simon Peyton JonesFlattener preserves synonyms, rewriteEvidence can drop...
2014-03-19  Dr. ERDI GergoUpdate expected test outputs to match new format of...
2014-03-17  Simon Peyton JonesTest Trac #8889
2014-02-25  Herbert Valerio... Use U+2018 instead of U+201B quote mark in compiler...
2014-01-23  Gabor GreifSome typos in comments
2014-01-16  Krzysztof GogolewskiTypos in comments
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-10  Simon Peyton JonesTest Trac #8651
2014-01-03  Simon Peyton JonesWhite space only
2013-12-28  Simon Peyton JonesError message wibbles
2013-12-02  Richard EisenbergWibbles to output caused by change in checking role...
2013-11-22  Joachim BreitnerT5246 and T7474 back working with -DDEBUG
2013-11-22  Joachim BreitnerType function application has its own depth counter now
2013-11-22  Joachim BreitnerMark tests as expect_broken when borken with -DDEBUG
2013-11-12  Simon Peyton JonesTest Trac #8518
2013-11-06  Simon Peyton JonesError messsage wibbles
2013-11-06  Simon Peyton JonesTest Trac #8500
2013-10-23  Richard EisenbergWibbles to output regarding role annotations.
2013-10-08  Simon Peyton JonesError wibbles now that we print roles in :info
2013-10-04  Simon Peyton JonesError messsage wibblification
2013-10-04  Iavor S. DiatchkiFix a failing test.
2013-10-03  Richard EisenbergNew tests for #8368.
2013-10-02  Simon Peyton JonesError message wibbles following ambiguity check changes
2013-10-02  Simon Peyton JonesFurther testsuite wibbles following changes to kind...
2013-10-01  unknownError message wibbles,
2013-10-01  Krzysztof GogolewskiFix T8129 (#8129)
2013-09-20  Simon Peyton JonesTest Trac #8129
2013-09-18  Herbert Valerio... Update to new missing-method-decl warning style
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-11  Simon Peyton JonesLeftover change to relevant-binding warnings (one I...
2013-09-10  Simon Peyton JonesError message wibbles
2013-09-10  Simon Peyton JonesTest Trac #8227
2013-09-08  Austin SeippFix most AMP warnings.
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-29  Simon Peyton JonesTest Trac #8155
2013-08-28  Richard EisenbergWibble to tests from improving comments about apartness.
2013-08-05  Richard EisenbergAdded test cases for closed type families in .hs-boot...
2013-08-04  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-04  Richard EisenbergAdd test case for #7938.
2013-08-02  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-02  Richard EisenbergAdd tests for roles.
2013-08-02  Richard EisenbergAdd new test for #8020.
2013-06-28  Richard EisenbergAdd test case T8018
2013-06-27  Richard EisenbergTest kind inference for closed type families/T7939.
2013-06-25  Simon Peyton JonesTest Trac #8011
2013-06-24  Simon Peyton JonesTest Trac #8002
2013-06-21  Richard EisenbergUpdates to support closed type families.
next