From 93b9390e3b0a72cf315fb2f86f35b48c9af3a441 Mon Sep 17 00:00:00 2001 From: Daniel Feltey Date: Fri, 11 Sep 2015 15:43:51 -0500 Subject: [PATCH] Fix Unit integration tests to match AnyValues in error messages --- typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt | 2 +- typed-racket-test/fail/dviu-has-imports.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt b/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt index c47b3a79..a7daf24d 100644 --- a/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt +++ b/typed-racket-test/fail/def-val-inv-unit-sig-mismatch.rkt @@ -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])) diff --git a/typed-racket-test/fail/dviu-has-imports.rkt b/typed-racket-test/fail/dviu-has-imports.rkt index 281cfac5..01783e1b 100644 --- a/typed-racket-test/fail/dviu-has-imports.rkt +++ b/typed-racket-test/fail/dviu-has-imports.rkt @@ -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