summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* Allow visible type application for levity-poly data conswip/T18481Simon Peyton Jones2021-05-065-68/+185
* Replace (ptext .. sLit) with `text`Sylvain Henry2021-04-292-5/+5
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-4/+163
* Add GhcMessage and ancillary typesAlfredo Di Napoli2021-04-294-11/+43
* Move 'nextWrapperNum' into 'DsM' and 'TcM'Fendor2021-04-223-6/+17
* Fix some negation issues when creating FractionalLitMatthew Pickering2021-04-141-1/+3
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-2/+1
* Compute Severity of diagnostics at birthAlfredo Di Napoli2021-04-011-3/+4
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-297-52/+52
* Refactor FinderCacheSylvain Henry2021-03-261-2/+9
* Move loader state into InterpSylvain Henry2021-03-231-3/+4
* Fix an levity-polymorphism errorSimon Peyton Jones2021-03-202-89/+95
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-203-1/+3
* rename Tickish to CoreTickishLuite Stegeman2021-03-202-7/+7
* remove superfluous 'id' type parameter from GenTickishLuite Stegeman2021-03-202-5/+5
* Save the type of breakpoints in the Breakpoint tick in STGLuite Stegeman2021-03-201-1/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-2015-232/+250
* Pmc: Consider Required Constraints when guessing PatSyn arg types (#19475)Sebastian Graf2021-03-142-117/+182
* template-haskell: Add putDoc, getDoc, withDecDoc and friendsLuke Lau2021-03-101-26/+104
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-063-5/+22
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-053-7/+54
* Bring back COMPLETE sets filtered by result TyCon (#14422)Cale Gibbard2021-03-042-23/+64
* Use a newtype for CHeader and CStub in ForeignStubsMatthew Pickering2021-03-032-22/+23
* Add -finfo-table-map which maps info tables to source positionsMatthew Pickering2021-03-031-1/+5
* Pmc: Implement `considerAccessible` (#18610)Sebastian Graf2021-03-012-6/+85
* Wrap LHsContext in Maybe in the GHC ASTAlan Zimmerman2021-03-011-4/+5
* Fix typechecking time bug for large rationals (#15646)Andreas Klebinger2021-02-274-33/+239
* Move Hooks into HscEnvSylvain Henry2021-02-221-3/+6
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-195-143/+87
* Use target Int/Word when detecting literal overflows (#17336)Sylvain Henry2021-02-181-54/+76
* Fix #19377 by using lookupLOcc when desugaring TH-quoted ANNsRyan Scott2021-02-171-4/+7
* Refactor LoggerSylvain Henry2021-02-132-6/+9
* Fix typosBrian Wignall2021-02-061-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-062-1/+5
* FFI: Revisit fix pass small ints in foreign call wrappersStefan Schulze Frielinghaus2021-02-051-26/+5
* Introduce the DecoratedSDoc typeAlfredo Di Napoli2021-02-012-7/+7
* Rename ErrMsg into MsgEnvelopeAlfredo Di Napoli2021-02-012-3/+3
* Remove ErrDoc and MsgDocAlfredo Di Napoli2021-02-012-7/+7
* Make PatSyn immutableSimon Peyton Jones2021-01-295-24/+30
* Add explicit import lists to Data.List importsOleg Grenrus2021-01-295-5/+5
* Separate AST from GhcPass (#18936)John Ericson2021-01-232-1/+2
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-231-5/+1
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-226-25/+24
* Parameterise Messages over eAlfredo Di Napoli2021-01-223-21/+19
* Factorize and document binder collect functionsSylvain Henry2021-01-226-118/+29
* Arrows: collect evidence bindersSylvain Henry2021-01-221-3/+12
* PmCheck: Positive info doesn't imply there is an inhabitant (#18960)Sebastian Graf2021-01-171-28/+152
* Remove errShortString, cleanup error-related functionsAlfredo Di Napoli2021-01-091-4/+2
* compiler: Initialize ForeignExportsList.n_entriesBen Gamari2021-01-071-1/+4
* Make proper fixed-width number literalsSylvain Henry2021-01-021-4/+4