|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
|
module blaat
strategies
main =
!5 ; 1 !6
------
warning: not a strategy-expression: Path("1",Build(Int(6)))
front-end succeeded: user 0.13 system 0.19
Not a strategy-expression: Path("1",Build(Int(6)))
optimization succeeded: user 0.04 system 0.17
not a strategy-expression: Path("1",Build(Int(6)))
No pp entry found for: (2,["Path"])
** ERROR: cannot rewrite to box: Path("1",Stat(Assign(Id("t"),AssignEq,Id("term_c_0"))))
|
|
Description
|
module blaat
strategies
main =
!5 ; 1 !6
------
warning: not a strategy-expression: Path("1",Build(Int(6)))
front-end succeeded: user 0.13 system 0.19
Not a strategy-expression: Path("1",Build(Int(6)))
optimization succeeded: user 0.04 system 0.17
not a strategy-expression: Path("1",Build(Int(6)))
No pp entry found for: (2,["Path"])
** ERROR: cannot rewrite to box: Path("1",Stat(Assign(Id("t"),AssignEq,Id("term_c_0"))))
|
Show » |
|
There are no comments yet on this issue.
|
| |
|
|
Bug
Closed
Minor
Remove the Path language construct?