Fix #9404 by removing tcInfExpr.
[ghc.git] / testsuite / tests / typecheck /
2014-11-12  Richard EisenbergFix #9404 by removing tcInfExpr.
2014-11-12  Richard EisenbergTestsuite wibble due to #9404
2014-11-12  Richard EisenbergTest #9404 (typecheck/should_compile/T9404 and T9404b)
2014-11-12  Richard EisenbergTestsuite wibbles due to #9204
2014-11-12  Herbert Valerio... Implement new integer-gmp2 from scratch (re #9281)
2014-11-06  Simon Peyton JonesMove expansion of 'assert' from renamer to typechecker
2014-11-04  Simon Peyton JonesTestsuite error message changes
2014-11-04  Simon Peyton JonesFix the superclass-cycle detection code (Trac #9739)
2014-11-04  Simon Peyton JonesTest Trac #9739
2014-11-04  Simon Peyton JonesTest Trac #9708
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
2014-10-19  Krzysztof GogolewskiPython 3 support, second attempt (Trac #9184)
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-10-06  Sergei Trofimovichtestsuite: fix T1735_Help/State.hs build failure (AMP)
2014-10-06  Sergei Trofimovichtestsuite: fix T5751 build failure (AMP)
2014-10-06  Sergei Trofimovichtestsuite: fix tcrun036 build against Prelude/Main...
2014-10-03  Krzysztof GogolewskiRevert "Basic Python 3 support for testsuite driver...
2014-10-01  Krzysztof GogolewskiBasic Python 3 support for testsuite driver (Trac ...
2014-09-28  Herbert Valerio... Extend `Foldable` class with `length` and `null` methods
2014-09-26  Herbert Valerio... Don't re-export `Alternative(..)` from Control.Monad...
2014-09-26  Simon Peyton JonesComplain about illegal type literals in renamer, not...
2014-09-26  Simon Peyton JonesImprove error messages from functional dependencies
2014-09-26  Simon Peyton JonesWibble to implicit-parameter error message
2014-09-26  Simon Peyton JonesDo not discard insoluble Derived constraints
2014-09-21  Herbert Valerio... Export `Monoid(..)`/`Foldable(..)`/`Traversable(.....
2014-09-19  Simon Peyton JonesClean up Coercible handling, and interaction of data...
2014-09-19  Simon Peyton JonesIncrease -fcontext-stack=N default to 100
2014-09-18  Krzysztof GogolewskiAdd -fwarn-context-quantification (#4426)
2014-09-16  Herbert Valerio... Move `Maybe`-typedef into GHC.Base
2014-09-15  Herbert Valerio... Export `Traversable()` and `Foldable()` from Prelude
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-08-31  Herbert Valerio... Re-export Word from Prelude (re #9531)
2014-08-29  Duncan CouttsChange testsuite to not use old-style file package...
2014-08-28  Simon Peyton JonesTestsuite wibbles
2014-08-28  Simon Peyton JonesWibbles to "...plus N others" error message about insta...
2014-08-22  Edward Z. YangDo not zero out version number when processing wired...
2014-08-12  Richard EisenbergTest #9415 (typecheck/should_fail/T9415)
2014-08-08  Simon Peyton JonesImplement the final change to INCOHERENT from Trac...
2014-07-31  Simon Peyton JonesComplete work on new OVERLAPPABLE/OVERLAPPING pragmas...
2014-07-17  Simon Peyton JonesTest Trac #9323
2014-07-15  Simon Peyton JonesEntirely re-jig the handling of default type-family...
2014-07-12  Joachim BreitnerTest case for #9305
2014-07-01  Joachim BreitnerUnbreak TcNullaryTC testcase, by using MPTC
2014-06-29  Herbert Valerio... Promote TcNullaryTC and TcCoercible to fast tests
2014-06-28  Herbert Valerio... Simplify .gitignore files
2014-06-20  Simon Peyton JonesReject forall types in constraints in signatures
2014-06-20  Simon Peyton JonesTidy up the printing of single-predicate contexts
2014-06-11  Simon Peyton JonesImprove error message in Trac #8883
2014-06-11  Richard EisenbergClarify error message. See #9167.
2014-06-09  Joachim BreitnerUpdate test results with new orphan instance warning
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-06  Joachim BreitnerAdd testcase for #9177 and adjust test output
2014-06-04  Owen StephensSubsume NullaryTypeClasses by MultiParamTypeClasses...
2014-06-03  Simon Peyton JonesDo pretty-printing of TyThings via IfaceDecl (Trac...
2014-05-30  Joachim BreitnerDisable FixEither tests in TcCoercible
2014-05-30  Edward Z. Yangs/implict/implicit/i
2014-05-30  Edward Z. YangAdd missing stderr file for tcrun045.
2014-05-30  Edward Z. YangAdd .gitignore for autogenerated test files.
2014-05-20  Joachim BreitnerCoercible: Test case for now broken(?) corner case
2014-05-20  Joachim BreitnerCoercible: Unwrap newtypes before coercing under tycons
2014-05-03  Austin SeippRemove external core
2014-04-28  Simon Peyton Jonestcrun045 should fail (implicit parameter as superclass)
2014-04-28  Simon Peyton JonesDo type-class defaulting even if there are insoluble...
2014-04-20  Austin SeippDeprecate the AMP warnings.
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-03-24  Simon Peyton JonesImplicit parameters should not be allowed in class...
2014-03-19  Dr. ERDI GergoUpdate expected test outputs to match new format of...
2014-03-17  Joachim BreitnerFix validation issue due to Coercible move (#8894)
2014-03-14  Richard EisenbergRemove "Safe mode" check for Coercible instances
2014-03-07  Simon Peyton JonesTest Trac #8856
2014-03-07  Simon Peyton JonesFix the treatment of lexically scoped kind variables...
2014-03-07  Simon Peyton JonesMake -XDeriveFunctor more generous about non-last argum...
2014-02-25  Herbert Valerio... Use U+2018 instead of U+201B quote mark in compiler...
2014-02-20  Erik de Castro LopoAdd test case for #8806.
2014-02-18  Simon Peyton JonesAllow ($) to return an unlifted type (Trac #8739)
2014-02-18  Simon Peyton JonesUse NoGen plan for unboxed-tuple bindings
2014-01-15  Austin SeippTurn -XTypeHoles into a (on by default) warning
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2014-01-09  Simon Peyton JonesChanges in error messages when fixing Trac #8649
2014-01-03  Simon Peyton JonesTest Trac #8644
2013-12-28  Simon Peyton JonesError message wibbles
2013-12-28  Simon Peyton JonesTest Trac #8603
2013-12-27  Richard EisenbergError wibbles while fixing #8607.
2013-12-03  Joachim BreitnerUpdate output: New error messages as per #8576
2013-12-02  Richard EisenbergWibbles to output caused by change in checking role...
2013-12-02  Joachim BreitnerUpdate testsuite for nicer Coercible message
2013-11-29  Simon Peyton JonesTest Trac #8570
2013-11-29  Simon Peyton JonesWibbles when fixing Trac #8570
2013-11-28  Joachim BreitnerOutput of T7861 has changed
2013-11-27  Joachim BreitnerTestcase #8565 no longer broken
2013-11-26  Joachim BreitnerAdd testcase for #8565
next