www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README

commit 5b64b3b042ad2b76e8efba3fd1fb16f44b3df51f
parent 9308677b2abcc2383e3826a74ce59e76de9ae0a3
Author: Stephen Chang <stchang@ccs.neu.edu>
Date:   Thu,  5 May 2016 14:06:10 -0400

lift out version consts for checking preserved prop

Diffstat:
Mtapl/stx-utils.rkt | 5++++-
1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/tapl/stx-utils.rkt b/tapl/stx-utils.rkt @@ -70,8 +70,11 @@ (define (generate-temporariesss stx) (stx-map generate-temporariess stx)) +(define REQUIRED-VERSION "6.5.0.4") +(define VERSION (version)) +(define PRESERVED-STX-PROP-SUPPORTED? (version<=? REQUIRED-VERSION VERSION)) (define (set-stx-prop/preserved stx prop val) - (if (version<=? "6.5.0.4" (version)) + (if PRESERVED-STX-PROP-SUPPORTED? (syntax-property stx prop val #t) (syntax-property stx prop val)))