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

Fix TR tests for new contract error messages.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2010-12-29 13:46:57 -05:00
parent f57b431c2e
commit 2431f8f706
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
collects/tests/typed-scheme/fail/back-and-forth.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred exn:fail:contract? #rx".*contradiction.*contract.*\\(-> Number Number\\).*f.*")
(exn-pred exn:fail:contract? #rx".*contract violation.*contract.*f.*\\(-> Number Number\\).*")
#lang scheme/load

2
collects/tests/typed-scheme/fail/pr10594.rkt
View File

@ -1,5 +1,5 @@
#;
(exn-pred exn:fail:contract? #rx".*contradiction.*implementation of 'U.*")
(exn-pred exn:fail:contract? #rx".*contract violation.*blaming 'U.*")
#lang scheme/load
(module T typed-scheme