summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Module.hs
Commit message (Expand)AuthorAgeFilesLines
* Fixes to dealing with the export of mainwip/T19397Simon Peyton Jones2021-03-081-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
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-8/+6
* Cache HomeUnit in HscEnv (#17957)Sylvain Henry2020-10-091-2/+2
* Fix typos in commentsKrzysztof Gogolewski2020-10-021-1/+1
* Use HomeUnit for main module without module declarationFendor2020-10-011-1/+1
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-8/+9
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-41/+35
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-151-7/+6
* Refactor UnitId pretty-printingSylvain Henry2020-08-261-1/+2
* Add HomeUnit typeSylvain Henry2020-08-131-7/+6
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* DynFlags: don't use sdocWithDynFlags in datacon pprSylvain Henry2020-07-301-2/+2
* Fix minimal imports dump for boot files (fix #18497)Sylvain Henry2020-07-301-1/+1
* Accumulate Haddock comments in P (#17544, #17561, #8944)Vladislav Zavialov2020-07-211-1/+1
* Improve handling of data type return kindswip/T18300Simon Peyton Jones2020-07-031-1/+9
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-3/+4
* Use HsForAllTelescope to avoid inferred, visible forallsRyan Scott2020-06-131-2/+2
* Refactor homeUnitSylvain Henry2020-06-131-2/+2
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-4/+5
* Clean up boot vs non-boot disambiguating typesJohn Ericson2020-06-041-2/+2
* Explicit SpecificityGert-Jan Bottu2020-05-211-3/+3
* Refactor hole constraints.Richard Eisenberg2020-05-061-1/+1
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Refactoring unit management codeSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-9/+9
* Do eager instantation in termsSimon Peyton Jones2020-04-221-10/+28
* Modules (#13009)Sylvain Henry2020-04-181-4/+4
* Use FailOperator in more places, define a couple datatypes (XBindStmtRn and X...Cale Gibbard2020-04-171-1/+4
View Lorry Controller Status