summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-2912-83/+184
* Eliminate unsafeEqualityProof in CorePrepSimon Peyton Jones2021-04-262-0/+2
* Move 'nextWrapperNum' into 'DsM' and 'TcM'Fendor2021-04-223-11/+17
* Worker/wrapper: Consistent namesSebastian Graf2021-04-201-1/+1
* Fix handling ze_meta_tv_env in GHC.Tc.Utils.ZonkSimon Peyton Jones2021-04-151-31/+42
* template-haskell: Run TH splices with err_vars from current contextMatthew Pickering2021-04-121-1/+5
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-1213-51/+89
* Test #19665 as expect_broken, with commentaryRichard Eisenberg2021-04-102-8/+14
* Clarify commentary around the constraint solverRichard Eisenberg2021-04-103-32/+104
* Kick out fewer equalities by thinking harderRichard Eisenberg2021-04-102-27/+44
* Tweak kick-out condition K2b to deal with LHSsRichard Eisenberg2021-04-103-52/+180
* Avoid repeated zonking and tidying of types in `relevant_bindings`Matthew Pickering2021-04-091-41/+81
* 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-0511-103/+72
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-013-195/+178
* Move the EPS into UnitEnvSylvain Henry2021-04-011-1/+4
* Encapsulate the EPS IORef in a newtypeSylvain Henry2021-04-011-3/+3
* Avoid fundep-caused loop in the typecheckerSimon Peyton Jones2021-03-314-47/+140
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-311-1/+1
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-312-9/+86
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-2920-350/+373
* Refactor FinderCacheSylvain Henry2021-03-263-13/+43
* Refactor interface loadingSylvain Henry2021-03-262-21/+16
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-253-9/+18
* Add compiler linting to CIHécate2021-03-252-4/+8
* Move loader state into InterpSylvain Henry2021-03-231-11/+10
* Short-circuit warning generation for partial type signaturesSimon Peyton Jones2021-03-221-2/+28
* 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-2035-530/+640
* Compute length only once in foldBalSylvain Henry2021-03-141-4/+11
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-141-6/+20
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-144-53/+165
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-105-14/+193
* Fix some warnings when bootstrapping with GHC 9.0Ryan Scott2021-03-091-1/+1
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-094-355/+380
* DynFlags: move temp file management into HscEnv (#17957)Sylvain Henry2021-03-081-2/+3
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-073-9/+27
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-063-13/+45
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-1/+6
* 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
* Fix leaks of the HscEnv with quick flavour (#19356)Sylvain Henry2021-03-031-3/+5
* Fix array and cleanup conversion primops (#19026)Sylvain Henry2021-03-031-21/+22
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-016-26/+26
* Infer multiplicity in case expressionsKrzysztof Gogolewski2021-03-011-3/+1
* Unify result type earlier to improve error messagesSimon Peyton Jones2021-03-018-141/+230
View Lorry Controller Status