From 8bc9cef7a9d3c118438b5436af8ec020d363ea7a Mon Sep 17 00:00:00 2001 From: Daniel Feltey Date: Mon, 15 May 2017 17:03:52 -0500 Subject: [PATCH] Fix typo in vector contract implementation leading to wrong error message --- pkgs/racket-test/tests/racket/contract/vector.rkt | 7 ++++++- racket/collects/racket/contract/private/vector.rkt | 4 ++-- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/pkgs/racket-test/tests/racket/contract/vector.rkt b/pkgs/racket-test/tests/racket/contract/vector.rkt index 6b29c564fc..7b94c6007f 100644 --- a/pkgs/racket-test/tests/racket/contract/vector.rkt +++ b/pkgs/racket-test/tests/racket/contract/vector.rkt @@ -167,5 +167,10 @@ (test/pos-blame 'vectorof-eager-fail '(contract (vectorof integer? #:eager 5) (vector-immutable 0 "") 'pos 'neg)) - + (test/pos-blame + 'vectorof/mutable-flat + '(contract (vectorof integer? #:immutable #f #:flat? #t) (vector-immutable 3) 'pos 'neg)) + (test/pos-blame + 'vectorof/mutable-higher-order + '(contract (vectorof (-> integer? integer?) #:immutable #f) (vector-immutable add1) 'pos 'neg)) ) diff --git a/racket/collects/racket/contract/private/vector.rkt b/racket/collects/racket/contract/private/vector.rkt index 11d0dee160..ffae31fc0e 100644 --- a/racket/collects/racket/contract/private/vector.rkt +++ b/racket/collects/racket/contract/private/vector.rkt @@ -63,7 +63,7 @@ (fail val '(expected "an immutable vector" given: "~e") val))] [(eq? immutable #f) (when (immutable? val) - (fail val '(expected "an mutable vector" given: "~e" val)))] + (fail val '(expected "an mutable vector" given: "~e") val))] [else (void)]) (when first-order? (let loop ([n 0]) @@ -93,7 +93,7 @@ (cond [(immutable? val) (raise-blame-error blame #:missing-party neg-party - val '(expected "an mutable vector" given: "~e" val))] + val '(expected "an mutable vector" given: "~e") val)] [else #f])] [else #f])] [else