about summary refs log tree commit diff stats
path: root/tangle
diff options
context:
space:
mode:
authorKartik K. Agaram <vc@akkartik.com>2016-10-22 11:05:18 -0700
committerKartik K. Agaram <vc@akkartik.com>2016-10-22 11:28:46 -0700
commitd3c120c1e298c74235843e5b5c702decec17f0c2 (patch)
tree16f86b111a4b4bc5e1a5073e25e73676e66b0073 /tangle
parent48f6d48ac99e321278fbab857566fe4ea4d53c4b (diff)
downloadmu-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 'tangle')
0 files changed, 0 insertions, 0 deletions