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

Update TR tests to reflect new contract error messages.

Browse Source 
original commit: 09ffb7049288731040aa33c41b5c13952d9ab285
This commit is contained in:
Vincent St-Amour 2010-12-10 16:58:42 -05:00
parent 73046316e6
commit 432b1040dc
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".*violator.*contract.*\\(-> Number Number\\).*f.*")
(exn-pred exn:fail:contract? #rx".*contradiction.*contract.*\\(-> Number Number\\).*f.*")
#lang scheme/load

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

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