summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl/Instance.hs
Commit message (Expand)AuthorAgeFilesLines
* Add the Unsatisfiable classsheaf2023-04-291-4/+36
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-011-3/+3
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-1/+1
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-1/+1
* Introduce warning for loopy superclass solvesheaf2023-02-141-0/+14
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-84/+120
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-3/+2
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-10/+9
* Use TcRnDiagnostic in GHC.Tc.TyCl.Instance (#20117)Giles Anderson2022-11-091-48/+8
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-1/+2
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-2/+2
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-271-1/+1
* Scrub partiality about `NewOrData`.M Farkas-Dyck2022-09-191-12/+8
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-2/+2
* Add diagnostic codessheaf2022-09-131-7/+7
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-291-3/+3
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-1/+1
* hie-files: Record location of filled in default method bindingsZubin Duggal2022-07-131-5/+6
* Prune L.H.S modules of GHC dependenciesromes2022-07-061-1/+1
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-2/+2
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-1/+1
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-16/+12
* Kill derived constraintsRichard Eisenberg2022-02-231-1/+2
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-58/+84
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Use local instances with least superclass depthRichard Eisenberg2021-11-121-3/+3
* Improve redundant-constraints warningRichard Eisenberg2021-11-121-1/+2
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-1/+1
* Don't default type variables in type familiessheaf2021-10-261-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-3/+7
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-291-9/+12
* GHC.Tc.Gen Diagnostics Conversion (Part 1)Aaron Allen2021-08-271-1/+1
* Fix a few retainer leaks of TcGblEnvMatthew Pickering2021-07-231-1/+2
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-14/+22
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-3/+2
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-1/+2
* Fix newtype eta-reductionSimon Peyton Jones2021-05-071-0/+17
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-2/+2
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-4/+4
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-7/+6
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-28/+34
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-6/+9
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-1/+1
* Refactor LoggerSylvain Henry2021-02-131-1/+3
View Lorry Controller Status