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

Add test for or/c problem.

Browse Source
This commit is contained in:
Sam Tobin-Hochstadt 2015-11-06 11:47:11 -05:00
parent 6c11b58f69
commit 37bfd24a0b
1 changed files with 24 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

24
typed-racket-test/fail/union-or-exclusive.rkt Normal file
View File

@ -0,0 +1,24 @@
#;
(exn-pred exn:fail:contract? "Real")
#lang typed/racket #:no-optimize
(module m1 racket
(define (fix-vector-field-fun f)
(cond [(procedure-arity-includes? f 2 #t)
(λ (x y) (f x y))]
[else
(λ (x y) (f (vector x y)))]))
(provide fix-vector-field-fun))
(require/typed
(submod "." m1)
[fix-vector-field-fun (-> (U (-> Real Real Any)
(-> (Vector Real Real) Any))
(-> Real Real Any))])
(: f : (Vector Real Real) -> (Listof Real))
(define f (λ ([x : (Vector Real Real)] [ignored : Any #f])
(list (vector-ref x 0) (vector-ref x 1))))
((fix-vector-field-fun f) 0.0 0.0)