In separate compilation, the .str files are still not being used because a problem with parsing external definitions for tuple congruences.

Reproduce:

---

module foo
imports tuple-cons list-cons
strategies

bar = !2
——————————–

---

$ strc -i foo.str –library -o libfoo.rtree -c
…
$ parse-stratego -i libfoo.str | pp-aterm
[ sglri | error ] libfoo.str: character ‘e’ unexpected at line 46, column 3
[ sglri | error ]
[ sglri | error ] external (r_12 : ATerm() -> ATerm(), …
——————————–

Submitted on 22 November 2005 at 17:21