From 028891aa5189045029340d28b32f1e63c061d663 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 19 Jan 2007 02:50:27 +0000 Subject: [PATCH] same WXME regexp bug svn: r5410 --- collects/wxme/wxme.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/collects/wxme/wxme.ss b/collects/wxme/wxme.ss index cd701aa9bb..9549f45f44 100644 --- a/collects/wxme/wxme.ss +++ b/collects/wxme/wxme.ss @@ -590,7 +590,8 @@ (define unknown-extensions-skip-enabled (make-parameter #f)) (define (is-wxme-stream? p) - (regexp-match-peek #rx#"^(?:#reader(lib\"read[.]ss\"\"wxme\"))?WXME01[0-9][0-9] ##[ \r\n]" p)) + (and (regexp-match-peek #rx#"^(?:#reader[(]lib\"read[.]ss\"\"wxme\"[)])?WXME01[0-9][0-9] ##[ \r\n]" p) + #t)) (define/kw (wxme-port->port port #:optional [close? #t] [snip-filter (lambda (x) x)]) (wxme-convert-port port close? snip-filter))