| From: Neil Van Dyke (neil at neilvandyke.org) Date: Sun Jun 26 16:52:49 EDT 2011 |
|
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/
| Posted on the users mailing list. |
|
![[logo]](/logo.png){kind=logo}