Skip to content

Changes

Page history
added jhc authored by maeder's avatar maeder
Hide whitespace changes
Inline Side-by-side
prefix-minus-resolution.md
View page @ 22130c15
...@@ -18,6 +18,9 @@ ...@@ -18,6 +18,9 @@
<tr><th> nhc98 </th> <tr><th> nhc98 </th>
<th> \[ partial \] <th> \[ partial \]
</th></tr> </th></tr>
<tr><th> jhc-0.7.6 </th>
<th> \[ none \]
</th></tr>
<tr><th> others </th> <tr><th> others </th>
<th> \[ unknown \] <th> \[ unknown \]
</th></tr></table> </th></tr></table>
...@@ -53,7 +56,7 @@ Cons: ...@@ -53,7 +56,7 @@ Cons:
As described in [NegationBindsTightly](negation-binds-tightly) ghc rejects some terms As described in [NegationBindsTightly](negation-binds-tightly) ghc rejects some terms
that are accepted by Hugs and Helium and should not be rejected in general. that are accepted by Hugs and Helium and should not be rejected in general.
However, making negation bind more tightly is not the proposed solution here, because However, making negation bind more tightly (as jhc does) is not the proposed solution here, because
it would (in my eyes) wrongly resolve "`- x ^ 2`" to "`(-1) ^ 2`". it would (in my eyes) wrongly resolve "`- x ^ 2`" to "`(-1) ^ 2`".
1. Only operators to the right of prefix negation need to be considered for resolution. 1. Only operators to the right of prefix negation need to be considered for resolution.
......