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

Updated unit contract tests to not rely on a specific format for names of

Browse Source 
blamed modules in contract error messages.
(cherry picked from commit d5b852c386)
This commit is contained in:
Carl Eastlund 2011-07-09 17:28:04 -04:00 committed by Eli Barzilay
parent 6d79e54a4d
commit d7fcd2f149
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/units/test-unit-contracts.rktl
View File

@ -626,8 +626,8 @@
(require (prefix-in m2: 'm2))
(m2:z)
(test-contract-error "'m2" "U@" "not a symbol" (m2:w))
(test-contract-error "'m1" "U@" "not a string" (m2:v))
(test-contract-error "m2" "U@" "not a symbol" (m2:w))
(test-contract-error "m1" "U@" "not a string" (m2:v))
(test-syntax-error "no y in sig1"
(unit/c (import (sig1 [y number?]))
@ -700,7 +700,7 @@
(require (prefix-in m4: 'm4))
(test-contract-error "'m4" "f" "not an x"
(test-contract-error "m4" "f" "not an x"
(m4:f 3))
(require (prefix-in m3: 'm3))