Match Symbols In Build Patterns

Stratego -- Strategies for Program Transformation
  • No WildCards? should occur in Build's, or a wildcard could be interpreted as the identity strategy in a TermWrap interpretation.

  • As patterns may only be used in matching positions, or is there a sensible interpretation? how about considering it as the basis for a TermWrap: !t1[x@t2] is equivalent to !t1[<!t2>x]

-- EelcoVisser - 10 Dec 2001

CategoryBugs? | StrategoBugs? | CategoryToDo? | LanguageExtensions