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”))))

Submitted on 26 January 2005 at 14:50

Log in to post comments