Pair Constructor

Stratego -- Strategies for Program Transformation
The Pair constructor Pair(x, y) was used in thread and traversals for distribution of environments during traversal.

The Pair constructor has become obsolete with the introduction of FixedLengthTuple in StrategoRelease07.

Until StrategoRelease071 the Pair constructor will be defined as an overlay

overlays
  Pair(x, y) = (x, y)

After that it will be removed from the library.

-- EelcoVisser - 06 Jan 2002


CategoryDone?