summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* More accurate SrcSpan when reporting redundant constraintswip/T19296Simon Peyton Jones2021-04-104-23/+43
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-055-23/+14
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-311-9/+79
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-298-24/+24
* Refactor FinderCacheSylvain Henry2021-03-261-1/+4
* Move loader state into InterpSylvain Henry2021-03-231-11/+10
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-1/+1
* rename Tickish to CoreTickishLuite Stegeman2021-03-201-2/+2
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-201-1/+1
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-2016-228/+272
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-33/+74
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-5/+164
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-37/+38
* DynFlags: move temp file management into HscEnv (#17957)Sylvain Henry2021-03-081-2/+3
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-4/+22
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-041-5/+10
* Add a Template Haskell warning flag -Wimplicit-liftKrzysztof Gogolewski2021-03-041-0/+6
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-013-15/+14
* Infer multiplicity in case expressionsKrzysztof Gogolewski2021-03-011-3/+1
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-012-81/+113
* Implement -Wambiguous-fieldsAdam Gundry2021-02-262-4/+46
* Move Hooks into HscEnvSylvain Henry2021-02-222-7/+15
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-194-413/+424
* Improve specialisation for imported functionsSimon Peyton Jones2021-02-181-9/+27
* Make sure HasField use counts for -Wunused-top-bindsAdam Gundry2021-02-161-0/+2
* Implement NoFieldSelectors extension (ghc-proposals 160)Adam Gundry2021-02-164-22/+19
* Refactor LoggerSylvain Henry2021-02-131-1/+3
* Fix typosBrian Wignall2021-02-064-10/+10
* Make pattern synonyms play with CallStackSimon Peyton Jones2021-02-061-2/+27
* The Char kind (#11342)Daniel Rogozin2021-02-062-0/+4
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-011-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-014-7/+7
* Zonk the returned kind in tcFamTyPatsSimon Peyton Jones2021-01-301-0/+31
* Make PatSyn immutableSimon Peyton Jones2021-01-293-18/+14
* typecheck: Account for -XStrict in irrefutability checkBen Gamari2021-01-291-6/+7
* Separate AST from GhcPass (#18936)John Ericson2021-01-233-3/+3
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-231-1/+1
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-6/+5
* Fix error recovery in solveEqualitiesSimon Peyton Jones2021-01-221-6/+15
* Factorize and document binder collect functionsSylvain Henry2021-01-223-10/+10
* Fix unsoundness for linear guards (#19120)Krzysztof Gogolewski2021-01-171-1/+2
* Missing fields: enhance error messages (#18869)Sylvain Henry2021-01-171-20/+40
* Show missing field types (#18869)Sylvain Henry2021-01-171-6/+10
* Never Anyify during kind inferenceRichard Eisenberg2021-01-092-8/+10
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-022-18/+32
* INLINE pragma for patterns (#12178)Cale Gibbard2020-12-311-2/+2
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-7/+4
* Refactor renamer datastructuresAdam Gundry2020-12-243-118/+101
* Clone the binders of a SAKS where necessarySimon Peyton Jones2020-12-241-28/+28
View Lorry Controller Status