A StrategyRule of the form

  Lab :: s1 --> s2 where s3

is syntactic sugar for a StrategyDefinition of the form

  Lab = s1; where(s3); s3

---

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

---

CategorySolvedBugs^?