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
..
GENERIC	Quote port names that have a digit in them. IO_TIMER1 was lexed as	1998-10-22 13:49:51 +00:00