summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Deriv
Commit message (Expand)AuthorAgeFilesLines
* 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
* Make primops for `{Int,Word}32#`John Ericson2021-01-071-3/+35
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-2/+2
* Use HsOuterExplicit in instance sigs in deriving-generated codeRyan Scott2020-12-181-8/+113
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-12/+11
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-2/+1
* Split GHC.Driver.TypesSylvain Henry2020-10-293-2/+7
* Add flags for annotating Generic{,1} methods INLINE[1] (#11068)Andrzej Rybczak2020-10-152-19/+90
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-103-12/+11
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-15/+9
* DynFlags: disentangle OutputableSylvain Henry2020-08-125-1/+5
* Filter out unreachable constructors when deriving stock instances (#16431)Brandon Chinn2020-07-293-18/+103
* Pass tc_args to gen_fnBrandon Chinn2020-07-293-32/+33
View Lorry Controller Status