summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-011-3/+6
* Move the EPS into UnitEnvSylvain Henry2021-04-011-1/+4
* Encapsulate the EPS IORef in a newtypeSylvain Henry2021-04-011-3/+3
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-311-0/+7
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-292-83/+72
* Refactor FinderCacheSylvain Henry2021-03-261-11/+34
* Refactor interface loadingSylvain Henry2021-03-262-21/+16
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-251-0/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-205-69/+106
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-0/+7
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-0/+2
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-1/+1
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-0/+4
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-9/+19
* Fix leaks of the HscEnv with quick flavour (#19356)Sylvain Henry2021-03-031-3/+5
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-012-14/+18
* Fix assertion error with linear types, #19400Krzysztof Gogolewski2021-02-271-13/+8
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-271-3/+9
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-193-84/+135
* Refactor LoggerSylvain Henry2021-02-132-23/+32
* Fix typosBrian Wignall2021-02-062-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-0/+1
* typecheck: Eliminate allocations in tc_eq_typeBen Gamari2021-02-021-13/+36
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-012-19/+27
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-011-9/+9
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-015-61/+60
* Make PatSyn immutableSimon Peyton Jones2021-01-291-3/+3
* Separate AST from GhcPass (#18936)John Ericson2021-01-231-1/+1
* Make matchableGivens more reliably correct.Richard Eisenberg2021-01-233-38/+24
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-2/+2
* Parameterise Messages over eAlfredo Di Napoli2021-01-222-34/+31
* Factorize and document binder collect functionsSylvain Henry2021-01-221-2/+2
* Remove unused extension pragmas from the compiler code baseHécate2021-01-172-2/+0
* Never Anyify during kind inferenceRichard Eisenberg2021-01-092-51/+208
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-091-9/+6
* Implement Unique supply with Addr# atomic primopSylvain Henry2021-01-051-1/+0
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-43/+59
* Put hole instantiation typechecking in the module graph and fix driver batch ...John Ericson2020-12-281-23/+32
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-252-12/+23
* Refactor renamer datastructuresAdam Gundry2020-12-242-8/+13
* Kill floatEqualities completelySimon Peyton Jones2020-12-205-228/+243
* Improve inference with linear typesKrzysztof Gogolewski2020-12-201-6/+7
* Cite "Kind Inference for Datatypes"Richard Eisenberg2020-12-181-0/+3
* Unfortunate dirty hack to overcome #18998.Richard Eisenberg2020-12-171-1/+33
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-142-1/+5
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-143-20/+16
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-142-5/+1
* Optimise nullary type constructor usageBen Gamari2020-12-142-1/+5
* Implement type applications in patternsCale Gibbard2020-12-141-4/+4
* Rename the flattener to become the rewriter.Richard Eisenberg2020-12-013-25/+3
View Lorry Controller Status