fix box/c-as-expression

closes PR 15341
2016-08-24 14:30:36 -05:00 · 2016-08-24 14:30:36 -05:00 · 6983adc31d
commit 6983adc31d
parent 753d97335c
2 changed files with 4 additions and 1 deletions
--- 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
--- 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 ...)