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?

Revision: r1.1 - 03 Jan 2002 - 21:36 - EelcoVisser
Stratego > ReleasePlan > ReleasePlan > StrategyRule
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback