On 2006-06-12, Akim Demaille <akim@lrde.epita.fr> wrote:
"SIGOURE" == SIGOURE Benoit <sigoure.benoit@lrde.epita.fr> writes:
+ %% FIXME: Some priorities are probably missing here + context-free priorities + { + Property "=>" Property -> Property + } + > { + Property "|" Property -> Property + } + > { + Property "&" Property -> Property + } + > { + "!" Property -> Property + } + > { + Expression -> Property + }
I thought it was mandatory to keep the annotations in the rules here? It isn't the case? For instance, in some old Tiger.sdf modules, I read:
[SNIP]
Note that they preciously kept the annotations.
This is probably deprecated. I've not seen them keeping the annotations in the Stratego/XT Manual nor in java-front's SDF. -- SIGOURE Benoit aka Tsuna _____ /EPITA\ Promo 2008.CSI Rock & tRoll