fix box/c-as-expression

closes PR 15341
racket · Aug 24, 2016 · 6983adc · 6983adc
1 parent 753d973
commit 6983adc
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git 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
@@ -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 ...)