summaryrefslogtreecommitdiff
path: root/compiler/GHC/Tc/Gen
Commit message (Expand)AuthorAgeFilesLines
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-131-8/+7
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-111-1/+1
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-9/+8
* Add a Typeable constraint to fromStaticPtr, addressing #19729David Simmons-Duffin2021-08-101-5/+2
* Use Reductions to keep track of rewritingssheaf2021-08-042-25/+33
* Catch type-checker exceptions when splicingSimon Peyton Jones2021-08-021-4/+10
* Make CallStacks work better with RebindableSyntaxSimon Peyton Jones2021-07-271-4/+4
* Introduce FinderLocations for decoupling Finder from DynFlagsFendor2021-07-231-1/+3
* Make TmpFs independent of DynFlagsSylvain Henry2021-07-191-1/+1
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-2/+3
* Use HsExpansion for overloaded list patternssheaf2021-06-291-15/+10
* Try to simplify zoo of functions in `Tc.Utils.Monad`Alfredo Di Napoli2021-06-2814-175/+267
* Suggest similar names when reporting types in terms (#19978)Vladislav Zavialov2021-06-251-25/+33
* Fix typo in Note [Quick Look for particular Ids]Viktor Dukhovni2021-06-231-1/+1
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Put tracing functions into their own moduleSylvain Henry2021-06-221-8/+15
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-161-1/+1
* Reword: representation instead of levitysheaf2021-06-101-1/+1
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-085-7/+10
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-1/+2
* Driver Rework PatchMatthew Pickering2021-06-031-1/+3
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-234-10/+10
* Change representation of field selector occurencesShayne Fletcher2021-05-233-236/+52
* Remove Maybe from Context in HsQualTyAlan Zimmerman2021-05-212-7/+7
* Changes to HsRecField'Shayne Fletcher2021-05-192-33/+33
* Add some TcRn diagnostic messagesAlfredo Di Napoli2021-05-192-9/+4
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-1210-10/+9
* Fully remove HsVersions.hSylvain Henry2021-05-1210-21/+1
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-126-26/+31
* Ensure assert from Control.Exception isn't usedSylvain Henry2021-05-121-1/+1
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-072-90/+110
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-294-14/+11
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-292-5/+65
* Worker/wrapper: Consistent namesSebastian Graf2021-04-201-1/+1
* 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-124-23/+43
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-055-23/+14
* The result kind of a signature can't mention quantified varsSimon Peyton Jones2021-03-311-9/+79
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-298-24/+24
* Refactor FinderCacheSylvain Henry2021-03-261-1/+4
* Move loader state into InterpSylvain Henry2021-03-231-11/+10
* 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-2016-228/+272
* Implement the UnliftedDatatypes extensionSebastian Graf2021-03-141-33/+74
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-5/+164
* Fixes to dealing with the export of mainSimon Peyton Jones2021-03-091-37/+38
View Lorry Controller Status