Matthew Flatt wrote at 06/26/2011 04:39 PM:
> A "|" never delimits in the sense of ending a symbol.
Understood. I'm just looking for confirmation that this readtable "|"
can never be involved in the reading of anything other than a symbol (or
part of a symbol). At least, not with the default readtable.
(The question is important for efficient parsing in the Emacs mode.)
--
http://www.neilvandyke.org/