Remove knot-tying bug in TcHsSyn.zonkTyVarOcc
[ghc.git] / testsuite / tests / typecheck /
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
2018-05-22  Ben GamariRevert "ghc-pkg: recompute `abi-depends` for updated...
2018-05-21  Simon Peyton JonesCheck for type families in an instance context
2018-05-21  Austin Seippghc-pkg: recompute `abi-depends` for updated packages
2018-05-21  Ben Gamarighc-prim: Bump version
2018-05-20  Alp MestanogullariAnother batch of './validation --slow' tweaks
2018-05-19  Jack Henahanbase: Add Foldable and Traversable instances for Alt
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-16  Ryan ScottFix #15039 by pretty-printing equalities more systemati...
2018-05-14  Alp MestanogullariFix another batch of `./validate --slow` failures
2018-05-13  Ben GamariTcInteract: Ensure that tycons have representations...
2018-05-08  Simon Peyton JonesSimplify the kind checking for type/class decls
2018-05-05  Sebastian GrafAdd 'addWordC#' PrimOp
2018-05-05  Ben Gamaritestsuite: Add test for #15067
2018-05-03  Ryan ScottAdd regression tests for #14904
2018-04-27  Simon Peyton JonesMake out-of-scope errors more prominent
2018-04-23  Joachim BreitnerAdd testcase for #15050
2018-04-19  Alp Mestanogullaritestsuite: Fix `./validate --slow`
2018-04-19  Ryan ScottBump base to version 4.12.0.0
2018-04-13  Ryan ScottBump version numbers: base-4.11.1.0, integer-gmp-1...
2018-04-11  Ömer Sinan AğacanMove T14925.stdout to its correct location, remove...
2018-04-02  Richard EisenbergMark test as expected to pass.
2018-04-02  Richard EisenbergTest #14884, #14969
2018-04-01  Richard EisenbergTrack type variable scope more carefully.
2018-03-26  Richard EisenbergFix #12919 by making the flattener homegeneous.
2018-03-25  Ben Gamaritestsuite: Add test for #14925
2018-03-19  Ryan ScottDon't permit data types with return kind Constraint
2018-03-19  Ryan ScottFix #14934 by including axSub0R in typeNatCoAxiomRules
2018-02-27  Simon Peyton JonesFix test for Trac #13075
2018-02-27  Simon Peyton JonesTest for Trac #13075 is working now
2018-02-18  HE, TaoImprove error message for UNPACK/strictness annotations.
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...
2018-02-16  Ryan ScottFix #14811 by wiring in $tcUnit#
2018-02-13  HE, TaoRaise parse error for `data T where`.
2018-02-13  Ben GamariFix tests broken by c9a88db3ac4f1c3e97e3492ebe076f2df64...
2018-02-08  Simon Peyton JonesFix isDroppableCt (Trac #14763)
2018-02-07  Simon Peyton JonesFix solveOneFromTheOther for RecursiveSuperclasses
2018-02-01  Simon Peyton JonesAdd -ddump-ds-preopt
2018-02-01  Ben Gamaritestsuite: Fix test output broken by efba054640d3
2018-01-31  Simon Peyton JonesLook inside implications in simplifyRule
2018-01-31  Simon Peyton JonesPrioritise equalities when solving, incl deriveds
2018-01-26  Matthías Páll Giss... Sort valid substitutions for typed holes by "relevance"
2018-01-18  Matthías Páll Giss... Inform hole substitutions of typeclass constraints...
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-03  Simon Peyton JonesNo deferred type errors under a forall
next