I am using strategoxt-0.15.1pre11570 from Nix. I also tried with 0.15 from Nix. Same problem.

Given the file foo.str (adapted from one of the one of stratego shell tests):

---

module foo
imports integers
strategies
main = (inc, inc)
——————————-

Compiling it with strc -i foo.str works nicely.

Compiling it with, say, strc –keep 10 -i foo.str to get out the core syntax file (i.e. opt17) fails with:

compiling foo.str
[ Abox-2-text | error ] invalid box:
(AnnoCong(FBOX(KW,S(“id”)),StrategyCurly(S(“valid-props”))),4)
/nix/store/dhp8zza4lbpym8jpyb1hlbk7lkmzrl3s-strategoxt-from-tarball/bin/abox2text: rewriting failed
compilation failed (5.47 secs)

The difference is between –keep 2 and –keep 3, the former works, the latter does not.

Submitted on 27 July 2005 at 05:40

STR-372, martin:
Fix version was set to 0.14. Fixed to 0.16.

STR-372, rbvermaa:
this was already fixed in rev. 11915