[tex-k] bug in METAFONT syntax

[Karl Berry]

    And labels are defined as:
        <label> ::= <code> : | <code> :: | ||:

    And the [last] two alternatives don't seem to make any sense...

Indeed, slightly modifying the examples on pp.317-8 of the mfbook,
things like

charlist oct"007":: oct"006";
extensible oct"007":: oct"001", oct"002", oct"003", oct"004";

cause errors (not surprisingly). Thanks for the report, as always. -k