testsuite: Add test for #16104
[ghc.git] / testsuite / tests / typecheck /
2019-01-15  Ryan ScottControl validity-checking of type synonym applications...
2019-01-13  Ryan ScottDon't invoke dataConSrcToImplBang on newtypes
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-20  Simon Peyton JonesAdd solveLocalEqualities to tcHsPatSigType
2018-12-19  chessaidon't suggest Rank2Types in error messages (Fixed ...
2018-12-17  Gabor GreifStomp a few typos and grammaros
2018-12-13  Ben Gamaritestsuite: Normalise away spurious differences in out...
2018-12-11  Shayne FletcherEnable rebindable fail with overloaded strings
2018-12-11  Ryan ScottFix #16008 with a pinch of addConsistencyConstraints
2018-12-07  Ryan ScottFix #12102/#15872 by removing outdated users' guide...
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-12-03  Ryan ScottAdd test cases for #7503, #14451
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-11  rolandGHCi does not need a main function
2018-11-01  Matthías Páll Giss... Add built-in syntax suggestions, and refactor to allow...
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-28  Ben Gamaritestsuite: EtaExpandLevPoly now passes in profiled...
2018-10-25  Simon Peyton JonesRemove a zonkTcTyVarToTyVar
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-24  Simon Peyton JonesImprove output from -ddump-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-15  Ben GamariTypeable: Only render saturated tuple types with tuple...
2018-10-04  Alec TheriaultAllow (unparenthesized) kind signatures
2018-10-04  Simon Peyton JonesBetter -ddump-types
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-05  Ben Gamaritestsuite: Add test for #15368
2018-09-04  Krzysztof GogolewskiAdd a test for Trac #15586
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-23  Simon Peyton JonesAccommodate API change in transSuperClasses
2018-08-23  Simon Peyton JonesFix a typo in TcValidity.checkFamInstRhs
2018-08-20  Simon Peyton JonesInitialise cec_suppress properly
2018-08-17  Ryan ScottBe mindful of GADT tyvar order when desugaring record...
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-07  Ben Gamaritestsuite: Add (broken) test for #15473
2018-08-06  Alp Mestanogullarifix timeout related i686 validation issues
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-27  Krzysztof GogolewskiAdd an expect_broken test for #14185
2018-07-25  Simon Peyton JonesTreat isConstraintKind more consistently
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
2018-07-24  Matthías Páll Giss... Clone relevant constraints to avoid side-effects on...
2018-07-24  Simon Peyton JonesFix a nasty bug in piResultTys
2018-07-23  Simon Peyton JonesStop marking soluble ~R# constraints as insoluble
2018-07-20  Ryan ScottFix #15423 by using pprAStmtContext
2018-07-16  Vladislav ZavialovDo not imply NoStarIsType by TypeOperators/TypeInType
2018-07-15  Richard EisenbergMake some tests robust against DEBUG compiler
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 ScottAccept new stdout for tcrun045
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-18  Gabor GreifTypofixes in docs and comments [ci skip]
2018-06-16  Zubin DuggalPreserve parenthesis in function application in typechecker
2018-06-16  Richard EisenbergQuantify unfixed kind variables in CUSKs
2018-06-15  Sylvain HenryBuilt-in Natural literals in Core
2018-06-15  Kirill ZaborskyFix #13833: accept type literals with no FlexibleInstances
2018-06-15  HE, TaoAdd "quantified constraint" context in error message...
2018-06-14  Vladislav ZavialovEmbrace -XTypeInType, add -XStarIsType
2018-06-14  Félix Baylac-JacquéMake Control.Exception.throw levity polymorphic.
2018-06-08  HE, TaoFix `print-explicit-runtime-reps` (#11786).
2018-06-08  Ben Gamaritypecheck: Don't warn about "redundant" TypeError const...
2018-06-07  Ryan ScottFix #15236 by removing parentheses from funTyConName
2018-06-07  Ben Gamaritestsuite: Skip T13838 in ghci way
2018-06-07  Ben Gamaritestsuite: Add test for #15232
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-30  HE, TaoPut the `ev_binds` of main function inside `runMainIO`
2018-05-30  Alp MestanogullariT14732 now passes with the profasm way
2018-05-27  chessaibase: Introduce Data.Monoid.Ap
2018-05-26  Ryan ScottAdd regression test for #11766
next