STR-234: Remove the Path language construct?
module blaat
strategies
main =
!5 ; 1 !6
warning: not a strategy-expression: Path(“1”,Build(Int(6)))
Submitted on 26 January 2005 at 14:50
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”))))
Log in to post comments