testsuite: Add test for #16104
[ghc.git] / testsuite / tests / indexed-types /
2019-01-15  Ryan ScottFix #16116 by removing badAssocRhs
2019-01-03  mynguyenVisible kind application
2018-12-21  Ryan ScottFix #16002 by moving a validity check to the renamer
2018-12-19  chessaidon't suggest Rank2Types in error messages (Fixed ...
2018-12-07  Simon Peyton JonesWibble to Taming the Kind Inference Monster
2018-11-30  Simon Peyton JonesTwo tests for Trac #14230
2018-11-29  Simon Peyton JonesTaming the Kind Inference Monster
2018-11-29  Simon Peyton JonesTest Trac #15943
2018-11-22  Ryan ScottOverhaul -fprint-explicit-kinds to use VKA
2018-11-22  Ryan ScottFix #15852 by eta expanding data family instance RHSes...
2018-11-02  mniipMove eta-reduced coaxiom compatibility handling quirks...
2018-10-29  Richard EisenbergTest T15711 in indexed-types/should_compile/T15711
2018-10-29  Tobias DammersFinish fix for #14880.
2018-10-27  Matthew YacavoneMore explicit foralls (GHC Proposal 0007)
2018-10-25  Simon Peyton JonesA little more wibbling to -ddump-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-04  Alec TheriaultAllow (unparenthesized) kind signatures
2018-10-04  Simon Peyton JonesBetter -ddump-types
2018-09-26  Simon Peyton JonesFix Lint of unsaturated type families
2018-09-02  Ryan ScottReject class instances with type families in kinds
2018-08-06  Joachim BreitnerAllow scoped type variables refer to types
2018-07-27  Simon Peyton JonesRefactor (~) to reduce the suerpclass stack
2018-07-25  Simon Peyton JonesSet GenSigCtxt for the argument part of tcSubType
2018-07-20  Ryan ScottFix #15423 by using pprAStmtContext
2018-07-11  Ryan ScottUse IfaceAppArgs to store an IfaceAppTy's arguments
2018-07-11  Simon Peyton JonesAdd test for Trac #15352
2018-07-10  Richard EisenbergKind-check CUSK associated types separately
2018-07-05  Ryan ScottMake ppr_tc_args aware of -fprint-explicit-kinds
2018-07-05  Ryan ScottFix newtype instance GADTs
2018-07-05  Simon Peyton JonesRefactor validity checking for constraints
2018-06-18  Simon Peyton JonesFix typechecking of kind signatures
2018-06-18  Simon Peyton JonesFix an infinite loop in niFixTCvSubst
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-03  Ryan ScottFix #13777 by improving the underdetermined CUSK error...
2018-05-26  Ryan ScottAdd regression test for #14246
2018-05-24  Ryan ScottClean up the conflicting data family instances error...
2018-05-23  Simon Peyton JonesUse dischargeFunEq consistently
2018-05-21  Simon Peyton JonesCheck for type families in an instance context
2018-05-21  Ben Gamarighc-prim: Bump version
2018-05-18  Simon Peyton JonesDo not unify representational equalities
2018-05-18  Simon Peyton JonesOrient TyVar/TyVar equalities with deepest on the left
2018-05-14  Alp MestanogullariFix another batch of `./validate --slow` failures
2018-05-05  Sebastian GrafAdd 'addWordC#' PrimOp
2018-04-26  Simon Peyton JonesDo not unpack class dictionaries with INLINABLE
2018-04-20  Ryan ScottLint types in newFamInst
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-01  Richard EisenbergTrack type variable scope more carefully.
2018-02-03  Ryan ScottDon't apply dataToTag's caseRules for data families
2018-01-26  Joachim BreitnerTurn EvTerm (almost) into CoreExpr (#14691)
2018-01-04  Simon Peyton JonesDrop dead Given bindings in setImplicationStatus
2018-01-02  Matthew PickeringRename HEq_sc and Coercible_sc to heq_sel and coercible_sel
2017-12-21  Simon Peyton JonesFix floating of equalities
2017-12-19  Gabor GreifGet rid of some stuttering in comments and docs
2017-12-14  Simon Peyton JonesFix an outright bug in the unflattener
2017-12-01  David FeuerCache TypeRep kinds aggressively
2017-11-22  Ben GamariUpdate Hadrian
2017-11-15  Andrey MokhovPull recent Hadrian changes from upstream
2017-11-10  Ben GamariMerge commit '5229c43ccf77bcbffeced01dccb27398d017fa34'
2017-11-09  Ben GamariMerge initial Hadrian snapshot
2017-11-08  Simon Peyton JonesMinimise provided dictionaries in pattern synonyms
2017-11-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-19  Ryan ScottFix #14369 by making injectivity warnings finer-grained
2017-10-16  Herbert Valerio... Bump ghc-prim to 0.5.2.0 and update changelog
2017-10-11  Simon Peyton JonesRemove wc_insol from WantedConstraints
2017-09-21  Ben GamariBump base to 4.11.0.0
2017-09-19  Simon Peyton JonesFix unused-given-constraint bug
2017-09-14  Ben Gamaritestsuite: Fix dependence on grep behavior in T8129
2017-09-14  Richard EisenbergTest #12938 in indexed-types/should_compile/T12938
2017-09-14  Simon Peyton JonesRefactor tcInferApps
2017-09-14  Simon Peyton JonesTidying could cause ill-kinded types
2017-09-14  Simon Peyton JonesFix subtle bug in TcTyClsDecls.mkGADTVars
2017-09-07  Gabor GreifFix typos in diagnostics, testsuite and comments
2017-09-05  Ryan ScottImplicitly bind kind variables in type family instance...
2017-09-04  Herbert Valerio... Move NonEmpty definition into GHC.Base
2017-08-29  Simon Peyton JonesRefactor bindHsQTyVars and friends
2017-08-17  Ryan ScottRemove unneeded reqlibs for mtl and parsec in the GHC...
2017-08-17  Ryan ScottFix #13972 by producing tidier errors
2017-07-29  Richard EisenbergFix #14045 by omitting an unnecessary check
2017-07-28  Ryan ScottAdd regression tests for #13601, #13780, #13877
2017-07-27  Richard EisenbergFix #12369 by being more flexible with data insts
2017-07-27  Richard EisenbergFix #13819 by refactoring TypeEqOrigin.uo_thing
2017-07-27  Richard EisenbergImprove error messages around kind mismatches.
2017-07-26  Simon Peyton JonesTest Trac #14033
2017-07-23  Ben Gamarighc-prim: Bump version
2017-07-12  Ryan ScottFix some excessive spacing in error messages
2017-06-28  Gabor GreifTypos in comments and manual [ci skip]
2017-06-05  Alan ZimmermanUdate hsSyn AST to use Trees that Grow
2017-06-05  Simon Peyton JonesTest Trac #13784
2017-05-28  Alan ZimmermanRemove HsContext from ppr_mono_ty, and remove ppParendH...
2017-05-26  Simon Peyton JonesSome tidying up of type pretty-printing
2017-05-26  Simon Peyton JonesRe-engineer Given flatten-skolems
2017-05-22  Bartosz NitkaTestcase for type family consistency checks
2017-05-16  Simon Peyton JonesFix the pure unifier
2017-05-09  Simon Peyton JonesReset cc_pend_sc flag in dropDerivedCt
next