summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
Commit message (Expand)AuthorAgeFilesLines
* Use GHC2021 as default languageJoachim Breitner2021-03-1010-4/+13
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-073-5/+4
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-052-6/+9
* testsuite: Add test for #19413Ben Gamari2021-03-043-0/+20
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-0312-27/+27
* Fix array and cleanup conversion primops (#19026)Sylvain Henry2021-03-031-2/+2
* Fix terrible occurrence-analysis bugSimon Peyton Jones2021-03-013-1/+36
* Improve specialisation for imported functionsSimon Peyton Jones2021-02-184-0/+25
* Reduce inlining in deeply-nested casesSimon Peyton Jones2021-02-094-0/+78
* Remove -XMonadFailDesugaring referencesHécate2021-01-271-1/+1
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-231-1/+1
* Test constant folding for sized typesJohn Ericson2021-01-227-0/+393
* Revert "Remove SpecConstrAnnotation (#13681)" (#19168)Sylvain Henry2021-01-174-2/+14
* WorkWrap: Unbox constructors with existentials (#18982)Sebastian Graf2020-12-231-9/+34
* Fix printing in -ddump-rule-rewrites (#18668)Krzysztof Gogolewski2020-12-203-0/+36
* Make noinline more reliableSimon Peyton Jones2020-12-193-1/+73
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-153-4/+4
* Implement BoxedRep proposalAndrew Martin2020-12-143-4/+4
* Optimise nullary type constructor usagewip/tyconapp-optsBen Gamari2020-12-143-7/+7
* Revert "Optimise nullary type constructor usage"Ben Gamari2020-12-143-7/+7
* Optimise nullary type constructor usageBen Gamari2020-12-143-7/+7
* [Sized Cmm] properly retain sizes.Moritz Angermann2020-11-264-19/+19
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-2014-47/+46
* Refactor numeric constant folding rulesSylvain Henry2020-10-313-0/+112
* testsuite: Add test for #18346Ben Gamari2020-10-203-0/+43
* Arity: Refactor fixed-point iteration in GHC.Core.Opt.AritySebastian Graf2020-10-171-7/+7
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-1411-17/+34
* Add -Wnoncanonical-{monad,monoid}-instances to standardWarningsFumiaki Kinoshita2020-10-146-14/+9
* Fix pretty-printing of the mult-polymorphic arrowVladislav Zavialov2020-10-011-1/+1
* Don't attach CPR signatures to NOINLINE data structures (#18154)Sebastian Graf2020-10-011-3/+3
* New linear types syntax: a %p -> b (#18459)Vladislav Zavialov2020-09-291-1/+1
* Fix handling of function coercions (#18747)Krzysztof Gogolewski2020-09-263-0/+134
* Improve kind generalisation, error messagesSimon Peyton Jones2020-09-241-10/+34
* Fix the occurrence analyserSimon Peyton Jones2020-09-222-0/+30
* Better eta-expansion (again) and don't specilise DFunsSimon Peyton Jones2020-09-221-3/+0
* Do absence analysis on stable unfoldingsSimon Peyton Jones2020-09-173-0/+56
* Care with implicit-parameter superclassesSimon Peyton Jones2020-09-153-0/+34
* Fix types in silly shifts (#18589)Krzysztof Gogolewski2020-08-242-0/+13
* Fix -ddump-stg flagSylvain Henry2020-08-212-2/+2
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-2812-41/+42
* Define type Void# = (# #) (#18441)Krzysztof Gogolewski2020-07-221-5/+5
* Allow multiple case branches to have a higher rank typeSimon Peyton Jones2020-07-181-6/+6
* testsuite: Add regression test for #17744Ben Gamari2020-07-154-0/+107
* Reduce result discount in conSizeSimon Peyton Jones2020-07-139-35/+39
* Improve eta-expansion using ArityTypeSimon Peyton Jones2020-07-113-0/+80
* Make arityType deal with join pointsSimon Peyton Jones2020-07-103-0/+102
* Fix a typo in LintSimon Peyton Jones2020-06-282-0/+6
* Fix a buglet in Simplify.simplCastSimon Peyton Jones2020-06-232-0/+11
* Update testsuiteSylvain Henry2020-06-173-7/+6
* Linear types (#15981)Krzysztof Gogolewski2020-06-173-5/+5
View Lorry Controller Status