/**
* If an anti-quotation is defined as a PreTerm, then
* this example fails. The problem is that a meta-explode
* assumes that FromTerm has a Term as an argument. Often,
* this indeed accidentally the case, since most non-constant
* PreTerms are also Terms. However, if constant terms
* are anti-quoted, then compilation will fail.
*
* This test checks two different things:
* - if StrategoStratego uses Term anti-quotation
* - if StrategoStratego uses PreTerm, then meta-explode is checked
*/
module anti-quote-preterm
imports Stratego
strategies

main =
!|[ ~id:""(id, id) ]|

This problem popped up in code of the Transformers.

Submitted on 15 January 2007 at 00:39

On 9 January 2013 at 16:56 Eelco Visser removed tag 0.19M1

On 9 January 2013 at 16:56 Eelco Visser tagged interesting

Log in to post comments