summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore
Commit message (Expand)AuthorAgeFilesLines
* [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
* Implement cast worker/wrapper properlySimon Peyton Jones2020-06-109-4/+234
* Cross-module LambdaFormInfo passingÖmer Sinan Ağacan2020-06-102-2/+3
* Simple subsumptionwip/T17775Simon Peyton Jones2020-06-054-9/+8
* FloatOut: Only eta-expand dead-end RHS if arity will increase (#18231)Sebastian Graf2020-05-283-0/+52
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-1311-41/+7
* Fix specialisation for DFunsSimon Peyton Jones2020-05-082-0/+35
* Remove SpecConstrAnnotation (#13681)Sylvain Henry2020-05-052-9/+2
* Mark rule args as non-tail-calledSimon Peyton Jones2020-04-302-0/+79
* Unit: split and rename modulesSylvain Henry2020-04-305-10/+10
* PPC NCG: Add DWARF constants and debug labelsPeter Trommler2020-04-222-19/+7
* Mark DataCon wrappers CONLIKEAlexis King2020-04-225-3/+46
* GHC.Core.Opt renamingSylvain Henry2020-04-186-7/+7
* Add an INLINE pragma to Control.Category.>>>Alexis King2020-04-124-0/+287
* Modules: type-checker (#13009)Sylvain Henry2020-04-071-1/+1
* simplifier: Kill off ufKeenessFactorBen Gamari2020-04-074-3/+4
* Fix an tricky specialiser loopSimon Peyton Jones2020-04-064-0/+226
* Major improvements to the specialiserSimon Peyton Jones2020-04-0310-0/+178
* Re-engineer the binder-swap transformationSimon Peyton Jones2020-04-023-35/+19
* Demand analysis: simplify the demand for a RHSSimon Peyton Jones2020-03-291-1/+1
* Modules: Types (#13009)Sylvain Henry2020-03-291-1/+1
* Modules: Core operations (#13009)Sylvain Henry2020-03-186-7/+7
View Lorry Controller Status