| Key: |
STR-220
|
| Type: |
Bug
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Minor
|
| Assignee: |
Unassigned
|
| Reporter: |
Niels Janssen
|
| Votes: |
0
|
| Watchers: |
0
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
|
The strategy
s1 < s2 + s3 + s4
is ambiguous:
s1 < (s2 + s3) + s4 <=> s1 < s2 + (s3 + s4)
reproduce issue with:
module reproduce
strategies
main = id < id + id + id
|
|
Description
|
The strategy
s1 < s2 + s3 + s4
is ambiguous:
s1 < (s2 + s3) + s4 <=> s1 < s2 + (s3 + s4)
reproduce issue with:
module reproduce
strategies
main = id < id + id + id
|
Show » |
|
There are no comments yet on this issue.
|
| |
|
|
syntax priority issue: 's1 < s2 + s3 + s4' is ambiguous