From fca96dcdc1facff62cfe8639cde2b616d66ec917 Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Mon, 20 Jul 2015 15:34:49 -0400 Subject: [PATCH] Quote `typecheck-fail-internal` properly. Caught by existing unit tests. --- typed-racket-lib/typed-racket/base-env/prims.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/typed-racket-lib/typed-racket/base-env/prims.rkt b/typed-racket-lib/typed-racket/base-env/prims.rkt index 886f866b..db121f12 100644 --- a/typed-racket-lib/typed-racket/base-env/prims.rkt +++ b/typed-racket-lib/typed-racket/base-env/prims.rkt @@ -770,13 +770,13 @@ the typed racket language. (define-syntax (typecheck-fail stx) (syntax-parse stx [(_ orig msg:str #:covered-id var:id) - #'(quote (typecheck-fail-internal orig msg var))] + #'(quote-syntax (typecheck-fail-internal orig msg var) #:local)] [(_ orig msg:str) - #'(quote (typecheck-fail-internal orig msg #f))] + #'(quote-syntax (typecheck-fail-internal orig msg #f) #:local)] [(_ orig #:covered-id var:id) - #'(quote (typecheck-fail-internal orig "Incomplete case coverage" var))] + #'(quote-syntax (typecheck-fail-internal orig "Incomplete case coverage" var) #:local)] [(_ orig) - #'(quote(typecheck-fail-internal orig "Incomplete case coverage" #f))])) + #'(quote-syntax (typecheck-fail-internal orig "Incomplete case coverage" #f) #:local)])) (define-syntax (base-for/vector stx) (syntax-case stx ()