typo: change error messages for vectorof contract

- change an 'an' to 'a'
- remove 'immutable' where expecting either mutable or immutable (don't
  bother to specify which, because `vector-common.rkt` doesn't bother)
- remove extra ','
This commit is contained in:
Ben Greenman 2019-04-17 23:47:42 -04:00 committed by Robby Findler
parent e1ad8d4721
commit 6d7550125f
2 changed files with 3 additions and 3 deletions

View File

@ -39,7 +39,7 @@
blame
#:missing-party neg-party
val
'(expected "an mutable vector" given: "~e")
'(expected "a mutable vector" given: "~e")
val)]
[else #f])]
[else #t])]
@ -48,7 +48,7 @@
blame
#:missing-party neg-party
val
'(expected "an immutable vector" given: "~e")
'(expected "a vector" given: "~e")
val)]
[else #f]))

View File

@ -94,7 +94,7 @@
[else
(raise-blame-error blame #:missing-party neg-party
val
'(expected "a vector," given: "~e")
'(expected "a vector" given: "~e")
val)])))
(define (vectorof-first-order ctc)