summaryrefslogtreecommitdiff
path: root/compiler/GHC/HsToCore/Binds.hs
Commit message (Expand)AuthorAgeFilesLines
* 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
* GHC.Core.Opt renamingSylvain Henry2020-04-181-1/+1
* Make NoExtCon fields strictwip/strict-NoExtConRyan Scott2020-04-071-3/+0
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-8/+8
* Major improvements to the specialiserSimon Peyton Jones2020-04-031-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-10/+10
* Modules: Core operations (#13009)Sylvain Henry2020-03-181-2/+2
* Modules: Core (#13009)Sylvain Henry2020-03-161-4/+4
* Remove unused field var_inline (#17915)Krzysztof Gogolewski2020-03-141-5/+2
* PmCheck: Implement Long-distance information with Covered setsSebastian Graf2020-02-271-2/+3
* Modules: Core (#13009)Sylvain Henry2020-02-261-11/+11
* Modules: Driver (#13009)Sylvain Henry2020-02-211-1/+1
View Lorry Controller Status