STR-716: import-term is not supported by pp-stratego
The pp-stratego tool does not know how to transform an import-term to an abox, resulting in an error like:
[ abox2text | error ] invalid box:
Submitted on 16 April 2007 at 21:00
[FBOX(KW, S(“import-term”)), FBOX(KW,S(“(”)),S(“***.tbl”),FBOX(KW,S(“)”))]
pp-stratego: rewriting failed
Log in to post comments