From 10655a8373ffb1caf5c5d84ed22a2de65778765c Mon Sep 17 00:00:00 2001 From: Eric Dobson Date: Sat, 26 Jan 2013 16:08:23 -0800 Subject: [PATCH] Fix syntax/c. Closes PR13447. --- collects/racket/contract/private/misc.rkt | 2 +- collects/tests/racket/contract-test.rktl | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/collects/racket/contract/private/misc.rkt b/collects/racket/contract/private/misc.rkt index afc0d99309..442dcfcce1 100644 --- a/collects/racket/contract/private/misc.rkt +++ b/collects/racket/contract/private/misc.rkt @@ -814,7 +814,7 @@ #:projection list/c-chaperone/other-projection)) (define/subexpression-pos-prop (syntax/c ctc-in) - (let ([ctc (coerce-contract 'syntax/c ctc-in)]) + (let ([ctc (coerce-flat-contract 'syntax/c ctc-in)]) (flat-named-contract (build-compound-type-name 'syntax/c ctc) (let ([pred (flat-contract-predicate ctc)]) diff --git a/collects/tests/racket/contract-test.rktl b/collects/tests/racket/contract-test.rktl index 888efb1501..25b206fc04 100644 --- a/collects/tests/racket/contract-test.rktl +++ b/collects/tests/racket/contract-test.rktl @@ -9493,6 +9493,10 @@ 'pos 'neg)) + (test/no-error '(syntax/c (list/c #f))) + (contract-error-test 'syntax/c-non-flat '(syntax/c (vector/c #f)) + (λ (x) (regexp-match #rx"expected a flat contract" (exn-message x)))) + ; ;