summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Module.hs
Commit message (Expand)AuthorAgeFilesLines
* compiler: occEnvElts -> nonDetOccEnvEltsBen Gamari2021-09-291-2/+2
* compiler: Rewrite all eltsUFM occurrences to nonDetEltsUFMBen Gamari2021-09-291-1/+1
* TH stage restriction check for constructors, selectors, and class methodsAndrea Condoluci2021-09-291-4/+6
* Add rewriting to typechecking pluginssheaf2021-08-131-7/+12
* Refactoring module dependenciesSylvain Henry2021-08-131-1/+2
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-2/+2
* Use Reductions to keep track of rewritingssheaf2021-08-041-2/+3
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-1/+3
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-19/+32
* Converts diagnostics for two errors in Ghc.Tc.Module (#19926)Aaron Allen2021-06-231-7/+2
* Reword: representation instead of levitysheaf2021-06-101-1/+2
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-5/+4
* Specify the reason for import for the backpack's extra importsDivam2021-06-021-4/+8
* Extensible Hints for diagnostic messagesAlfredo Di Napoli2021-05-201-2/+2
* Remove wired-in names hs-boot check bypass (#19855)Sylvain Henry2021-05-191-3/+0
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-11/+9
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-7/+8
* Bring tcTyConScopedTyVars into scope in tcClassDecl2Ryan Scott2021-04-301-5/+10
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-15/+21
* More accurate SrcSpan when reporting redundant constraintsSimon Peyton Jones2021-04-121-2/+2
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-3/+2
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-011-2/+2
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-311-1/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-17/+17
* GHC Exactprint main commitAlan Zimmerman2021-03-201-25/+26
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-7/+10
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-303/+317
* Fix two places where TcGblEnv was retainedMatthew Pickering2021-02-281-3/+4
* Ensure tcg_env is up-to-date when running typechecker pluginsalexbiehl2021-02-221-4/+8
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-1/+1
* Fix a serious bug in roughMatchTcsSimon Peyton Jones2021-02-131-1/+2
* Refactor LoggerSylvain Henry2021-02-131-4/+6
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-011-12/+12
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-011-1/+1
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-12/+12
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-13/+14
* Factorize and document binder collect functionsSylvain Henry2021-01-221-4/+4
* Use captureTopConstraints at top levelSimon Peyton Jones2021-01-171-4/+6
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-091-2/+2
* Establish invariant (GivenInv)Simon Peyton Jones2021-01-021-2/+3
* Refactor renamer datastructuresAdam Gundry2020-12-241-7/+7
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-141-6/+7
* Move Plugins into HscEnv (#17957)Sylvain Henry2020-11-211-19/+20
* Replace HsImplicitBndrs with HsOuterTyVarBndrsRyan Scott2020-11-061-7/+7
* Expand type synonyms with :kind!Simon Peyton Jones2020-11-021-6/+7
* Display results of GHC.Core.Lint.lint* functions consistentlyRyan Scott2020-11-021-5/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-3/+3
* Split GHC.Driver.TypesSylvain Henry2020-10-291-51/+76
* API Annotations: Keep track of unicode for linear arrow notationwip/az/unicode-hsscaledAlan Zimmerman2020-10-201-1/+1
View Lorry Controller Status