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

Fix Unit integration tests to match AnyValues in error messages

Browse Source
This commit is contained in:
Daniel Feltey 2015-09-11 15:43:51 -05:00
parent f89d91d864
commit 93b9390e3b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred (regexp-quote "type mismatch\n expected: (Unit (import) (export x-sig) (init-depend) Any)\n given: (Unit (import) (export) (init-depend) Void)"))
(exn-pred (regexp-quote "type mismatch\n expected: (Unit (import) (export x-sig) (init-depend) AnyValues)\n given: (Unit (import) (export) (init-depend) Void)"))
#lang typed/racket
(define-signature x-sig ([x : Integer]))

2
typed-racket-test/fail/dviu-has-imports.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred (regexp-quote "type mismatch\n expected: (Unit (import) (export) (init-depend) Any)\n given: (Unit (import x-sig) (export) (init-depend) Integer)"))
(exn-pred (regexp-quote "type mismatch\n expected: (Unit (import) (export) (init-depend) AnyValues)\n given: (Unit (import x-sig) (export) (init-depend) Integer)"))
#lang typed/racket