Commit 992040e9 authored by Joachim Breitner's avatar Joachim Breitner

Minor fix to Note [Trimming arity]

[ci skip]
parent cab5b3ac
......@@ -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.
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment