summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Expr.hs
Commit message (Expand)AuthorAgeFilesLines
* Trees That Grow refactor for HsTick and HsBinTickAndrea Condoluci2021-09-301-19/+17
* EPA: correctly capture comments between 'where' and bindsAlan Zimmerman2021-09-171-1/+1
* Desugarer: Bring existentials in scope when substituting into record GADTsRyan Scott2021-08-251-3/+11
* Refactor HsStmtContext and remove HsDoRnArtyom Kuznetsov2021-08-101-5/+3
* Simplify and improve the eta expansion mechanismSimon Peyton Jones2021-07-281-1/+1
* Don't return unitExpr in dsWhenNoErrssheaf2021-07-101-9/+28
* Fix desugaring with unboxed types (#19883)Krzysztof Gogolewski2021-06-241-1/+3
* Typos, minor comment fixesKrzysztof Gogolewski2021-06-221-1/+1
* Reword: representation instead of levitysheaf2021-06-101-36/+39
* Introduce `hsExprType :: HsExpr GhcTc -> Type` in the new modulewip/hsExprTypeRyan Scott2021-06-081-11/+9
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-47/+11
* HsToken for HsPar, ParPat, HsCmdPar (#19523)Vladislav Zavialov2021-05-231-2/+2
* Change representation of field selector occurencesShayne Fletcher2021-05-231-2/+1
* Changes to HsRecField'Shayne Fletcher2021-05-191-3/+3
* Remove useless {-# LANGUAGE CPP #-} pragmasSylvain Henry2021-05-121-1/+1
* Fully remove HsVersions.hSylvain Henry2021-05-121-2/+0
* Replace CPP assertions with Haskell functionsSylvain Henry2021-05-121-12/+13
* Allow visible type application for levity-poly data consSimon Peyton Jones2021-05-071-60/+176
* Redesign withDict (formerly magicDict)Ryan Scott2021-04-291-4/+163
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-4/+4
* Fix an levity-polymorphism errorSimon Peyton Jones2021-03-201-87/+93
* Transfer tickish things to GHC.Types.TickishLuite Stegeman2021-03-201-0/+1
* GHC Exactprint main commitAlan Zimmerman2021-03-201-38/+38
* Implement record dot syntaxwip/joachim/bump-haddockShayne Fletcher2021-03-061-1/+8
* Improve handling of overloaded labels, literals, lists etcwip/T19154Simon Peyton Jones2021-02-191-110/+19
* Fix typosBrian Wignall2021-02-061-2/+2
* Make PatSyn immutableSimon Peyton Jones2021-01-291-8/+12
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-231-5/+1
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-1/+2
* Implement type applications in patternsCale Gibbard2020-12-141-1/+1
* Add the proper HLint rules and remove redundant keywords from compilerHécate2020-11-011-22/+24
* Split GHC.Driver.TypesSylvain Henry2020-10-291-0/+1
* Fix PostfixOperators (#18151)Vladislav Zavialov2020-10-141-1/+14
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* Fix desugaring of record updates on data familiesSimon Peyton Jones2020-10-091-28/+87
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-3/+3
* Implement Quick Look impredicativitySimon Peyton Jones2020-09-241-3/+6
* Extract definition of DsM into GHC.HsToCore.TypesSebastian Graf2020-09-121-1/+1
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-4/+4
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-2/+2
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-101-5/+5
* Remove GENERATED pragma, as it is not being usedAlan Zimmerman2020-09-091-5/+0
* Add right-to-left rule for pattern bindingsSimon Peyton Jones2020-08-191-1/+1
* PmCheck: Better long-distance info for where bindings (#18533)Sebastian Graf2020-08-131-6/+5
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+1
* Add some tests for fail messages in do-expressions and monad-comprehensions.Cale Gibbard2020-08-071-2/+2
* A fix to an error message in monad comprehensions, and a move of dsHandleMona...Cale Gibbard2020-08-071-28/+2
* Simplify XRec definitionZubin Duggal2020-07-251-0/+1
* Remove {-# CORE #-} pragma (part of #18048)Krzysztof Gogolewski2020-07-181-2/+0
* compiler: re-engineer the treatment of rebindable ifAlp Mestanogullari2020-07-141-7/+5