summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/TyCl.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-291-1/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Never Anyify during kind inferenceRichard Eisenberg2021-01-091-16/+67
* Refactor renamer datastructuresAdam Gundry2020-12-241-3/+2
* Implement type applications in patternsCale Gibbard2020-12-141-2/+2
* Fix kind inference for data types. Again.Simon Peyton Jones2020-12-081-181/+288
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-81/+89
* Split HsConDecl{H98,GADT}DetailsRyan Scott2020-10-301-30/+60
* Remove unnecessary gender from comments/docsRichard Eisenberg2020-10-291-1/+1
* Check for large tuples more thoroughlywip/T18723Ryan Scott2020-10-291-1/+2
* Split GHC.Driver.TypesSylvain Henry2020-10-291-14/+24
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-1/+1
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-31/+35
* Preserve as-parsed arrow type for HsUnrestrictedArrowAlan Zimmerman2020-10-071-2/+18
View Lorry Controller Status