TcTypeable: Try to reuse KindReps
[ghc.git] / testsuite / tests / deriving /
2017-03-01  Simon Peyton JonesImprove pretty-printing of types
2017-02-28  Simon Peyton JonesThe Early Inline Patch
2017-02-22  Tamar ChristinaFix all broken perf tests on x64 Windows
2017-02-21  Simon Peyton JonesFix computation of dfun_tvs in mkNewTypeEqn
2017-02-21  Simon Peyton JonesFix DeriveAnyClass (again)
2017-02-18  Ben GamariType-indexed Typeable
2017-02-10  Ryan ScottRefactor DeriveAnyClass's instance context inference
2017-02-01  Luke MaurerJoin points
2017-01-30  Phil RuffwindFix broken tests
2017-01-24  Ben GamariBump Win32 version.
2017-01-23  Gabor GreifTypos and grammar in manual/comments
2017-01-22  Thomas MiedemaRemove clean_cmd and extra_clean usage from .T files
2017-01-19  Richard EisenbergUpdate levity polymorphism
2016-12-21  Gabor GreifFix typos (not test relevant)
2016-11-29  Sylvain HenryReplace -fshow-source-paths with -fhide-source-paths
2016-11-12  Sylvain HENRYMake default output less verbose (source/object paths)
2016-11-10  Ryan ScottPrevent GND from inferring an instance context for...
2016-11-06  Ryan ScottAllow GeneralizedNewtypeDeriving for classes with assoc...
2016-11-03  Ben Gamaritestsuite: Update T10858 allocations
2016-10-17  Ben Gamaritestsuite: Mark T10858 as broken on Windows
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-10-02  Ryan ScottDisallow standalone deriving declarations involving...
2016-10-01  Ryan ScottImplement deriving strategies
2016-09-30  Simon Peyton JonesFix impredicativity (again)
2016-09-11  Ryan ScottFix derived Ix instances for one-constructor GADTs
2016-09-05  Petr ProkhorenkovMake generated Ord instances smaller (per #10858).
2016-09-05  mniipLess scary arity mismatch error message when deriving
2016-07-18  Ryan ScottMake DeriveFunctor work with unboxed tuples
2016-07-18  Ryan ScottFix misspellings of the word "instance" in comments
2016-07-05  Simon Peyton JonesMake unique auxiliary function names in deriving
2016-06-22  Simon Peyton JonesTest Trac #12163
2016-06-20  Thomas MiedemaTestsuite: mark tests expect broken
2016-06-20  Thomas MiedemaTestsuite: tabs -> spaces [skip ci]
2016-06-20  Thomas MiedemaTestsuite: remove Windows CR [skip ci]
2016-06-13  Simon Peyton JonesImprove typechecking of let-bindings
2016-05-24  Thomas MiedemaTestsuite: delete drvfail015.stderr-7.0 [skip ci]
2016-05-12  RyanGlScottFix deriveTyData's kind unification when two kind varia...
2016-05-02  RyanGlScottMake validDerivPred ignore non-visible arguments to...
2016-04-28  Simon Peyton JonesMinor improvement to error message
2016-04-26  Thomas MiedemaTestsuite: fixup lots of tests
2016-04-20  Simon Peyton JonesSCC analysis for instances as well as types/classes
2016-04-11  RyanGlScottDeriving Functor-like classes should unify kind variables
2016-04-10  RyanGlScottRemove the instantiation check when deriving Generic(1)
2016-03-24  Ben GamariShow: Restore redundant parentheses around records
2016-03-15  Richard EisenbergFix #11357.
2016-02-25  Michael WalkerPrint which warning-flag controls an emitted warning
2016-02-25  Thomas MiedemaTestsuite: delete empty files [skip ci]
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-23  Thomas MiedemaTestsuite: accept output without Windows line endings...
2016-02-23  Thomas MiedemaTestsuite: delete Windows line endings [skip ci] (...
2016-02-20  Takayuki MuranushiAdd test (only) to assure that #11535 is fixed
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...
2016-01-07  Simon Peyton JonesUse an Implication in 'deriving' error
2016-01-07  Simon Peyton JonesTidy up tidySkolemInfo
2015-12-31  Simon Peyton JonesImprove exprIsBottom
2015-12-17  Thomas MiedemaSuppress warnings when compiling primitive and random
2015-12-17  Simon Peyton JonesRemove unused T10524.stderr
2015-12-15  Ben GamariNarrow scope of special-case for unqualified printing...
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-12-01  Simon Peyton JonesRefactor treatment of wildcards
2015-11-13  Simon MarlowMake 'error' include the CCS call stack when profiled
2015-10-30  Ben GamariGenerate Typeable info at definition sites
2015-10-29  Ben GamariRevert "Generate Typeable info at definition sites"
2015-10-29  Ben GamariGenerate Typeable info at definition sites
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-09-22  Eric Seidelbase: use Show for ErrorCall in uncaughtExceptionHandler
2015-09-02  Eric SeidelUse IP based CallStack in error and undefined
2015-07-30  John WiegleyImprove error message for newtypes and deriving clauses
2015-07-16  RyanGlScottDeriveFoldable for data types with existential constrai...
2015-07-13  Thomas MiedemaTestsuite: delete remaining only_compiler_types(['ghc...
2015-07-05  Thomas MiedemaRemove all *.stderr/stdout-hugs files
2015-06-28  Ben GamariAdd -fcross-module-specialise flag
2015-06-26  Simon Peyton JonesTest Trac #10524
2015-06-26  Simon Peyton JonesImprove error message for Typeable k (T k)
2015-06-25  Simon Peyton JonesImprove kind-checking for 'deriving' clauses
2015-06-18  Simon Peyton JonesRemove some horrible munging of origins for Coercible
2015-04-22  Edward Z. YangDon't use self {-# SOURCE #-} import in test-cases.
2015-04-07  Simon Peyton JonesError msg wibbles from reduced module prefixes
2015-04-07  Thomas MiedemaTypechecker: refactoring only
2015-03-23  Richard EisenbergDo proper depth checking in the flattener to avoid...
2015-03-07  Iavor S. DiatchkiCustom `Typeable` solver, that keeps track of kinds.
2015-03-04  Simon Peyton JonesThree other test updates following the fix to Trac...
2015-03-03  Thomas MiedemaPretty-print # on unboxed literals in core
2015-03-02  Thomas MiedemaShow record construction/update without parens
2015-02-23  Thomas MiedemaShow '#' on unboxed literals
2015-02-23  Thomas MiedemaError out on `Main` without `main` in GHCi (#7765)
2015-01-06  Simon Peyton JonesMajor patch to add -fwarn-redundant-constraints
2015-01-06  Simon Peyton JonesPrint singleton consraints without parens
2015-01-06  Simon Peyton JonesModify a couple of error messages slightly
2014-12-23  Simon Peyton JonesAttempt to improve cleaning
2014-12-23  Simon Peyton JonesEliminate so-called "silent superclass parameters"
2014-12-12  Richard EisenbergRewrite `Coercible` solver
2014-12-02  Simon Peyton JonesUnique-ify the names of top-level auxiliary bindings...
next