-- Andreas, 2021-10-05
-- Unsatisfiable tokens should be rejected, since they are usually not supported by lexers.

Foo.  Bar ::= "baz";

token Identifier (letter - letter) char
               | (digit* [""])+
               | (upper - char)+ ;

-- Each of these alternatives is empty.