summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Deriv
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-115-43/+59
* Minor SDoc-related cleanupKrzysztof Gogolewski2022-10-281-19/+17
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-192-8/+10
* DeriveFunctor: Check for last type variables using dataConUnivTyVarsRyan Scott2022-09-183-22/+82
* Clean up some. In particular:M Farkas-Dyck2022-09-171-1/+3
* Fix typosEric Lindblad2022-09-142-2/+2
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-112-4/+9
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-043-8/+8
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-3/+2
* Refactor ModuleName to L.H.S.Module.Nameromes2022-07-031-2/+2
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-2/+2
* TTG: Rework and improve splicesromes2022-06-011-3/+3
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-3/+3
* Minor cleanupKrzysztof Gogolewski2022-04-011-2/+2
* Fix and simplify DeriveAnyClass's context inference using SubTypePredSpecRyan Scott2022-03-243-247/+425
* Revamp derived Eq instance code generation (#17240)nineonine2022-03-201-59/+82
* TTG: Refactor bracket for desugaring during tcromes2022-03-181-1/+1
* Separate constructors for typed and untyped bracketsromes2022-03-181-5/+5
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-142-2/+2
* Refactor tcDeriving to generate tyfam insts before any bindingsRyan Scott2022-03-115-166/+198
* Delete GenericKind_ in favor of GenericKind_DCRyan Scott2022-03-071-71/+66
* Suggestions due to hlintMatthew Pickering2022-02-241-2/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-11/+6
* Fix some notesMatthew Pickering2022-02-081-1/+1
* Rework the handling of SkolemInfoMatthew Pickering2022-01-292-7/+12
* DeriveGeneric: look up datacon fixities using getDataConFixityFunRyan Scott2022-01-252-19/+21
* Use primOpIds cache more often (#20857)Sylvain Henry2022-01-061-1/+1
* Don't use implicit lifting when deriving LiftMatthew Pickering2021-11-251-8/+20
* Instantiate field types properly in stock-derived instancesRyan Scott2021-11-155-227/+329
* Refactoring: Consolidate some arguments with DerivInstTysRyan Scott2021-11-154-123/+127
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-093-7/+7
* deriving: infer DatatypeContexts from data constructors, not type constructorRyan Scott2021-11-091-13/+24
* Change CaseAlt and LambdaExpr to FunRhs in deriving Foldable and Traversable ...Artyom Kuznetsov2021-10-261-3/+8
* Eradicate TcRnUnknownMessage from GHC.Tc.DerivAlfredo Di Napoli2021-10-052-120/+88
* Make GHC.Utils.Error.Validity type polymorphicAlfredo Di Napoli2021-10-051-1/+1
* deriving: Always use module prefix in dataTypeNameMatthew Pickering2021-09-181-1/+6
* Make Int64#/Word64# unconditionally availableJohn Ericson2021-08-191-3/+0
* Add Word64#/Int64# primopsSylvain Henry2021-07-151-1/+21
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Split GHC.Utils.Monad.State into .Strict and .LazyBen Gamari2021-05-291-1/+1
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-124-4/+4
* Fully remove HsVersions.hSylvain Henry2021-05-124-8/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-123-16/+19
* GHC Exactprint main commitAlan Zimmerman2021-03-204-77/+85
* Compute length only once in foldBalSylvain Henry2021-03-141-4/+11
* Fix array and cleanup conversion primops (#19026)Sylvain Henry2021-03-031-21/+22
* Fix typosBrian Wignall2021-02-061-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-1/+1
* Enhance Data instance generationSylvain Henry2021-01-221-6/+6
* When deriving Eq always use tag based comparisons for nullary constructorsAndreas Klebinger2021-01-221-215/+169
View Lorry Controller Status