From 52f0e100a7b7825a76e82cfb9a9ffc7b99c78118 Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Mon, 15 Sep 2008 23:09:25 +0000 Subject: [PATCH] properly use module-reader svn: r11770 --- collects/typed-scheme/no-check/lang/reader.ss | 15 +++++---------- 1 file changed, 5 insertions(+), 10 deletions(-) diff --git a/collects/typed-scheme/no-check/lang/reader.ss b/collects/typed-scheme/no-check/lang/reader.ss index c35cbecc78..ad228622bc 100644 --- a/collects/typed-scheme/no-check/lang/reader.ss +++ b/collects/typed-scheme/no-check/lang/reader.ss @@ -1,13 +1,8 @@ -#lang scheme/base -(require (prefix-in r: "../../typed-reader.ss") - (only-in syntax/module-reader wrap-read-all)) +#lang s-exp syntax/module-reader -(define (*read in modpath line col pos) - (wrap-read-all 'typed-scheme/no-check in r:read modpath #f line col pos)) +typed-scheme/no-check -(define (*read-syntax src in modpath line col pos) - (wrap-read-all - 'typed-scheme/no-check in (lambda (in) (r:read-syntax src in)) - modpath src line col pos)) +#:read r:read +#:read-syntax r:read-syntax -(provide (rename-out [*read read] [*read-syntax read-syntax])) +(require (prefix-in r: "../typed-reader.ss"))