Mangling of local names

[John Wilkinson <jfw@xxxxxxx>]

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