Bruce Evans 4a04f6f613 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-21 20:11:03 +00:00
1998-09-29 20:19:45 +00:00
1998-09-29 20:19:45 +00:00
1998-09-14 19:56:42 +00:00
1998-10-21 16:31:38 +00:00
1998-10-16 04:31:35 +00:00
1998-09-13 15:40:31 +00:00
1998-08-17 01:05:25 +00:00
1998-09-17 09:35:02 +00:00
1998-08-17 01:05:25 +00:00
1998-10-22 11:29:58 +00:00
1998-10-11 18:39:38 +00:00