summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Validity.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Use tcSplitForAllInvisTyVars (not tcSplitForAllTyVars) in more placesRyan Scott2020-11-151-1/+1
* Name (tc)SplitForAll- functions more consistentlyRyan Scott2020-11-151-7/+7
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-5/+5
* Reject linearity in kinds in checkValidType (#18780)Krzysztof Gogolewski2020-10-021-7/+27
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-1/+1
* Disallow constraints in KindSigCtxtRyan Scott2020-09-211-40/+75
* Remove unused ThBrackCtxt and ResSigCtxtRyan Scott2020-09-211-6/+0
* Postpone associated tyfam default checks until after typecheckingRyan Scott2020-09-091-1/+64
* mkUnique refactoring (#18362)Aditya Gupta2020-08-221-1/+1
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Fix duplicated words and typos in comments and user guideJan Hrček2020-06-281-1/+1
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-8/+15
View Lorry Controller Status