another test case

2016-12-15 20:17:43 -06:00 · 2016-12-15 20:17:43 -06:00 · 7fcba3fcaa
commit 7fcba3fcaa
parent b100f4bb75
1 changed files with 5 additions and 0 deletions
--- a/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
+++ b/pkgs/racket-test/tests/racket/contract/arrow-i.rkt
@ -174,6 +174,11 @@
   '->i8
   '((contract (->i ([x number?] [y (x) (<=/c x)]) () [r (x) (<=/c x)]) 
               (lambda (x y) (+ x 1)) 'pos 'neg) 1 2))
+
+  (test/neg-blame
+   '->i8b
+   '((contract (->i ([x number?] [y (x) number?]) any)
+               (lambda (x y) y) 'pos 'neg) "1" 2))
  
  (test/spec-passed
   '->i9