bde f89f94ea93 Quote port names that have a digit in them. IO_TIMER1 was lexed as
{ port_name = "IO_TIMER", port_number = 1 } and only worked because
it was reassembled to "IO_TIMER1".  Trailing digits always work, but
this is too magic to depend on.

Don't quote port names that don't have a digit in them.
1998-10-22 13:49:51 +00:00
..
1998-10-16 03:32:03 +00:00
1998-08-10 07:53:59 +00:00
1998-08-10 07:53:59 +00:00
1998-09-21 22:04:07 +00:00
1998-09-18 18:41:49 +00:00
1998-10-16 06:55:36 +00:00
1998-09-16 08:22:09 +00:00