summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen/Head.hs
Commit message (Expand)AuthorAgeFilesLines
* linear types: Don't add external names to the usage envKrzysztof Gogolewski2023-05-041-2/+2
* Handle ConcreteTvs in inferResultToTypewip/T23153sheaf2023-04-151-1/+1
* Handle records in the renamersheaf2023-03-291-36/+5
* Scrub some no-warning pragmas.M Farkas-Dyck2022-11-231-2/+0
* Type vs Constraint: finally nailedSimon Peyton Jones2022-11-111-27/+33
* Allow configuration of error message printingMatthew Pickering2022-10-181-3/+2
* Fix typosEric Lindblad2022-09-141-1/+1
* Add diagnostic codessheaf2022-09-131-1/+1
* Implement DeepSubsumptionSimon Peyton Jones2022-07-251-6/+10
* HsToken for @-patterns and TypeApplications (#19623)Vladislav Zavialov2022-06-201-10/+13
* Typecheck remaining ValArgs in rebuildHsAppssheaf2022-06-091-86/+368
* TTG: Rework and improve splicesromes2022-06-011-1/+1
* Comments only: Note [AppCtxt]Simon Peyton Jones2022-05-061-2/+36
* Improve error reporting in generated codeSimon Peyton Jones2022-05-041-13/+15
* Convert More Diagnostics (#20116)Ben Gamari2022-04-301-25/+7
* Docs: datacon eta-expansion, rep-poly checkssheaf2022-04-081-13/+30
* Fix isLiftedType_maybe and handle falloutsheaf2022-03-141-11/+8
* 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
View Lorry Controller Status