summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcGenGenerics.hs
Commit message (Expand)AuthorAgeFilesLines
* Change the warning in substTy back to an assertionKrzysztof Gogolewski2019-03-111-1/+1
* Taming the Kind Inference MonsterSimon Peyton Jones2018-11-291-1/+1
* Finish fix for #14880.Tobias Dammers2018-10-281-2/+2
* Fix #15012 with a well-placed use of AnyRyan Scott2018-04-191-1/+35
* compiler: introduce custom "GhcPrelude" PreludeHerbert Valerio Riedel2017-09-191-0/+2
* Udate hsSyn AST to use Trees that GrowAlan Zimmerman2017-06-061-15/+17
* Use lengthIs and friends in more placesRyan Scott2017-06-021-3/+3
* Deriving for phantom and empty typesDavid Feuer2017-03-301-10/+5
* TH-spliced class instances are pretty-printed incorrectly post-#3384Alan Zimmerman2017-02-101-3/+6
* Add HsSyn prettyprinter testsAlan Zimmerman2016-12-071-6/+6
* Refactor TcDeriv and TcGenDerivRyan Scott2016-10-061-0/+1
* Bring comments in TcGenGenerics up to dateRyan Scott2016-07-151-2/+4
* Make unique auxiliary function names in derivingSimon Peyton Jones2016-07-051-24/+25
* Refactor derived Generic instances to reduce allocationsRyan Scott2016-06-191-6/+77
* Major patch to introduce TyConBinderSimon Peyton Jones2016-06-151-4/+16
* Merge MatchFixity and HsMatchContextAlan Zimmerman2016-06-061-2/+2
* Make Generic1 poly-kindedRyanGlScott2016-05-121-32/+82
* Remove some gratitious varSetElemsWellScopedBartosz Nitka2016-04-151-6/+6
* Remove the instantiation check when deriving Generic(1)RyanGlScott2016-04-101-73/+105
* Fix #11357.Richard Eisenberg2016-03-151-9/+20
* s/unLifted/unlifted for consistencyÖmer Sinan Ağacan2016-01-271-1/+1
* Replace calls to `ptext . sLit` with `text`Jan Stolarek2016-01-181-3/+3
* Work SourceText in for all integer literalsAlan Zimmerman2016-01-161-3/+3
* Restore old GHC generics behavior vis-à-vis FixityRyanGlScott2016-01-061-11/+7
* Encode strictness in GHC generics metadataRyanGlScott2015-12-211-20/+52
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-16/+15
* Use TypeLits in the meta-data encoding of GHC.GenericsRyanGlScott2015-12-071-229/+80
* Fix interaction of DuplicateRecordFields and GHC.GenericsAdam Gundry2015-11-191-2/+2
* Generate Typeable info at definition sitesBen Gamari2015-10-301-21/+20
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-20/+21
* Generate Typeable info at definition sitesBen Gamari2015-10-291-21/+20
* Implement DuplicateRecordFieldsAdam Gundry2015-10-161-1/+1
* Rename package key to unit ID, and installed package ID to component ID.Edward Z. Yang2015-10-141-2/+2
* Move orphan instance/rule warnings to typechecker/desugarer.Edward Z. Yang2015-10-081-13/+10
* Make GHC generics capable of handling unboxed typesRyanGlScott2015-10-031-32/+100
* Fix DeriveGeneric for types with same OccName (#10487)Ömer Sinan Ağacan2015-09-241-27/+25
* Use a Representaional coercion for data familiesSimon Peyton Jones2015-06-261-1/+1
* Add packageName to GHC.Generics.DatatypeOleg Grenrus2015-02-051-2/+6
* API Annotations tweaks.Alan Zimmerman2015-01-161-1/+1
* compiler: de-lhs typecheck/Austin Seipp2014-12-031-0/+883
View Lorry Controller Status