Mangling of local names

[John Wilkinson]

A correction to my recent proposal:

  <discriminator> := <number>_

won't do, since the discriminator is optional.  This makes it too hard
to distinguish a discriminator from the start of a name.  Let's add an
underscore at the beginning:

  <discriminator> := _<number>_



-- 
John Wilkinson