summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Remove wired-in names hs-boot check bypass (#19855)Sylvain Henry2021-05-191-3/+0
* Changes to HsRecField'Shayne Fletcher2021-05-195-48/+48
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-192-50/+60
* Add some TcRn diagnostic messagesAlfredo Di Napoli2021-05-195-17/+147
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-1243-51/+50
* Fully remove HsVersions.hSylvain Henry2021-05-1245-92/+3
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-1235-178/+205
* Ensure assert from Control.Exception isn't usedSylvain Henry2021-05-121-1/+1
* Fix newtype eta-reductionSimon Peyton Jones2021-05-072-6/+64
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-076-96/+121
* 19486 Nearly all uses of `uniqCompareFS` are dubious and lack a non-determini...Sasha Bogicevic2021-05-061-0/+5
* Persist CorePrepProv into IfaceUnivCoProvSimon Peyton Jones2021-05-042-2/+2
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-305-30/+70
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-297-21/+16
* 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
View Lorry Controller Status