From 6983adc31d5f9bcbe87ed36070f9f954182f678d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 24 Aug 2016 14:30:36 -0500 Subject: [PATCH] fix box/c-as-expression closes PR 15341 --- pkgs/racket-test/tests/racket/contract/box.rkt | 3 +++ racket/collects/racket/contract/private/box.rkt | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/pkgs/racket-test/tests/racket/contract/box.rkt b/pkgs/racket-test/tests/racket/contract/box.rkt index 4538f25f34..da6eac37b8 100644 --- a/pkgs/racket-test/tests/racket/contract/box.rkt +++ b/pkgs/racket-test/tests/racket/contract/box.rkt @@ -55,6 +55,9 @@ 'box/c7 '(set-box! (contract (box/c boolean? any/c) (box 12) 'pos 'neg) 11)) + (test/pos-blame + 'box/c8 + '(contract ((values box/c) any/c) #f 'pos 'neg)) (test/neg-blame 'box/c-with-cons/c-inside diff --git a/racket/collects/racket/contract/private/box.rkt b/racket/collects/racket/contract/private/box.rkt index d656ed43aa..4c9fdfbc9d 100644 --- a/racket/collects/racket/contract/private/box.rkt +++ b/racket/collects/racket/contract/private/box.rkt @@ -184,7 +184,7 @@ [x (identifier? #'x) (syntax-property - (syntax/loc stx box/c) + (syntax/loc stx box/c/proc) 'racket/contract:contract (vector (gensym 'ctc) (list #'x) null))] [(b/c arg ...)