From 3c72a6622a7f7f51b7f6605b3629afa60968a784 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Fri, 29 Jun 2007 07:40:01 +0000 Subject: [PATCH] better reader implementation svn: r6767 original commit: c6415843425e5df5fcd33379ab6a58db145bb8f3 --- collects/scribble/docreader.ss | 14 +++----------- 1 file changed, 3 insertions(+), 11 deletions(-) diff --git a/collects/scribble/docreader.ss b/collects/scribble/docreader.ss index abb2bde4..067d53b1 100644 --- a/collects/scribble/docreader.ss +++ b/collects/scribble/docreader.ss @@ -4,21 +4,13 @@ (lib "kw.ss")) (provide (rename *read read) - (rename *read-syntax read-syntax)) - - (define (call-with-scribble-params t) - (parameterize ([scribble:read-insert-indents #f]) - (t))) + (rename *read-syntax read-syntax)) (define/kw (*read #:optional [inp (current-input-port)]) - (call-with-scribble-params - (lambda () - (wrap inp (scribble:read-inside inp))))) + (wrap inp (scribble:read-inside inp))) (define/kw (*read-syntax #:optional src [port (current-input-port)]) - (call-with-scribble-params - (lambda () - (wrap port (scribble:read-inside-syntax src port))))) + (wrap port (scribble:read-inside-syntax src port)))) (define (wrap port body) (let* ([p-name (object-name port)]