Compiling the following program with -O 0 or -O 1 stops the program from running correctly (atleast according the semantics that I am assuming!!). Compile it with -O 2 or -O 3 and it works fine!!!

---

module unit
imports Stratego list-cons tuple-cons term-io

strategies

main = debug(!“hello”);
try(!(99,1) ; lt ; debug(!“1st lt succeeds”));
try(!(1,99) ; lt ; debug(!“2nd lt succeeds”));
debug(!“byebye”)

—

Submitted on 21 January 2005 at 18:24

STR-229, martin:
Thanks for reporting, but it is a known issue.

STR-229, martin:
See STR-15