The EvaluationOrder of the alternatives of the NonDeterministicChoice operator + is not defined. The StrategoCompiler can decide in which order to try the alternatives. To warn users that this can lead to strange results it would be useful to detect overlapping left-hand sides of rules.

-- EelcoVisser - 17 Mar 2002

CategoryToDo?

Revision: r1.1 - 17 Mar 2002 - 22:17 - EelcoVisser
Stratego > ReleasePlan > ReleasePlan > DetectOverlappingRules
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