On Feb 15, 2012 5:28 PM, "Kang-Hao (Kenny) Lu" <kennyluck@csail.mit.edu> wrote: > # The <id> value consists of a ‘#’character followed by an > # identifier > > It's not too obvious what "identifer" means here. Is it equivalent to > <identifier> or just an IDENT token? Namely, are #auto, #current and > #root valid values here or not? What is the significance of #auto, etc.? Were these just examples, or are you assuming that they have some special meaning? ~TJReceived on Thursday, 16 February 2012 01:35:13 UTC
This archive was generated by hypermail 2.4.0 : Monday, 23 January 2023 02:14:11 UTC