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/ _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/users