From 9de497d854dded77cba6f848b3744b9de3f273f9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 24 Jul 2009 04:37:34 +0000 Subject: [PATCH] PR 10344 svn: r15545 original commit: 0c73b84692ff89398717e7171a7ec6a968e6249f --- collects/parser-tools/parser-tools.scrbl | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/collects/parser-tools/parser-tools.scrbl b/collects/parser-tools/parser-tools.scrbl index 00654b8..fc41727 100644 --- a/collects/parser-tools/parser-tools.scrbl +++ b/collects/parser-tools/parser-tools.scrbl @@ -216,8 +216,10 @@ are a few examples, using @scheme[:] prefixed SRE syntax: no @scheme[(special)] rule is present, the lexer returns @scheme[(void)].}] - End-of-files, specials, special-comments and special-errors can - never be part of a lexeme with surrounding characters. + End-of-files, specials, special-comments and special-errors cannot + be parsed via a rule using an ordinary regular expression + (but dropping down and manipulating the port to handle them + is possible in some situations). Since the lexer gets its source information from the port, use @scheme[port-count-lines!] to enable the tracking of line and