summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Validity.hs
Commit message (Expand)AuthorAgeFilesLines
* Add the Unsatisfiable classsheaf2023-04-291-1/+3
* validDerivPred: Reject exotic constraints in IrredPredsRyan Scott2023-04-171-42/+167
* Be more careful about quantificationSimon Peyton Jones2023-03-221-1/+1
* Add structured error messages for GHC.Tc.Utils.EnvTorsten Schmits2023-03-211-1/+1
* Add a missing checkEscapingKindSimon Peyton Jones2023-01-131-1/+51
* Refactor the treatment of loopy superclass dictswip/T20666Richard Eisenberg2023-01-111-260/+225
* Misc cleanupKrzysztof Gogolewski2023-01-111-1/+2
* Drop support for kind constraints.wip/p547Richard Eisenberg2022-12-241-6/+24
* checkValidInst: Don't expand synonyms when splitting sigma typesRyan Scott2022-12-151-2/+29
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-13/+7
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-30/+32
* Minor refactor around FastStringsKrzysztof Gogolewski2022-11-051-1/+2
* Use TcRnVDQInTermType in noNestedForallsContextsErr (#20115)Vladislav Zavialov2022-10-261-4/+10
* Fix typosKrzysztof Gogolewski2022-09-141-3/+3
* Fix typosEric Lindblad2022-09-141-4/+4
* Add diagnostic codessheaf2022-09-131-14/+14
* 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-2/+1
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-3/+18
* Use a class to check validity of withDictwip/withdictKrzysztof Gogolewski2022-05-271-1/+1
* Fix unification of ConcreteTvs, removing IsRefl#sheaf2022-04-281-5/+0
* Fix the free-var test in validDerivPredSimon Peyton Jones2022-04-071-57/+42
* Export (~) from Data.Type.Equality (#18862)wip/eqtycon-rnVladislav Zavialov2022-03-151-1/+3
* Introduce ConcreteTv metavariablessheaf2022-03-021-1/+4
* Kill derived constraintsRichard Eisenberg2022-02-231-12/+8
* Forbid standalone instances for built-in classessheaf2022-02-221-14/+23
* Allow HasField in quantified constraintssheaf2022-02-081-0/+4
* Refactor the escaping kind check for data constructorsSimon Peyton Jones2022-02-021-46/+4
* Rework the handling of SkolemInfoMatthew Pickering2022-01-291-1/+1
* Fix parsing & printing of unboxed sumssheaf2022-01-111-6/+14
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Misc cleanupKrzysztof Gogolewski2021-11-251-2/+2
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-26/+21
* Convert diagnostics in GHC.Tc.Validity to proper TcRnMessage.hainq2021-09-011-222/+38
* Don't look for TypeError in type family argumentssheaf2021-08-181-9/+17
* TypeError is OK on the RHS of a type synonymwip/T20181Simon Peyton Jones2021-08-151-3/+8
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-60/+103
* Tc: Allow Typeable in quantified constraintsJakob Brünker2021-06-271-0/+1
* 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/+1
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-2/+1
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-2/+2
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-1/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-6/+6
* GHC Exactprint main commitAlan Zimmerman2021-03-201-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-1/+1
* Remove some redundant validity checks.Richard Eisenberg2021-01-271-41/+10
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-2/+2
* Delete outdated Note [Kind-checking tyvar binders for associated types]Ryan Scott2020-12-111-6/+0
View Lorry Controller Status