testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_fail /
5 days ago  Ryan ScottDon't skip validity checks for built-in classes (#17355)
7 days ago  Simon Peyton JonesFix validity checking for inferred types
11 days ago  Richard EisenbergSolve constraints from top-level groups sooner
2019-10-05  Fumiaki KinoshitaAdd Monad instances to `(,,) a b` and `(,,,) a b c`
2019-09-25  Vladislav ZavialovStandalone kind signatures (#16794) wip/top-level-kind-signatures
2019-09-19  Richard EisenbergTest #17077.
2019-09-17  Simon Peyton JonesImprove error message for out-of-scope variables + VTA
2019-08-02  Ryan ScottRip out 9-year-old pattern variable hack (#17007)
2019-07-20  Alfredo Di NapoliLine wrap when pp long expressions (fixes #16874)
2019-06-23  Ryan ScottRefactor UnliftedNewtypes-relation kind signature valid...
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-22  Ryan ScottUse HsTyPats in associated type family defaults
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-22  Herbert Valerio... base: Remove `Monad(fail)` method and reexport `MonadFa...
2019-03-21  Ryan ScottReject nested predicates in impredicativity checking
2019-03-16  Simon Peyton JonesImprove error recovery in the typechecker
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-03-09  Simon Peyton JonesStop inferring over-polymorphic kinds
2019-03-05  Simon Peyton JonesBe more careful when naming TyCon binders
2019-02-27  Vladislav ZavialovTreat kind/type variables identically, demolish FKTV
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-15  Vladislav Zavialov'forall' always a keyword, plus the dot type operator
2019-02-14  Simon Peyton JonesFail fast in solveLocalEqualities
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-25  Ben Gamaritestsuite: Fix a variety of issues when building with...
2018-12-21  Ryan ScottFix #16002 by moving a validity check to the renamer
2018-12-20  Simon Peyton JonesRefine the suppression of RuntimeRep variables
2018-12-19  chessaidon't suggest Rank2Types in error messages (Fixed ...
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-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-17  Roland SennFix #12906: GHC fails to typecheck Main module without...
2018-11-15  Simon Peyton JonesSmarter HsType pretty-print for promoted datacons
2018-11-01  Vladislav ZavialovLower precedence for {-# UNPACK #-}
2018-11-01  Richard EisenbergDon't lint erroneous programs.
2018-11-01  Richard EisenbergActually fail in failIfEmitsConstraints
2018-10-29  Tobias DammersFinish fix for #14880.
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-24  Simon Peyton JonesRefactor the treatment of predicate types
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-15  Vladislav ZavialovEnable -Wcompat=error in the testsuite
2018-10-15  Ryan ScottFix #12430 by expanding type synonyms in injTyVarsOfType
2018-10-04  Alec TheriaultAllow (unparenthesized) kind signatures
2018-10-04  Vladislav ZavialovParse the (!) type operator and allow type operators...
2018-09-16  rolandFix for #13862: Optional "-v" not allowed with :load...
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-28  Ryan ScottRename kind vars in left-to-right order in bindHsQTyVars
2018-08-24  Simon Peyton JonesBetter error reporting for inaccessible code
2018-08-20  Simon Peyton JonesInitialise cec_suppress properly
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-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-08-02  Richard EisenbergRemove decideKindGeneralisationPlan
2018-08-01  Richard EisenbergRemove the type-checking knot.
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-07-10  Richard EisenbergUnwrap casts before checking vars in eager unifier
2018-07-10  Simon Peyton JonesMore refactoring in TcValidity
2018-07-06  Krzysztof GogolewskiMark AutoDeriveTypeable as deprecated
2018-07-05  Ryan ScottFix #15308 by suppressing invisble args more rigorously
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-22  Simon Peyton JonesInstances in no-evidence implications
2018-06-20  Ben Gamaribase: Add missing instances for Data.Ord.Down
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-15  HE, TaoAdd "quantified constraint" context in error message...
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-08  HE, TaoFix `print-explicit-runtime-reps` (#11786).
2018-06-07  Andreas HerrmannFix unparseable pretty-printing of promoted data cons
2018-06-04  Simon Peyton JonesImplement QuantifiedConstraints
2018-06-03  Tobias DammersTurn "inaccessible code" error into a warning
2018-06-03  Ryan ScottFix #13777 by improving the underdetermined CUSK error...
2018-05-30  Matthías Páll Giss... Improved Valid Hole Fits
2018-05-27  chessaibase: Introduce Data.Monoid.Ap
next