Don't lint erroneous programs.
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
2018-11-02  Richard EisenbergDon't lint erroneous programs. ghc-8.6.2-release
2018-10-30  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-08-23  Ryan ScottSuppress redundant givens during error reporting
2018-08-19  Ryan ScottFix #15527 by pretty-printing an RdrName prefixly
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-03  Tobias DammersTurn "inaccessible code" error into a warning
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-18  Ryan ScottAdd regression tests for #11515 and #12563
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-05-05  Ben Gamaritestsuite: Add test for #15067
2018-05-03  Ryan ScottAdd regression tests for #14904
2018-04-02  Richard EisenbergTest #14884, #14969
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-19  Ryan ScottDon't permit data types with return kind Constraint
2018-02-27  Simon Peyton JonesTest for Trac #13075 is working now
2018-02-18  HE, TaoImprove error message for UNPACK/strictness annotations.
2018-01-03  Simon Peyton JonesNo deferred type errors under a forall
2018-01-03  Simon Peyton JonesFix OptCoercion
2017-12-26  Richard EisenbergFix #14618 by applying a subst in deeplyInstantiate
2017-11-22  Ben GamariUpdate Hadrian
2017-11-22  Evan Rutledge BordenAdd warn-missing-export-lists
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-30  Ryan ScottFix #14390 by making toIfaceTyCon aware of equality
2017-10-18  Simon Peyton JonesDon't deeply expand insolubles
2017-10-11  Simon Peyton JonesFix over-eager error suppression in TcErrors
2017-09-26  Ben Gamaridesugar: Catch levity polymorphism in unboxed sum expre...
2017-09-21  Ben Gamaritestsuite: Add unboxed sum to T13929
2017-09-14  Richard EisenbergFix #13929 by adding another levity polymorphism check
2017-09-14  Richard EisenbergFix #13909 by tweaking an error message.
2017-09-14  Simon Peyton JonesAdd test for Trac #14232
2017-08-22  Ryan ScottRevise function arity mismatch errors involving TypeApp...
2017-08-17  Ryan ScottRemove unneeded reqlibs for mtl and parsec in the GHC...
2017-07-29  Ryan ScottAdd regression test for #14055
2017-07-28  Simon Peyton JonesDo not discard insolubles in implications
2017-07-27  Richard EisenbergFix #11963 by checking for more mixed type/kinds
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergTest #11672 in typecheck/should_fail/T11672.
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-19  Ryan ScottFix #13983 by creating a TyConFlavour type, and using it
2017-07-03  Ryan ScottFix #13311 by using tcSplitNestedSigmaTys in the right...
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
next