summaryrefslogtreecommitdiff
path: root/testsuite/tests/deriving/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Fix computation of dfun_tvs in mkNewTypeEqnSimon Peyton Jones2017-02-212-0/+10
* Fix DeriveAnyClass (again)Simon Peyton Jones2017-02-213-0/+46
* Refactor DeriveAnyClass's instance context inferenceRyan Scott2017-02-107-1/+91
* Remove clean_cmd and extra_clean usage from .T filesThomas Miedema2017-01-221-9/+6
* Fix typos (not test relevant)Gabor Greif2016-12-211-1/+1
* Prevent GND from inferring an instance context for method-less classesRyan Scott2016-11-102-0/+10
* Allow GeneralizedNewtypeDeriving for classes with associated type familiesRyan Scott2016-11-063-0/+69
* Fix Show derivation in the presence of RebindableSyntax/OverloadedStringsRyan Scott2016-10-152-0/+16
* Make error when deriving an instance for a typeclass less misleadingRyan Scott2016-10-143-0/+24
* Fix impredicativity (again)Simon Peyton Jones2016-09-302-0/+22
* Fix derived Ix instances for one-constructor GADTsRyan Scott2016-09-112-0/+12
* Make DeriveFunctor work with unboxed tuplesRyan Scott2016-07-182-0/+8
* Fix misspellings of the word "instance" in commentsRyan Scott2016-07-181-1/+1
* Make unique auxiliary function names in derivingSimon Peyton Jones2016-07-052-1/+13
* Testsuite: tabs -> spaces [skip ci]Thomas Miedema2016-06-204-11/+11
* Fix deriveTyData's kind unification when two kind variables are unifiedRyanGlScott2016-05-122-0/+10
* Make validDerivPred ignore non-visible arguments to a class type constructorRyanGlScott2016-05-022-0/+10
* Deriving Functor-like classes should unify kind variablesRyanGlScott2016-04-113-22/+1
* Remove the instantiation check when deriving Generic(1)RyanGlScott2016-04-105-0/+59
* Fix #11357.Richard Eisenberg2016-03-152-0/+11
* Print which warning-flag controls an emitted warningMichael Walker2016-02-253-25/+25
* Testsuite: delete empty files [skip ci]Thomas Miedema2016-02-259-0/+0
* Testsuite: delete Windows line endings [skip ci] (#11631)Thomas Miedema2016-02-234-31/+31
* Remove superfluous code when deriving Foldable/TraversableRyanGlScott2016-02-172-0/+15
* Use (&&) instead of `if` in Ix derivationBen Gamari2016-01-202-0/+12
* Expand type/kind synonyms in TyVars before deriving-related typecheckingRyanGlScott2016-01-152-0/+20
* Use an Implication in 'deriving' errorSimon Peyton Jones2016-01-071-3/+5
* Improve exprIsBottomSimon Peyton Jones2015-12-311-1/+2
* Suppress warnings when compiling primitive and randomThomas Miedema2015-12-171-1/+1
* Add kind equalities to GHC.Richard Eisenberg2015-12-112-0/+10
* Fix DeriveAnyClass (Trac #9968)Simon Peyton Jones2015-12-092-0/+8
* Fix egregious error in eta-reduction of data familiesSimon Peyton Jones2015-12-043-1/+22
* Fix DeriveGeneric for types with same OccName (#10487)Ömer Sinan Ağacan2015-09-243-1/+16
* testsuite: attempt fixing fallout from 089b72f52Austin Seipp2015-09-232-2/+2
* DeriveLift extension (#1830)RyanGlScott2015-09-212-0/+7
* Improve kind-checking for 'deriving' clausesSimon Peyton Jones2015-06-253-0/+25
* Don't use self {-# SOURCE #-} import in test-cases.Edward Z. Yang2015-04-224-2/+6
* Custom `Typeable` solver, that keeps track of kinds.Iavor S. Diatchki2015-03-071-1/+1
* Major patch to add -fwarn-redundant-constraintsSimon Peyton Jones2015-01-069-7/+18
* Unique-ify the names of top-level auxiliary bindings in derived instances (Tr...Simon Peyton Jones2014-12-024-0/+23
* Fix another bug in deriving( Data ) for data families; Trac #4896Simon Peyton Jones2014-12-022-0/+21
* Remove obsolete Data.OldTypeable (#9639)Michael Karg2014-10-183-30/+0
* Complete work on new OVERLAPPABLE/OVERLAPPING pragmas (Trac #9242)Simon Peyton Jones2014-07-312-4/+3
* Use the right kinds on the LHS in 'deriving' clausesSimon Peyton Jones2014-07-242-0/+13
* Added testcase for #9069Sjoerd Visscher2014-06-062-0/+10
* Add missing test file T7269Simon Peyton Jones2014-05-261-0/+13
* Fix yet another bug in 'deriving' for polykinded classes (Trac #7269)Simon Peyton Jones2014-05-261-0/+1
* Normalize GHC Trac URLsHerbert Valerio Riedel2014-04-191-1/+1
* Test Trac #8963Simon Peyton Jones2014-04-082-0/+10
* Add test case for #8950.Richard Eisenberg2014-04-052-0/+19
View Lorry Controller Status