Detect Overlapping Rules

Stratego -- Strategies for Program Transformation
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?