summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore
Commit message (Expand)AuthorAgeFilesLines
* Pmc: Do inhabitation test for unlifted vars (#20631)Sebastian Graf2021-11-072-17/+30
* EPA: Get rid of bare SrcSpan's in the ParsedSourceAlan Zimmerman2021-11-023-3/+3
* HsToken for let/in (#19623)Vladislav Zavialov2021-11-024-13/+13
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-1711-541/+65
* Reject GADT pattern matches in arrow notationsheaf2021-10-092-5/+12
* Trees That Grow refactor for HsTick and HsBinTickAndrea Condoluci2021-09-305-36/+32
* Nested CPR light unleashed (#18174)Sebastian Graf2021-09-301-0/+1
* compiler: occEnvElts -> nonDetOccEnvEltsBen Gamari2021-09-291-1/+1
* Refactor module dependencies codeSylvain Henry2021-09-171-51/+2
* EPA: correctly capture comments between 'where' and bindsAlan Zimmerman2021-09-171-1/+1
* 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
View Lorry Controller Status