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

On 28 January 2013 at 14:46 Eelco Visser removed tag 0.18M2

On 28 January 2013 at 14:46 Eelco Visser tagged interesting

Log in to post comments