Add test cases for #13821
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
2017-06-19  Douglas WilsonAdd test cases for #13821
2017-05-27  Ryan ScottAdd regression test for #12648
2017-05-12  Ryan ScottAdd regression tests for #12083
2017-05-11  Ryan ScottParenthesize pretty-printed equalities when necessary
2017-05-06  Ryan ScottAdd regression tests for #12947, #13640
2017-05-04  David FeuerAdd test for #13320
2017-04-24  Joachim BreitnerAdd failing test case for T13611
2017-04-23  Ben Gamaritestsuite: Mark T13075 as broken due to #13075
2017-04-23  Ben Gamaritestsuite: Add testcase for #13075
2017-04-06  Simon Peyton JonesAdd a missing addDeferredBinding
2017-04-06  Simon Peyton JonesDon't report fundep wanted/wanted errors
2017-03-27  Simon Peyton JonesFix error-message suppress on given equalities
2017-03-17  Richard EisenbergFix #12709 by not building bad applications
2017-03-02  Edward Z. YangPrevent users from defining instances for abstract...
2017-02-26  Reid Bartontests: remove extra_files.py (#12223)
2017-02-21  Simon Peyton JonesTest Trac #13300
2017-02-21  Simon Peyton JonesGather constraints locally in checkMain
2017-01-30  Ryan ScottCheck that a default type signature aligns with the...
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-22  Ryan ScottRevert "Remove unnecessary isTyVar tests in TcType"
2017-01-19  Richard EisenbergUpdate levity polymorphism
2017-01-12  Simon Peyton JonesFix top-level constraint handling (Trac #12921)
2017-01-02  sjorn3Disallow users to write instances of KnownNat and KnownSym
2016-12-18  Sergei TrofimovichT12035j: disable on NOSMP targets
2016-12-15  Ben Gamaritestsuite: Add test for #12966
2016-11-25  Simon Peyton JonesAnother major constraint-solver refactoring
2016-11-17  Edward Z. YangTest for type synonym loops on TyCon.
2016-11-04  Simon Peyton JonesTake account of injectivity when doing fundeps
2016-10-21  Simon Peyton JonesA collection of type-inference refactorings.
2016-10-19  Simon Peyton JonesTest for newtype with unboxed argument
2016-10-13  Simon Peyton JonesFurther improve error handling in TcRn monad
2016-10-12  Ryan ScottAdd test for #12589
2016-10-08  Edward Z. YangThe Backpack patch.
2016-10-05  Simon Peyton JonesImprove error handling in TcRnMonad
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-12  Simon Peyton JonesBe less picky about reporing inaccessible code
2016-08-31  Eugene AkentyevAdd -fdefer-out-of-scope-variables flag (#12170).
2016-08-21  Edward Z. YangWe also need to retypecheck before when we do parallel...
2016-08-21  Edward Z. YangRetypecheck both before and after finishing hs-boot...
2016-08-17  Simon Peyton JonesNot-in-scope variables are always errors
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)
next