Synchronize ClsInst.doTyConApp with TcTypeable validity checks (#15862)
[ghc.git] / testsuite / tests / typecheck / should_fail / all.T
2019-06-16  Ryan ScottSynchronize ClsInst.doTyConApp with TcTypeable validity...
2019-06-14  Andrew MartinImplement the -XUnliftedNewtypes extension.
2019-06-09  Richard EisenbergFix #16517 by bumping the TcLevel for method sigs
2019-05-29  Krzysztof GogolewskiIn hole fits, don't show VTA for inferred variables...
2019-05-29  Kevin BuhrAdd test for old issue displaying unboxed tuples in...
2019-05-27  Krzysztof GogolewskiFix tcfail158 (#15899)
2019-05-14  Vladislav ZavialovGuard CUSKs behind a language pragma
2019-05-08  Richard EisenbergRegression test for #16627.
2019-05-03  Ryan ScottMake equality constraints in kinds invisible
2019-03-21  Ryan ScottReject nested predicates in impredicativity checking
2019-03-15  Ryan ScottUpdate Trac ticket URLs to point to GitLab
2019-03-14  Ben Gamaritestsuite: Add testcase for #16394
2019-03-12  Simon Peyton JonesUse transSuperClasses in TcErrors
2019-03-11  Alec TheriaultIgnore more version numbers in the testsuite
2019-02-24  Simon Peyton JonesAdd AnonArgFlag to FunTy
2019-02-16  Matthew PickeringRemove Simon's special number from typecheck/should_fai...
2019-02-16  Matthew PickeringFix tests which were made to pass by "Make a smart...
2019-02-12  Richard EisenbergFix #16188
2019-02-07  Ben Gamaritestsuite: Mark T14740 and tcfail159 as broken in debug...
2019-02-02  Ryan ScottReject oversaturated VKAs in type family equations
2019-01-30  Ben Gamaritestsuite: Use makefile_test
2019-01-30  Ben GamariRevert "Batch merge"
2019-01-30  Ben GamariBatch merge
2019-01-15  Ryan ScottControl validity-checking of type synonym applications...
2019-01-03  mynguyenVisible kind application
2018-12-20  Simon Peyton JonesRefine the suppression of RuntimeRep variables
2018-12-13  Ben Gamaritestsuite: Normalise away spurious differences in out...
2018-12-07  Ryan ScottFix #12102/#15872 by removing outdated users' guide...
2018-12-03  Ryan ScottFix #15954 by rejigging check_type's order
2018-11-29  Chaitanya KoparkarAdd a test case for #15962
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-17  Roland SennFix #12906: GHC fails to typecheck Main module without...
2018-11-01  Richard EisenbergDon't lint erroneous programs.
2018-10-25  Simon Peyton JonesTest Trac #15648
2018-10-24  Simon Peyton JonesReport a Wanted error even if there are Given ones
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Ryan ScottFix #12430 by expanding type synonyms in injTyVarsOfType
2018-09-13  Simon Peyton JonesAdd regression test for Trac #15629
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-31  Simon Peyton JonesRemove knot-tying bug in TcHsSyn.zonkTyVarOcc
2018-08-16  Ryan ScottFix #15527 by pretty-printing an RdrName prefixly
2018-08-15  Krzysztof GogolewskiAdd a test for Trac #15523
2018-08-12  Ryan ScottSuppress redundant givens during error reporting
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
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
next