summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Binds.hs
Commit message (Expand)AuthorAgeFilesLines
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-7/+8
* Fix typosEric Lindblad2022-09-141-1/+1
* Teach SpecConstr about typeDeterminesValueSimon Peyton Jones2022-07-251-21/+11
* TTG: Move CoreTickish out of LHS.Bindsromes2022-07-061-4/+4
* Comments only around HsWrapperSimon Peyton Jones2022-05-131-3/+16
* Fix several note references, part 2Krzysztof Gogolewski2022-05-051-5/+5
* Implement \cases (Proposal 302)Jakob Bruenker2022-04-011-3/+1
* Add the OPAQUE pragmaChristiaan Baaij2022-03-251-0/+2
* TTG Pull AbsBinds and ABExport out of the main ASTromes2022-03-141-9/+10
* Make RULE matching insensitive to eta-expansionSimon Peyton Jones2022-01-261-2/+2
* Fix typosKrzysztof Gogolewski2021-12-251-1/+1
* Introduce Concrete# for representation polymorphism checkssheaf2021-10-171-6/+3
* Modify InlineSpec data constructor (helps fix #18138)Alina Banerjee2021-08-111-6/+5
* Put tracing functions into their own moduleSylvain Henry2021-06-221-17/+23
* Fix INLINE pragmas in desugarerSimon Peyton Jones2021-06-101-22/+29
* Reword: representation instead of levitysheaf2021-06-101-2/+2
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-031-38/+15
* 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-3/+5
* Introduce SevIgnore Severity to suppress warningsAlfredo Di Napoli2021-04-051-2/+1
* Add `MessageClass`, rework `Severity` and add `DiagnosticReason`.wip/adinapoli-message-class-new-designAlfredo Di Napoli2021-03-291-7/+7
* GHC Exactprint main commitAlan Zimmerman2021-03-201-2/+2
* The Char kind (#11342)Daniel Rogozin2021-02-061-1/+2
* Core: introduce Alt/AnnAlt/IfaceAlt datatypesSylvain Henry2021-01-221-1/+1
* Use mutable update to defer out-of-scope errorsRichard Eisenberg2020-12-251-1/+1
* Remove Proxy# argument in Data.Typeable.InternalKrzysztof Gogolewski2020-10-151-6/+4
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-141-4/+4
* Unification of Nat and NaturalsHaskellMouse2020-10-131-2/+2
* Lint the compiler for extraneous LANGUAGE pragmasHécate2020-10-101-7/+6
* PmCheck: Big refactor of module structureSebastian Graf2020-09-261-3/+3
* PmCheck: Handle ⊥ and strict fields correctly (#18341)wip/T18341Sebastian Graf2020-09-101-2/+2
* PmCheck: Big refactor using guard tree variants more closely following source...Sebastian Graf2020-09-101-7/+7
* Add long-distance info for pattern bindings (#18572)Sebastian Graf2020-09-101-2/+2
* DynFlags: add sm_pre_inline field into SimplMode (#17957)Sylvain Henry2020-09-091-3/+3
* DynFlags: add UnfoldingOpts and SimpleOptsSylvain Henry2020-09-091-8/+12
* 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-4/+3
* DynFlags: disentangle OutputableSylvain Henry2020-08-121-0/+2
* Improve typechecking of NPlusK patternsSimon Peyton Jones2020-07-181-0/+1
* Various performance improvementsKrzysztof Gogolewski2020-06-171-3/+3
* Linear types (#15981)Krzysztof Gogolewski2020-06-171-16/+21
* Clarify leaf module names for new module hierarchyTakenobu Tani2020-06-101-3/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-051-1/+6
* Rename GHC.Core.Arity into GHC.Core.Opt.AritySylvain Henry2020-05-241-1/+1
* Fix specialisation for DFunsSimon Peyton Jones2020-05-081-4/+3
* PmCheck: Pick up `EvVar`s bound in `HsWrapper`s for long-distance infoSebastian Graf2020-05-011-14/+13
* Unit: split and rename modulesSylvain Henry2020-04-301-1/+1
* Modules: Utils and Data (#13009)Sylvain Henry2020-04-261-10/+10
* Modules (#13009)Sylvain Henry2020-04-181-2/+2
View Lorry Controller Status