summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils
Commit message (Expand)AuthorAgeFilesLines
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-292-38/+43
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-261-0/+1
* Move 'nextWrapperNum' into 'DsM' and 'TcM'Fendor2021-04-222-10/+13
* Fix handling ze_meta_tv_env in GHC.Tc.Utils.ZonkSimon Peyton Jones2021-04-151-31/+42
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-101-0/+5
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-101-1/+5
* Make updTcRef force the resultMatthew Pickering2021-04-081-2/+1
* Don't retain reference to whole TcLclEnv in SkolemTVMatthew Pickering2021-04-081-1/+2
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-3/+2
* 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
View Lorry Controller Status