summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile
Commit message (Expand)AuthorAgeFilesLines
* Optimiser: Correctly deal with strings starting with unicode characters in ex...Matthew Pickering2021-06-232-6/+24
* Improve pretty-printing of coercionsSimon Peyton Jones2021-06-182-5/+27
* Enhance cast worker/wrapper for INLINABLESimon Peyton Jones2021-06-186-45/+191
* Avoid useless w/w split, take 2Simon Peyton Jones2021-06-053-11/+3
* Port HsToCore messages to new infrastructureAlfredo Di Napoli2021-06-032-3/+6
* Fix strictness and arity info in SpecConstrSimon Peyton Jones2021-05-114-15/+126
* Don't warn about ClassOp bindings not specialising.Andreas Klebinger2021-05-112-0/+17
* Worker/wrapper: Refactor CPR WW to work for nested CPR (#18174)wip/nested-cpr-wwSebastian Graf2021-04-2010-38/+38
* Improvements in SpecConstrwip/T19672Simon Peyton Jones2021-04-173-0/+18
* Always generate ModDetails from ModIfaceMatthew Pickering2021-04-141-2/+2
* Make the specialiser handle polymorphic specialisationSimon Peyton Jones2021-04-134-0/+130
* Make specialisation a bit more aggressiveSimon Peyton Jones2021-04-075-0/+49
* EPA : Rename ApiAnn to EPAnnAlan Zimmerman2021-03-311-4/+4
* Add regression test for #5298Simon Jakobi2021-03-305-0/+38
* Fix the binder-swap transformation in OccurAnalSimon Peyton Jones2021-03-243-0/+118
* Nested CPR light (#19398)Sebastian Graf2021-03-206-9/+9
* Use GHC2021 as default languageJoachim Breitner2021-03-108-1/+8
* 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
* 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
* Bignum: add Natural constant folding rules (#15821)Sylvain Henry2021-01-231-1/+1
* 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
* 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-145-10/+5
* 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
* 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