summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Utils/Monad.hs
Commit message (Expand)AuthorAgeFilesLines
* Correctly report SrcLoc of redundant constraintssheaf2022-04-081-1/+1
* Make typechecking unfoldings from interfaces lazierMatthew Pickering2022-02-261-20/+10
* Kill derived constraintsRichard Eisenberg2022-02-231-4/+4
* Track object file dependencies for TH accurately (#20604)Zubin Duggal2022-02-201-7/+15
* Improve errors for non-existent labelsSimon Peyton Jones2022-02-041-1/+1
* Define and use restoreLclEnvSimon Peyton Jones2022-01-271-29/+67
* Multiple Home UnitsMatthew Pickering2021-12-281-6/+6
* More support for optional home-unitSylvain Henry2021-11-201-4/+4
* Generalize the type of wrapLocSndMAVladislav Zavialov2021-11-031-4/+13
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-021-1/+1
* Be more careful about retaining KnotVarsMatthew Pickering2021-10-121-1/+1
* Add defaulting plugins.Andrei Barbu2021-10-081-0/+1
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-18/+24
* Add rewriting to typechecking pluginssheaf2021-08-131-1/+3
* Inline less logging codeSimon Peyton Jones2021-07-281-23/+35
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-4/+5
* Make withException use SDocContext instead of DynFlagsSylvain Henry2021-07-011-4/+3
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-281-97/+76
* Make Logger independent of DynFlagsSylvain Henry2021-06-071-29/+25
* Driver Rework PatchMatthew Pickering2021-06-031-1/+6
* Introduce Strict.Maybe, Strict.Pair (#19156)Vladislav Zavialov2021-05-231-1/+2
* Extensible Hints for diagnostic messagesAlfredo Di Napoli2021-05-201-3/+3
* Add some TcRn diagnostic messagesAlfredo Di Napoli2021-05-191-1/+20
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+0
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-0/+1
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-291-34/+40
* Move 'nextWrapperNum' into 'DsM' and 'TcM'Fendor2021-04-221-1/+3
* Make updTcRef force the resultMatthew Pickering2021-04-081-2/+1
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-3/+2
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-011-3/+6
* Move the EPS into UnitEnvSylvain Henry2021-04-011-1/+4
* Encapsulate the EPS IORef in a newtypeSylvain Henry2021-04-011-3/+3
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-80/+68
* Refactor interface loadingSylvain Henry2021-03-261-15/+7
* Implement -Wmissing-kind-signaturesOleg Grenrus2021-03-251-0/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-2/+32
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-0/+2
* Fix leaks of the HscEnv with quick flavour (#19356)Sylvain Henry2021-03-031-3/+5
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-26/+44
* Refactor LoggerSylvain Henry2021-02-131-20/+26
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-011-16/+24
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-011-9/+9
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-011-48/+48
* Parameterise Messages over eAlfredo Di Napoli2021-01-221-31/+28
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-091-9/+6
* Implement Unique supply with Addr# atomic primopSylvain Henry2021-01-051-1/+0
* Kill floatEqualities completelySimon Peyton Jones2020-12-201-1/+1
* Move Unit related fields from DynFlags to HscEnvSylvain Henry2020-12-141-12/+10
* Remove flattening variablesRichard Eisenberg2020-12-011-4/+14
View Lorry Controller Status