summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl.hs
Commit message (Expand)AuthorAgeFilesLines
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-35/+33
* Fix TypeData issues (fixes #22315 and #22332)Ross Paterson2022-11-081-1/+2
* Add accurate skolem info when quantifyingSimon Peyton Jones2022-11-011-50/+60
* Scrub various partiality involving lists (again).M Farkas-Dyck2022-10-191-1/+1
* Clearer error msg for newtype GADTs with defaulted kindFinley McIlwaine2022-10-131-40/+18
* implement proposal 106 (Define Kinds Without Promotion) (fixes #6024)Ross Paterson2022-09-271-5/+22
* Scrub partiality about `NewOrData`.M Farkas-Dyck2022-09-191-60/+56
* Fix typosKrzysztof Gogolewski2022-09-141-1/+1
* Fix typosEric Lindblad2022-09-141-7/+7
* Add diagnostic codessheaf2022-09-131-39/+40
* tc: warn about lazy annotations on unlifted arguments (fixes #21951)Zachary Wood2022-08-191-0/+6
* EPA: DotFieldOcc does not have exact print annotationsAlan Zimmerman2022-08-111-1/+3
* Remove TCvSubst and use Subst for both term and type-level substYiyun Liu2022-08-041-10/+10
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-0/+25
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-3/+2
* Fix several note referencesKrzysztof Gogolewski2022-05-021-1/+1
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-1/+1
* Kill derived constraintsRichard Eisenberg2022-02-231-7/+3
* Refactor the escaping kind check for data constructorsSimon Peyton Jones2022-02-021-12/+60
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-234/+239
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-1/+1
* Untangled GHC.Types.Id.Make from the driverSylvain Henry2022-01-121-0/+1
* Abstract BangOptsSylvain Henry2022-01-121-8/+13
* Allow boring class declarations in hs-boot filessheaf2021-11-251-1/+9
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-1/+2
* Default kind vars in tyfams with -XNoPolyKindssheaf2021-11-081-2/+2
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-2/+2
* Don't default type variables in type familiessheaf2021-10-261-5/+5
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-16/+16
* Reject type family equation with wrong name (#20260)Krzysztof Gogolewski2021-10-051-25/+24
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-291-10/+14
* Emit warning if bang is applied to unlifted typesTito Sacchi2021-09-171-3/+11
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-1/+1
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-70/+103
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-161-4/+4
* Reword: representation instead of levitysheaf2021-06-101-9/+9
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-2/+3
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+2
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-12/+14
* 19486 Nearly all uses of `uniqCompareFS` are dubious and lack a non-determini...Sasha Bogicevic2021-05-061-0/+5
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-12/+27
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-1/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-2/+2
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-251-9/+16
* GHC Exactprint main commitAlan Zimmerman2021-03-201-28/+30
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-14/+75
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-9/+10
* Fix two places where TcGblEnv was retainedMatthew Pickering2021-02-281-1/+3
* Fix typosBrian Wignall2021-02-061-1/+1
View Lorry Controller Status