module foo
imports libstrategolib
strategies

main =
foo / Fred bar

foo =
rules(Fred : 1 -> 2)
; rules(Fred : 2 -> 3)

bar =
rules(Fred : 1 -> 2)
; rules(Fred : 3 -> 3)

martin@logistico:~> pp-stratego -i ./foo.str
[ Abox-2-text | error ] invalid box:
“Fred”
/pkg/strategoxt/2005-12-12-16-32/bin/abox2text: rewriting failed
pp-stratego: rewriting failed
martin@logistico:~>

Reported by Bogdan

Submitted on 14 February 2006 at 14:19