suzanne.soy/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
This commit is contained in:
Vincent St-Amour 2010-12-10 16:58:42 -05:00
parent b9d67eea2f
commit 09ffb70492
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 #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 #lang scheme/load
(module T typed-scheme (module T typed-scheme