Andreas Klebinger pushed to branch wip/andreask/since_docs at Glasgow Haskell Compiler / GHC
Commits:
-
699deef5
by Andreas Klebinger at 2025-07-16T11:20:32+02:00
-
cc4a8163
by Andreas Klebinger at 2025-07-16T11:20:51+02:00
1 changed file:
Changes:
| ... | ... | @@ -547,16 +547,24 @@ as such you shouldn't need to set any of them explicitly. A flag |
| 547 | 547 | Eta-expand let-bindings to increase their arity.
|
| 548 | 548 | |
| 549 | 549 | .. ghc-flag:: -fdo-clever-arg-eta-expansion
|
| 550 | - :shortdesc: Enable sophisticated argument eta-expansion. Implied by :ghc-flag:`-O2`.
|
|
| 550 | + :shortdesc: Enable sophisticated argument eta-expansion. Implied by :ghc-flag:`-O`.
|
|
| 551 | 551 | :type: dynamic
|
| 552 | 552 | :reverse: -fno-do-clever-arg-eta-expansion
|
| 553 | 553 | :category:
|
| 554 | 554 | |
| 555 | 555 | :default: off
|
| 556 | + :since: 9.10.1
|
|
| 556 | 557 | |
| 557 | 558 | Eta-expand arguments to increase their arity to avoid allocating unnecessary
|
| 558 | 559 | thunks for them.
|
| 559 | 560 | |
| 561 | + For example in code like `foo = f (g x)` this flag will determine which analysis
|
|
| 562 | + is used to decide the arity of `g x`, with the goal of avoiding a thunk for `g x`
|
|
| 563 | + in cases where `g` is a function with an arity higher than one.
|
|
| 564 | + |
|
| 565 | + Enabling the flag enables a more sophisticated analysis, resulting in better
|
|
| 566 | + runtime but longer compile time.
|
|
| 567 | + |
|
| 560 | 568 | .. ghc-flag:: -feager-blackholing
|
| 561 | 569 | :shortdesc: Turn on :ref:`eager blackholing <parallel-compile-options>`
|
| 562 | 570 | :type: dynamic
|
| ... | ... | @@ -617,6 +625,7 @@ as such you shouldn't need to set any of them explicitly. A flag |
| 617 | 625 | :category:
|
| 618 | 626 | |
| 619 | 627 | :default: off
|
| 628 | + :since: 9.12.1
|
|
| 620 | 629 | |
| 621 | 630 | This experimental flag is a slightly less heavy weight alternative
|
| 622 | 631 | to :ghc-flag:`-fexpose-all-unfoldings`.
|