summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc
Commit message (Expand)AuthorAgeFilesLines
* Fix typo in Note [Quick Look for particular Ids]Viktor Dukhovni2021-06-231-1/+1
* Converts diagnostics for two errors in Ghc.Tc.Module (#19926)Aaron Allen2021-06-233-7/+25
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-223-28/+37
* Fix error message for record updates, #19972Krzysztof Gogolewski2021-06-161-1/+1
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-162-5/+5
* Reword: representation instead of levitysheaf2021-06-1011-27/+29
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-087-86/+20
* Make Logger independent of DynFlagsSylvain Henry2021-06-076-46/+38
* Fix #19682 by breaking cycles in DerivedsRichard Eisenberg2021-06-0510-569/+824
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-036-30/+104
* Driver Rework PatchMatthew Pickering2021-06-032-2/+9
* Specify the reason for import for the backpack's extra importsDivam2021-06-021-4/+8
* Fail before checking instances in checkHsigIface if exports don't match (#19244)Zubin Duggal2021-06-021-0/+9
* Use GHC's State monad consistentlyBen Gamari2021-05-291-1/+1
* Split GHC.Utils.Monad.State into .Strict and .LazyBen Gamari2021-05-291-1/+1
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-2912-1925/+2028
* Change representation of HsGetField and HsProjectionShayne Fletcher2021-05-271-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-237-20/+20
* Introduce Strict.Maybe, Strict.Pair (#19156)Vladislav Zavialov2021-05-232-3/+5
* Change representation of field selector occurencesShayne Fletcher2021-05-235-241/+55
* Remove Maybe from Context in HsQualTyAlan Zimmerman2021-05-212-7/+7
* Only suggest names that make sense (#19843)Jakob Brünker2021-05-211-7/+59
* Add exports to GHC.Tc.Errors.Hole (fixes #19864)Matthías Páll Gissurarson2021-05-202-107/+153
* Extensible Hints for diagnostic messagesAlfredo Di Napoli2021-05-203-5/+20
* 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
View Lorry Controller Status