Visible kind application
[ghc.git] / testsuite / tests / deriving / should_compile / all.T
2019-01-03  mynguyenVisible kind application
2018-10-23  Ben GamariAdd 'hadrian/' from commit '45f3bff7016a2a0cd9a5455a882...
2018-10-01  Ryan ScottFix #15637 by using VTA more in GND
2018-07-24  Ryan ScottSuppress -Winaccessible-code in derived code
2018-07-05  Ryan ScottInstantiate GND bindings with an explicit type signature
2018-06-05  Ryan ScottIntroduce DerivingVia
2018-06-03  Ryan ScottAdd tests for #8128 and #8740
2018-03-25  Ryan ScottFix two pernicious bugs in DeriveAnyClass
2018-02-01  Ryan ScottSequester deriving-related validity check into cond_stdOK
2018-01-18  Ryan ScottFix #14681 and #14682 with precision-aimed parentheses
2018-01-04  Ryan ScottMake typeToLHsType produce kind signatures for tycon...
2017-12-21  Ryan ScottFix #14578 by checking isCompoundHsType in more places
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-06  Andrey MokhovMerge commit '7b0b9f603bb1215e2b7af23c2404d637b95a4988...
2017-10-12  Simon Peyton JonesDo not quantify over deriving clauses
2017-10-11  Simon Peyton JonesAdd a missing zonk in TcDerivInfer.simplifyDeriv
2017-08-12  Ryan ScottDon't suppress unimplemented type family warnings with...
2017-08-02  Simon Peyton JonesGet the roles right for newtype instances
2017-07-26  Simon Peyton JonesFix binder visiblity for default methods
2017-07-11  Ryan ScottSuppress unused warnings for selectors for some derived...
2017-06-18  Ryan ScottLook through type synonyms in existential contexts...
2017-05-26  Ryan ScottAdd regression test for #13758
2017-03-30  David FeuerDeriving for phantom and empty types
2017-02-21  Simon Peyton JonesFix computation of dfun_tvs in mkNewTypeEqn
2017-02-21  Simon Peyton JonesFix DeriveAnyClass (again)
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-11-06  Ryan ScottAllow GeneralizedNewtypeDeriving for classes with assoc...
2016-10-15  Ryan ScottFix Show derivation in the presence of RebindableSyntax...
2016-10-14  Ryan ScottMake error when deriving an instance for a typeclass...
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-11  Ryan ScottFix derived Ix instances for one-constructor GADTs
2016-07-18  Ryan ScottMake DeriveFunctor work with unboxed tuples
2016-07-05  Simon Peyton JonesMake unique auxiliary function names in deriving
2016-05-12  RyanGlScottFix deriveTyData's kind unification when two kind varia...
2016-05-02  RyanGlScottMake validDerivPred ignore non-visible arguments to...
2016-04-11  RyanGlScottDeriving Functor-like classes should unify kind variables
2016-04-10  RyanGlScottRemove the instantiation check when deriving Generic(1)
2016-03-15  Richard EisenbergFix #11357.
2016-02-17  RyanGlScottRemove superfluous code when deriving Foldable/Traversable
2016-01-20  Ben GamariUse (&&) instead of `if` in Ix derivation
2016-01-15  RyanGlScottExpand type/kind synonyms in TyVars before deriving...
2015-12-31  Simon Peyton JonesImprove exprIsBottom
2015-12-11  Richard EisenbergAdd kind equalities to GHC.
2015-12-09  Simon Peyton JonesFix DeriveAnyClass (Trac #9968)
2015-12-04  Simon Peyton JonesFix egregious error in eta-reduction of data families
2015-09-24  Ömer Sinan AğacanFix DeriveGeneric for types with same OccName (#10487)
2015-09-23  Austin Seipptestsuite: attempt fixing fallout from 089b72f52
2015-09-22  RyanGlScottDeriveLift extension (#1830)
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-25  Simon Peyton JonesImprove kind-checking for 'deriving' clauses
2015-04-22  Edward Z. YangDon't use self {-# SOURCE #-} import in test-cases.
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2014-12-02  Simon Peyton JonesUnique-ify the names of top-level auxiliary bindings...
2014-12-02  Simon Peyton JonesFix another bug in deriving( Data ) for data families...
2014-10-18  Michael KargRemove obsolete Data.OldTypeable (#9639)
2014-07-24  Simon Peyton JonesUse the right kinds on the LHS in 'deriving' clauses
2014-06-06  Sjoerd VisscherAdded testcase for #9069
2014-05-26  Simon Peyton JonesFix yet another bug in 'deriving' for polykinded classe...
2014-04-19  Herbert Valerio... Fold template-haskell.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-gmp.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold integer-simple.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold base.git into ghc.git (re #8545)
2014-04-19  Herbert Valerio... Fold ghc-prim.git into ghc.git (re #8545)
2014-04-08  Simon Peyton JonesTest Trac #8963
2014-04-05  Richard EisenbergAdd test case for #8950.
2014-03-23  Simon Peyton JonesTest Trac #8893
2014-03-14  Richard EisenbergRecharacterize test according to discussion in #8851.
2014-03-10  Simon Peyton JonesUnify, rather than match, in GND processing (fixes...
2014-03-07  Simon Peyton JonesMake -XDeriveFunctor more generous about non-last argum...
2014-03-07  Richard EisenbergTest #8851.
2014-02-09  Richard EisenbergFix #8758 by assuming RankNTypes when checking GND...
2014-02-09  Richard EisenbergMove test case for #8631 to the correct directory.
2014-01-12  Herbert Valerio... Fold testsuite.git into ghc.git (re #8545)
2013-10-02  Reid BartonMark those tests which depend on libraries not built...
2013-09-18  Richard EisenbergUpdate to tests due to change in syntax for role annota...
2013-08-16  Richard EisenbergAdd testcase for #8138
2013-08-04  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-02  Richard EisenbergMerge branch 'master' of ssh://darcs.haskell.org/srv...
2013-08-02  Richard EisenbergAdd tests for roles.
2013-03-08  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-03-08  Jose Pedro MagalhaesAdd a test for AutoDeriveTypeable
2013-03-08  Jose Pedro MagalhaesAdd test for T7704
2013-02-21  Jose Pedro MagalhaesTest #7710
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-12  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-02-12  Jose Pedro MagalhaesImplement poly-kinded Typeable
2013-01-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2013-01-22  Ian LynaghAdd a test for #1133
2012-04-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-04-25  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-04-24  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-04-24  Simon Peyton JonesTest Trac #6031
2012-04-23  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org//testsuite
2012-04-22  Simon Peyton JonesTest Trac #6031
2012-04-13  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
2012-01-16  Simon Peyton JonesMerge branch 'master' of darcs.haskell.org/testsuite
next