summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* Canonicalize bignum literalsSylvain Henry2021-09-113-26/+51
* Add and use new constructors to TcRnMessageAlfredo Di Napoli2021-09-071-1/+1
* Desugarer: Bring existentials in scope when substituting into record GADTsRyan Scott2021-08-251-3/+11
* Pmc: Better SCC annotations and trace outputSebastian Graf2021-08-233-48/+89
* Driver rework pt3: the upsweepMatthew Pickering2021-08-181-2/+9
* Detect TypeError when checking for insolubilitysheaf2021-08-151-0/+2
* Refactoring module dependenciesSylvain Henry2021-08-131-48/+43
* Move `ol_witness` to `OverLitTc`Dr. ERDI Gergo2021-08-132-5/+5
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-112-10/+9
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-104-14/+12
* Use Reductions to keep track of rewritingssheaf2021-08-042-3/+8
* Disable -fdefer-type-errors for linear types (#20083)Krzysztof Gogolewski2021-08-041-1/+1
* Handle OverloadedRecordDot in TH (#20185)Zubin Duggal2021-08-031-2/+20
* Disallow nonlinear fields in Template Haskell (#18378)Krzysztof Gogolewski2021-08-023-1/+21
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-281-1/+1
* Don't abort on representation polymorphism checkKrzysztof Gogolewski2021-07-271-1/+1
* Simplify FFI codeKrzysztof Gogolewski2021-07-271-15/+7
* template-haskell: Add support for default declarationsMario Blažević2021-07-213-6/+8
* Refactor SuggestExtension constructor in GhcHintAlfredo Di Napoli2021-07-211-1/+3
* Don't return unitExpr in dsWhenNoErrssheaf2021-07-103-25/+93
* Dynflags: introduce DiagOptsSylvain Henry2021-07-011-2/+3
* Use HsExpansion for overloaded list patternssheaf2021-06-293-71/+56
* Fixes around incomplete guards (#20023, #20024)Krzysztof Gogolewski2021-06-242-10/+8
* Fix desugaring with unboxed types (#19883)Krzysztof Gogolewski2021-06-241-1/+3
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-223-3/+3
* Put tracing functions into their own moduleSylvain Henry2021-06-221-17/+23
* HsUniToken and HsToken for HsArrow (#19623)Vladislav Zavialov2021-06-162-2/+2
* Fix INLINE pragmas in desugarerSimon Peyton Jones2021-06-101-22/+29
* Reword: representation instead of levitysheaf2021-06-1010-86/+98
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-085-15/+13
* Make Logger independent of DynFlagsSylvain Henry2021-06-073-11/+6
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-0314-351/+740
* Driver Rework PatchMatthew Pickering2021-06-031-106/+61
* Rip GHC.Tc.Solver.Monad asunder (only)Richard Eisenberg2021-05-291-1/+1
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-238-22/+25
* Introduce Strict.Maybe, Strict.Pair (#19156)Vladislav Zavialov2021-05-231-1/+2
* Change representation of field selector occurencesShayne Fletcher2021-05-234-12/+8
* Extensible Hints for diagnostic messagesAlfredo Di Napoli2021-05-202-3/+3
* Changes to HsRecField'Shayne Fletcher2021-05-196-19/+19
* Remove transitive information about modules and packages from interface filesMatthew Pickering2021-05-191-12/+21
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-1221-21/+21
* Fully remove HsVersions.hSylvain Henry2021-05-1221-41/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-1216-62/+71
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-075-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