From fe4857ee3c91bf65c494cb7b45f72cc558a28cc2 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Tue, 3 Jul 2007 03:32:07 +0000 Subject: [PATCH] a line-item can also be terminated by an EOF svn: r6802 --- collects/scribble/reader.ss | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/collects/scribble/reader.ss b/collects/scribble/reader.ss index b566efb4a0..a8277d30fe 100644 --- a/collects/scribble/reader.ss +++ b/collects/scribble/reader.ss @@ -62,9 +62,10 @@ (define str:end-of-line "[ \t]*\r?\n[ \t]*") ; eat spaces on the next line (define re:end-of-line (^px str:end-of-line)) (define (re:line-item* bgn end) - (^px "(.+?)(?:"bgn"|"end"|"ch:command"|"str:end-of-line")")) + (^px "(.+?)(?:" (if bgn `(,bgn"|") "") (if end `(,end"|") "") + ch:command"|"str:end-of-line"|$)")) (define re:line-item (re:line-item* ch:lines-begin ch:lines-end)) - (define re:line-item-no-nests (^px "(.+?)(?:"ch:command"|"str:end-of-line")")) + (define re:line-item-no-nests (re:line-item* #f #f)) ;; -------------------------------------------------------------------------- ;; utilities