Compiling Dryad from SVN, revision 10715, with the 0.15 compiler results in a typing bug when compiling classtree/java-aterm/assimilate-java-aterm.str

The problem can be reproduced by installing 0.15 from Nix, checking out the 10715 revision of dryad, doing bootstrap, configure and make all.

This error does not occur in 0.14, so I’m guessing this is a strc bug. The SVar in the code being called looks fishy.

error: cannot type App(CallNoArgs(SVar("")),Tuple([Var(““),Var(””)]))

See attached file for full details.

Submitted on 10 July 2005 at 03:50

STR-335, karltk:
Full compiler backtrace.

STR-335, martin:
Explain that the issue is most likely and old .rtree. Reinstall that package with Stratego/XT 0.15.1 or later.

STR-335, visser:
if the tree after packingdoes not conform to the Stratego-Sugar format, this indicates that an outdated .rtree file or concrete syntax embedding was used. This is now reported with the advice to run the compiler with –format-check 1 to discover where the problem is."