suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fix TR tests for new error messages

Browse Source 
Related to commit fa81fb35f7361f0a985ad4d311400d621a2a5496

original commit: b205c99560d21b80d975dda3fa5f688ae832cd0f
This commit is contained in:
Asumu Takikawa 2014-03-10 17:01:31 -04:00
parent 41291066b4
commit 951c64f94d
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/class-tests.rkt
View File

@ -993,7 +993,7 @@
(: m (Integer -> Integer))
(define/pubment (m x)
(inner 3 m)))
#:msg #rx"Wrong number of arguments, expected 2"]
#:msg #rx"wrong number of arguments provided.*expected: 2"]
;; Fail, bad augment type
[tc-err (let ()
(define c%

2
pkgs/typed-racket-pkgs/typed-racket-test/tests/typed-racket/unit-tests/typecheck-tests.rkt
View File

@ -2109,7 +2109,7 @@
[tc-err (let () (tr:define (f x #:y y) (string-append x "foo")) (void))
#:msg #rx"expected: String.*given: Any"]
[tc-err (let () (tr:define (f x #:y y) y) (f "a"))
#:msg #rx"Required keyword not supplied"]
#:msg #rx"required keyword was not supplied"]
;; test lambdas with mixed type expressions, typed keywords, typed
;; optional arguments