summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl
Commit message (Expand)AuthorAgeFilesLines
* Migrate errors to diagnostics in GHC.Tc.Modulesheaf2023-05-151-8/+16
* Don't panic in mkNewTyConRhssheaf2023-05-121-6/+14
* Fix type variable substitution in gen_Newtype_fam_instsRyan Scott2023-05-041-7/+66
* Add the Unsatisfiable classsheaf2023-04-291-4/+36
* Add structured error messages for GHC.Tc.TyCl.UtilsTorsten Schmits2023-04-071-15/+9
* Add structured error messages for GHC.Tc.TyClTorsten Schmits2023-04-012-23/+15
* Handle records in the renamersheaf2023-03-291-3/+5
* Add structured error messages for GHC.Tc.TyCl.PatSynTorsten Schmits2023-03-231-55/+22
* Add structured error messages for GHC.Tc.Utils.TcMTypeTorsten Schmits2023-03-221-5/+3
* Refactor the constraint solver pipelinewip/T23070Simon Peyton Jones2023-03-221-1/+1
* Refine the test for naughty record selectorsSimon Peyton Jones2023-03-011-36/+51
* Don't specialise incoherent instance applicationsGergő Érdi2023-02-271-1/+1
* Introduce warning for loopy superclass solvesheaf2023-02-141-0/+14
* Report family instance orphans correctlySimon Peyton Jones2023-01-271-9/+13
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-84/+120
* Only store Name in FunRhs rather than Id with knot-tied fieldsMatthew Pickering2023-01-061-1/+1
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-232-5/+2
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-115-79/+96
* 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
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-2/+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-144-7/+7
* Add diagnostic codessheaf2022-09-133-12/+12
* Minor cleanupKrzysztof Gogolewski2022-09-011-4/+3
* Use TcRnDiagnostic in GHC.Tc.TyCl.Class (#20117)Giles Anderson2022-08-292-45/+16
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-2/+4
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-042-8/+8
* Get the in-scope set right in FamInstEnv.injectiveBranchesSimon Peyton Jones2022-07-251-2/+2
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-1/+1
* hie-files: Record location of filled in default method bindingsZubin Duggal2022-07-131-5/+6
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-3/+3
* Prune L.H.S modules of GHC dependenciesromes2022-07-063-4/+4
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-202-3/+3
* TTG: Rework and improve splicesromes2022-06-011-6/+2
* TTG: Move MatchGroup Origin field and MatchGroupTc to GHC.Hswip/romes/ttg-matchgroup-originromes2022-05-261-6/+3
* Add arity to the INLINE pragmas for pattern synonymsSimon Peyton Jones2022-05-161-17/+38
* Check for uninferrable variables in tcInferPatSynDeclSimon Peyton Jones2022-05-102-21/+46
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-282-7/+5
* Remove LevityInfoKrzysztof Gogolewski2022-04-201-4/+2
* Keep track of promotion ticks in HsOpTywip/no-c-stubswip/matt-merge-batchsheaf2022-04-011-1/+1
* Fix all invalid haddock comments in the compilerZubin Duggal2022-03-291-8/+8
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-142-1/+8
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-142-20/+15
* Kill derived constraintsRichard Eisenberg2022-02-232-3/+5
* Consistently upper-case "Note ["Ben Gamari2022-02-011-1/+1
View Lorry Controller Status