| ... | @@ -15,6 +15,9 @@ |
... | @@ -15,6 +15,9 @@ |
|
|
<tr><th> Hugs </th>
|
|
<tr><th> Hugs </th>
|
|
|
<th> \[ partial \]
|
|
<th> \[ partial \]
|
|
|
</th></tr>
|
|
</th></tr>
|
|
|
|
<tr><th> nhc98 </th>
|
|
|
|
<th> \[ partial \]
|
|
|
|
</th></tr>
|
|
|
<tr><th> others </th>
|
|
<tr><th> others </th>
|
|
|
<th> \[ unknown \]
|
|
<th> \[ unknown \]
|
|
|
</th></tr></table>
|
|
</th></tr></table>
|
| ... | @@ -30,15 +33,15 @@ Resolve more prefix minus application unambiguously by: |
... | @@ -30,15 +33,15 @@ Resolve more prefix minus application unambiguously by: |
|
|
|
|
|
|
|
1. one of the following alternative formulations (the essence of this propoasl)
|
|
1. one of the following alternative formulations (the essence of this propoasl)
|
|
|
|
|
|
|
|
- Do not consider associativity of prefix minus
|
|
- Do not consider associativities for prefix minus resolution
|
|
|
- Let prefix minus bind a bit stronger than infix minus
|
|
- Let prefix minus bind a bit stronger than infix minus
|
|
|
- Resolve *all* prefix minus applications (prior to infix resolution)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Pro:
|
|
Pro:
|
|
|
|
|
|
|
|
- Compatible with current state (fewer programs are rejected)
|
|
- Compatible with current state (fewer programs are rejected)
|
|
|
- fewer cryptic rejection messages involving prefix minus
|
|
- fewer cryptic rejection messages involving prefix minus
|
|
|
|
- All prefix minus applications will be resolved
|
|
|
|
|
|
|
|
|
|
|
|
|
Cons:
|
|
Cons:
|
| ... | | ... | |
