
| Key: |
STR-224
|
| Type: |
Bug
|
| Status: |
Closed
|
| Resolution: |
Fixed
|
| Priority: |
Minor
|
| Assignee: |
Unassigned
|
| Reporter: |
Martin Bravenboer
|
| Votes: |
0
|
| Watchers: |
0
|
|
If you were logged in you would be able to see more operations.
|
|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
|
Term projection in annotation seems to be ignored (identity)
Example:
-----------------------
module foo
imports list-cons
strategies
main =
!1{2}
; ?_{<id>}
-----------------------
Result: 1{2}
|
|
Description
|
Term projection in annotation seems to be ignored (identity)
Example:
-----------------------
module foo
imports list-cons
strategies
main =
!1{2}
; ?_{<id>}
-----------------------
Result: 1{2}
|
Show » |
|
There are no comments yet on this issue.
|
| |
|
|