From 1adc9702e81c0f6601af71715d42c2e5c6856227 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 15 Nov 2007 12:23:29 +0000 Subject: [PATCH] fix stop points of module-begin expansion (for contracts) in HtDP langauges svn: r7736 --- collects/lang/private/contracts/contracts-module-begin.ss | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/lang/private/contracts/contracts-module-begin.ss b/collects/lang/private/contracts/contracts-module-begin.ss index 8f8217975e..d04486d7bf 100644 --- a/collects/lang/private/contracts/contracts-module-begin.ss +++ b/collects/lang/private/contracts/contracts-module-begin.ss @@ -122,8 +122,8 @@ [_ (raise-syntax-error 'contract "internal error.5")]))) (define local-expand-stop-list - (list 'contract 'define-values 'define-syntaxes 'require 'require-for-syntax - 'provide 'define-data '#%app '#%datum 'define-struct 'begin 'begin0)) + (list 'contract 'define-values 'define-syntaxes '#%require + '#%provide 'define-data '#%app '#%datum 'define-struct 'begin 'begin0)) ;; parse-contract-expressions ;; takes in a list of top level expressions and a list of contracts, and outputs the correct transformation. @@ -221,8 +221,8 @@ (let ([e2 (local-expand #'e2 'module local-expand-stop-list)]) ;; Lift out certain forms to make them visible to the module ;; expander: - (syntax-case e2 (require define-syntaxes define-values-for-syntax define-values begin) - [(require . __) + (syntax-case e2 (#%require define-syntaxes define-values-for-syntax define-values begin) + [(#%require . __) #`(begin #,e2 (frm e1s e3s def-ids))] [(define-syntaxes (id ...) . _) #`(begin #,e2 (frm e1s e3s (id ... . def-ids)))]