Strategy Rule

Stratego -- Strategies for Program Transformation
A StrategyRule of the form
  Lab :: s1 --> s2 where s3
is syntactic sugar for a StrategyDefinition of the form
  Lab = s1; where(s3); s2

StrategoRelease06 introduced a bug in the translation of strategy rules. The condition of a rule should be wrapped in a Where. In normal rules that perform a build it can be left out, but in `strategy rules' (:: -->) that might do a congruence, this is essential. Bug report by Hedzer Westra. The bug is solved in StrategoRelease064.

-- EelcoVisser - 03 Jan 2002


Stratego.StrategyRule moved from Stratego.StrategyRuleTranslation on 03 Jan 2002 - 21:36 by EelcoVisser - put it back