#325 STR-325: Overlay bodies should be pure term expressions (project StrategoXT on YellowGrass.org)

Don’t allow strategy expressions in overlay definition bodies.
Submitted on 27 June 2005 at 23:32

On 28 July 2005 at 12:45 Jira commented:

STR-325, martin:
I’ve updated tool-doc, so you can change this if you want to.

On 9 August 2005 at 11:13 Jira commented:

STR-325, visser:
Generation of congruence from overlay now gives a fatal error if body is not a term.

Log in to post comments

STR-325: Overlay bodies should be pure term expressions