Relevant Bindings no longer reports shadowed bindings (fixes #12176)
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
2016-08-01  Annie CherkaevRelevant Bindings no longer reports shadowed bindings...
2016-07-05  Simon Peyton JonesCheck generic-default method for ambiguity
2016-06-23  Richard EisenbergFix #11974 by adding a more smarts to TcDefaults.
2016-05-18  Edward Z. YangAdd (broken) test for #12063.
2016-05-04  Iavor S. DiatchkiBe more aggressive when checking constraints for custom...
2016-04-22  Simon Peyton JonesWarn about simplifiable class constraints
2016-04-22  Simon Peyton JonesDo not use defaulting in ambiguity check
2016-04-11  Rik SteenkampFix a closed type family error message
2016-04-07  Facundo DomínguezSet tct_closed to TopLevel for closed bindings.
2016-03-26  Richard EisenbergCheck for rep poly on wildcard binders.
2016-03-21  Richard EisenbergFix #11723 and #11724.
2016-03-20  Ben GamariRevert "Add test for #11473"
2016-02-29  Thomas MiedemaSkip TEST=TcCoercibleFail when compiler_debugged
2016-02-17  Richard EisenbergFix #11313.
2016-02-17  Thomas MiedemaTestsuite: delete compiler_lt/le/gt/ge setup functions
2016-02-16  Yuras ShumovichSuggest candidate instances in error message
2016-02-15  Simon Peyton JonesComments only
2016-02-10  Simon Peyton JonesWrap solveEqualities in checkNoErrs
2016-01-23  Ben GamariAdd test for #11473
2016-01-21  Simon Peyton JonesStrip casts in checkValidInstHead
2016-01-15  Richard EisenbergFix #11355.
2016-01-14  Ben GamariAdd tests for #11391
2016-01-07  Simon Peyton JonesTurn AThing into ATcTyCon, in TcTyThing
2016-01-05  Joachim BreitnerAdd (failing) test case for #11347
2015-12-26  Richard EisenbergTest #10619 in typecheck/should_fail/T10619
2015-12-24  Richard EisenbergVisible type application
2015-12-23  Simon Peyton JonesTest Trac #11274
2015-12-21  Ben Gamaritestsuite/ClassOperator: Mark as compile_fail instead...
2015-12-21  Ben Gamaritestsuite/ClassOperator: This actually should_fail
2015-11-23  Simon Peyton JonesImprove constraint-used-as-type error msg
2015-11-16  Edward Z. YangRevert "Unify hsig and hs-boot; add preliminary "hs...
2015-11-16  Iavor S. DiatchkiImplement support for user-defined type errors.
2015-10-20  David KraeutmannExtended default rules now specialize Foldable, Travers...
2015-09-21  Edward Z. YangUnify hsig and hs-boot; add preliminary "hs-boot" merging.
2015-09-21  Richard EisenbergSlightly better `Coercible` errors.
2015-09-11  Jan StolarekTestsuite cleanup
2015-09-11  Simon Peyton JonesImprove rejigConRes (again)
2015-09-03  Jan StolarekAdd test for T10836 (expected broken)
2015-09-03  Jan StolarekInjective type families
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)
next