summaryrefslogtreecommitdiff
path: root/compiler/typecheck/TcGenGenerics.hs
Commit message (Expand)AuthorAgeFilesLines
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1035/+0
* Modules: Types (#13009)Sylvain Henry2020-03-291-7/+7
* Modules: Core (#13009)Sylvain Henry2020-03-161-4/+4
* Make DeriveFunctor-generated code require fewer beta reductionsRyan Scott2020-03-111-1/+1
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
* Disable two warnings for files that trigger themTom Ellis2020-01-271-0/+2
* Module hierarchy: Iface (cf #13009)Sylvain Henry2020-01-061-1/+1
* Refactor some cruft in TcGenGenericsRyan Scott2019-10-071-28/+18
* Module hierarchy: Hs (#13009)Sylvain Henry2019-09-201-1/+1
* Update Wiki URLs to point to GitLabTakenobu Tani2019-03-251-1/+1
* Update Trac ticket URLs to point to GitLabRyan Scott2019-03-151-2/+2
* 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
View Lorry Controller Status