The fragment

TranslateDef :
Def|[ f(a1*|a2*) = s ]|{(off1,off2)} -> …

is not syntactically correct in the current definition of StrategoStratego; quotations are defined as Term rather than as PreTerm.

Submitted on 20 November 2005 at 22:28