Testsuite: add typecheck/should_fail/T8034 (#8034)
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
2015-07-30  Thomas MiedemaTestsuite: add typecheck/should_fail/T8034 (#8034)
2015-07-30  Thomas MiedemaTestsuite: add typecheck/should_fail/T9260 (#9260)
2015-07-28  Joachim BreitnerTest case for #10698
2015-07-20  Thomas MiedemaTestsuite: add regression test for missing class constraint
2015-07-16  Ömer Sinan AğacanImplement -fprint-expanded-synonyms
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-06-16  Richard EisenbergFix #10495.
2015-06-16  Ben GamariEncode alignment in MO_Memcpy and friends
2015-06-16  Ben Gamariusers_guide: Various spelling fixes
2015-06-16  Ben GamariLexer: Suggest adding 'let' on unexpected '=' token
2015-06-16  Richard EisenbergFix #10534
2015-06-09  Thomas MiedemaTestsuite: delete expect_fail setups for hugs
2015-04-30  Simon Peyton JonesTidy up treatment of FlexibleContexts
2015-04-29  Simon Peyton JonesImprove improvement in the constraint solver
2015-04-24  Richard EisenbergFix #10285 by refusing to use NthCo on a newtype.
2015-04-22  Joachim BreitnerRename new T9858d to T9858e to avoid test name clash
2015-04-22  Joachim BreitnerRename new T9858c to T9858d to avoid test name clash
2015-04-22  Simon Peyton JonesTest Trac #9858 comment:101
2015-04-22  Edward Z. YangDon't use self {-# SOURCE #-} import in test-cases.
2015-04-16  Iavor S. DiatchkiFixes (hopefully!) T9858
2015-04-14  Simon Peyton JonesDo not allow Typeable on constraints (Trac #9858)
2015-04-08  Simon Peyton JonesTest Trac #8030
2015-04-07  Edward Z. YangAxe one-shot sig-of
2015-04-07  Simon Peyton JonesLook inside synonyms for foralls when unifying
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-04  Simon Peyton JonesA raft of small changes associated with -XConstrainedCl...
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-10  Yuras Shumovichfix misleading error message regarding function arity
2014-12-10  Facundo DomínguezImplement -XStaticValues
2014-12-02  Simon Peyton JonesTest Trac #4921
2014-12-01  Simon Peyton JonesFix the handling of instance signatures (Trac #9582...
2014-11-27  Simon Peyton JonesTrac #6022 is actually fine now
2014-11-24  Richard EisenbergTest #8044 in typecheck/should_fail/T8044
2014-11-21  Merijn VerstraatenAdd -fdefer-typed-holes flag which defers hole errors...
2014-11-21  Simon Peyton JonesDelete duplicated tests
2014-11-20  Richard EisenbergTest #9109 in typecheck/should_fail/T9109
2014-11-20  Richard EisenbergTest #9201 in typecheck/should_fail/T9201
2014-11-20  Richard EisenbergTest #9318 in typecheck/should_fail/T9318
2014-11-12  Richard EisenbergFix #9404 by removing tcInfExpr.
2014-11-06  Simon Peyton JonesMove expansion of 'assert' from renamer to typechecker
2014-11-04  Simon Peyton JonesTest Trac #9739
2014-10-24  Edward Z. YangImplementation of hsig (module signatures), per #9252
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-08-12  Richard EisenbergTest #9415 (typecheck/should_fail/T9415)
2014-08-08  Simon Peyton JonesImplement the final change to INCOHERENT from Trac...
2014-07-17  Simon Peyton JonesTest Trac #9323
2014-07-12  Joachim BreitnerTest case for #9305
2014-06-20  Simon Peyton JonesReject forall types in constraints in signatures
2014-06-11  Simon Peyton JonesImprove error message in Trac #8883
2014-04-28  Simon Peyton JonesDo type-class defaulting even if there are insoluble...
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-14  Richard EisenbergRemove "Safe mode" check for Coercible instances
2014-02-20  Erik de Castro LopoAdd test case for #8806.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-12-28  Simon Peyton JonesTest Trac #8603
2013-11-29  Simon Peyton JonesTest Trac #8570
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-20  Joachim BreitnerTest cases for context stack overflow
2013-11-19  Joachim BreitnerTest case for undersaturated newtype in Coercions
2013-11-12  Simon Peyton JonesTest Trac #8514
2013-11-06  Simon Peyton JonesTest Trac #8450
2013-10-09  Krzysztof GogolewskiTest #8428
2013-10-03  Simon Peyton JonesTest Trac #8392
2013-09-29  Austin SeippFix fallout from making lazy unlifted bindings an error
2013-09-16  Austin SeippTest for #8306
2013-09-13  Joachim BreitnerTests for the Coercible class
2013-09-10  Simon Peyton JonesTest Trac #8262
2013-08-31  Ryan NewtonMerge branch 'master' into atomics
2013-08-30  Joachim BreitnerTest cases for new IncoherentInstances behaviour
2013-08-19  Jan StolarekAdd regression test for #8142
2013-06-25  Simon Peyton JonesTest Trac #7989
2013-05-30  Simon Peyton JonesTest Trac #7809
2013-05-15  Simon Peyton JonesTest Trac #7892
2013-04-30  Simon Peyton JonesTest Trac #7869
2013-04-29  Simon Peyton JonesTest Trac #7856
2013-04-29  Simon Peyton JonesTest Trac #7851
2013-04-29  Simon Peyton JonesTest Trac #7778
2013-04-23  Simon Peyton JonesTest Trac #7857
2013-03-18  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-13  Krzysztof GogolewskiTests for nullary type classes (#7642)
2013-03-09  Simon Peyton JonesTest Trac #7748
2013-03-04  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-04  Amos RobinsonMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-03  Simon Peyton JonesTest Trac #7696, #7697
2013-03-03  Ian LynaghAdd a test for #7734
2013-02-15  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-15  Simon Peyton JonesTest Trac #2354
2013-02-14  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-14  Simon Peyton JonesTest Trac #7645
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
next