summaryrefslogtreecommitdiff
path: root/testsuite/tests/simplCore/should_compile/spec-inline.stderr
Commit message (Expand)AuthorAgeFilesLines
* Boxity: Don't update Boxity unless worker/wrapper follows (#21754)wip/T21754Sebastian Graf2022-09-301-1/+1
* Refactor UnfoldingSource and IfaceUnfoldingSimon Peyton Jones2022-09-281-2/+2
* Don't mark lambda binders as OtherConAndreas Klebinger2022-06-271-6/+2
* Demand: Let `Boxed` win in `lubBoxity` (#21119)Sebastian Graf2022-03-161-1/+1
* Tag inference work.Andreas Klebinger2022-02-121-2/+6
* DmdAnal: Implement Boxity Analysis (#19871)Sebastian Graf2021-10-241-1/+1
* Add `-dsuppress-core-sizes` flag (#20342)Sylvain Henry2021-09-281-0/+13
* Only dump Core stats when requested to do so (#20342)Sylvain Henry2021-09-081-13/+0
* WorkWrap: Remove mkWWargs (#19874)Sebastian Graf2021-06-271-8/+8
* Nested CPR light (#19398)Sebastian Graf2021-03-201-2/+2
* Implement BoxedRep proposalwip/boxed-repBen Gamari2021-03-071-2/+1
* Run linear Lint on the desugarer output (part of #19165)Krzysztof Gogolewski2021-03-051-2/+3
* DmdAnal: Better syntax for demand signatures (#19016)Sebastian Graf2021-03-031-4/+4
* Revert "Implement BoxedRep proposal"Ben Gamari2020-12-151-1/+1
* Implement BoxedRep proposalAndrew Martin2020-12-141-1/+1
* Demand: Interleave usage and strictness demands (#18903)Sebastian Graf2020-11-201-4/+4
* Fix some missed opportunities for preInlineUnconditionallySimon Peyton Jones2020-10-141-4/+2
* This patch addresses the exponential blow-up in the simplifier.Simon Peyton Jones2020-07-281-4/+5
* Reduce result discount in conSizeSimon Peyton Jones2020-07-131-5/+5
* CprAnal: Don't attach CPR sigs to expandable bindings (#18154)Sebastian Graf2020-05-131-5/+0
* Separate CPR analysis from the Demand analyserwip/sep-cprSebastian Graf2020-02-121-8/+10
* Do CafInfo/SRT analysis in CmmÖmer Sinan Ağacan2020-01-311-10/+2
* Print Core type applications with no whitespace after @ (#17643)Ryan Scott2020-01-081-5/+5
* Remove ExnStr and ThrowsExn businessSebastian Graf2019-02-011-1/+1
* Improvements to demand analysisSimon Peyton Jones2018-12-121-2/+2
* Enhanced constant foldingSylvain Henry2018-06-161-28/+10
* Built-in Natural literals in CoreSylvain Henry2018-06-151-4/+4
* Remove ad-hoc special case in occAnalSimon Peyton Jones2018-06-071-2/+4
* Inline wrappers earlierSimon Peyton Jones2018-04-201-3/+3
* Revert "Enhanced constant folding"Ben Gamari2018-04-161-10/+28
* Enhanced constant foldingSylvain Henry2018-04-131-28/+10
* Get evaluated-ness right in the back endSimon Peyton Jones2018-01-031-2/+2
* Allow CSE'ing of work-wrapped bindings (#14186)Joachim Breitner2017-09-121-2/+4
* Re-engineer caseRules to add tagToEnum/dataToTagSimon Peyton Jones2017-04-281-76/+76
* Join pointsLuke Maurer2017-02-011-14/+15
* Allow top-level string literals in Core (#8472)Takano Akio2017-01-201-11/+29
* Update levity polymorphismRichard Eisenberg2017-01-191-1/+1
* Demand analyser: Implement LetUp rule (#12370)Joachim Breitner2016-07-121-1/+1
* Add a final demand analyzer run right before TidyCoreJoachim Breitner2016-04-141-2/+2
* Core pretty printer: Omit wild case bindersJoachim Breitner2016-04-061-17/+11
* Do not print DmdType in Core outputJoachim Breitner2016-03-291-12/+12
* Simplify: Make generated names more usefulBen Gamari2016-03-121-9/+9
* Address #11471 by putting RuntimeRep in kinds.wip/runtime-repRichard Eisenberg2016-02-241-1/+1
* Refactoring on IdInfo and system derived namesSimon Peyton Jones2016-01-181-1/+1
* Make demand analysis understand catchSimon Peyton Jones2016-01-071-1/+1
* Narrow scope of special-case for unqualified printing of names in core librariesBen Gamari2015-12-151-39/+62
* Add kind equalities to GHC.Richard Eisenberg2015-12-111-3/+4
* Make callToPats deterministic in SpecConstrBartosz Nitka2015-12-041-13/+13
* Generate Typeable info at definition sitesBen Gamari2015-10-301-1/+28
* Revert "Generate Typeable info at definition sites"Ben Gamari2015-10-291-28/+1