diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2015-03-23 10:12:34 +0100 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2015-03-23 10:13:09 +0100 |
| commit | 992040e9abbeaffecc4bbe9d9475da69d9427f82 (patch) | |
| tree | b47fa86ac4dbfb55ee6a780addb3d08fe1a9d37a /compiler/simplCore | |
| parent | cab5b3acc514dc7beafc3527625c687c8a5116a0 (diff) | |
| download | haskell-992040e9abbeaffecc4bbe9d9475da69d9427f82.tar.gz | |
Minor fix to Note [Trimming arity]
[ci skip]
Diffstat (limited to 'compiler/simplCore')
| -rw-r--r-- | compiler/simplCore/CallArity.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplCore/CallArity.hs b/compiler/simplCore/CallArity.hs index 4a0b8ee376..a635f7c410 100644 --- a/compiler/simplCore/CallArity.hs +++ b/compiler/simplCore/CallArity.hs @@ -377,7 +377,7 @@ the case for Core! 2. Eta-expanding a right hand side might invalidate existing annotations. In particular, if an id has a strictness annotation of <...><...>b, then - passing one argument to it will definitely bottom out, so the simplifier + passing two arguments to it will definitely bottom out, so the simplifier will throw away additional parameters. This conflicts with Call Arity! So we ensure that we never eta-expand such a value beyond the number of arguments mentioned in the strictness signature. |