| Dollar Local Labels

Previous | Symbol Names |

`as` also supports an even more local form of local labels called dollar labels. These labels go out of scope (i.e. they become undefined) as soon as a non-local label is defined. Thus they remain valid for only a small region of the input source code. Normal local labels, by contrast, remain in scope for the entire file, or until they are redefined by another occurrence of the same local label.
Dollar labels are defined in exactly the same way as ordinary local labels, except that instead of being terminated by a colon, they are terminated by a dollar sign (for example, `55$`).
They can also be distinguished from ordinary local labels by their transformed name which uses ASCII character `\001` (control-A) as the magic character to distinguish them from ordinary labels.