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. -- Main.EelcoVisser - 03 Jan 2002
----- CategorySolvedBugs