From 29da86d9be7cfc7104e569a0b1fdd8cd96f25bde Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 25 Apr 2007 21:56:36 +0000 Subject: [PATCH] fix extract-used-classes to skip #redaer header svn: r6045 --- collects/wxme/wxme.ss | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/collects/wxme/wxme.ss b/collects/wxme/wxme.ss index f5ebef2b71..6989aac1e9 100644 --- a/collects/wxme/wxme.ss +++ b/collects/wxme/wxme.ss @@ -634,9 +634,12 @@ ;; ---------------------------------------- + (define (skip-reader port) + (regexp-match/fail-without-reading #rx#"^#reader[(]lib\"read.ss\"\"wxme\"[)]" port)) + (define (wxme-convert-port port close? snip-filter) ;; read optional #reader header: - (regexp-match/fail-without-reading #rx#"^#reader[(]lib\"read.ss\"\"wxme\"[)]" port) + (skip-reader port) ;; decode: (decode 'read-bytes port snip-filter close? #f)) @@ -696,7 +699,9 @@ (define (extract-used-classes port) (if (is-wxme-stream? port) - (decode 'extract-used-classes port (lambda (x) x) #f #t) + (begin + (skip-reader port) + (decode 'extract-used-classes port (lambda (x) x) #f #t)) (values null null))) (provide/contract [is-wxme-stream? (input-port? . -> . any)]