summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Head.hs
Commit message (Expand)AuthorAgeFilesLines
* Kill derived constraintsRichard Eisenberg2022-02-231-4/+5
* Look through untyped TH splices in tcInferAppHead_maybeRyan Scott2022-02-091-0/+2
* Use diagnostic infrastructure in GHC.Tc.Errorssheaf2022-01-171-25/+28
* Kind TyCons: require KindSignatures, not DataKindssheaf2022-01-111-2/+2
* Check quoted TH names are in the correct namespacesheaf2022-01-041-13/+18
* Misc cleanupKrzysztof Gogolewski2021-11-251-4/+4
* Flesh out Note [The stupid context] and reference itRyan Scott2021-11-091-1/+3
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-0/+32
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-131-8/+7
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-15/+21
* Suggest similar names when reporting types in terms (#19978)Vladislav Zavialov2021-06-251-25/+33
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-4/+4
* Change representation of field selector occurencesShayne Fletcher2021-05-231-226/+44
* Add some TcRn diagnostic messagesAlfredo Di Napoli2021-05-191-3/+2
* 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/+2
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-85/+107
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-8/+9
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-4/+3
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-3/+3
* GHC Exactprint main commitAlan Zimmerman2021-03-201-22/+22
* Add a Template Haskell warning flag -Wimplicit-liftKrzysztof Gogolewski2021-03-041-0/+6
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-011-14/+16
* Implement -Wambiguous-fieldsAdam Gundry2021-02-261-2/+29
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-113/+201
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-161-0/+2
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-161-5/+13
* Make PatSyn immutableSimon Peyton Jones2021-01-291-5/+4
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-2/+1
* Refactor renamer datastructuresAdam Gundry2020-12-241-30/+15
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-1/+1
* Fall back to types when looking up data constructors (#18740)wip/ghc-18740-lookup-updateDaniel Rogozin2020-10-111-1/+23
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-9/+13
* Misc cleanupKrzysztof Gogolewski2020-10-071-3/+3
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-0/+1143
View Lorry Controller Status