|
|
|
Original Estimate:
|
Unknown
|
Remaining Estimate:
|
Unknown
|
Time Spent:
|
Unknown
|
|
|
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.
|
|
Description
|
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.
|
Show » |
|
There are no comments yet on this issue.
|
| |
|
|
Bug
Closed
Minor
StrategoStratego: allow annotations on quotations