diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 11:05:18 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-10-22 11:28:46 -0700 |
| commit | d3c120c1e298c74235843e5b5c702decec17f0c2 (patch) | |
| tree | 16f86b111a4b4bc5e1a5073e25e73676e66b0073 /html/025compare.cc.html | |
| parent | 48f6d48ac99e321278fbab857566fe4ea4d53c4b (diff) | |
| download | mu-d3c120c1e298c74235843e5b5c702decec17f0c2.tar.gz | |
3549
More consistent definitions for jump targets and waypoints.
1. A label is a word starting with something other than a letter or
digit or '$'.
2. A waypoint is a label that starts with '<' and ends with '>'. It has
no restrictions. A recipe can define any number of waypoints, and
recipes can have duplicate waypoints.
3. The special labels '{' and '}' can also be duplicated any number of
times in a recipe. The only constraint on them is that they have to
balance in any recipe. Every '{' must be followed by a matching '}'.
4. All other labels are 'jump targets'. You can't have duplicate jump
targets in a recipe; that would make jumps ambiguous.
Diffstat (limited to 'html/025compare.cc.html')
0 files changed, 0 insertions, 0 deletions