Add test for PR 10794.
original commit: 0df00e31d53ceb8da8c1f1e00e3d638b80e7ce9f
This commit is contained in:
parent
e9d31e83fb
commit
8c158b5ede
22
collects/tests/typed-scheme/fail/undefined.rkt
Normal file
22
collects/tests/typed-scheme/fail/undefined.rkt
Normal file
|
@ -0,0 +1,22 @@
|
|||
#;
|
||||
(exn-pred "Undefined")
|
||||
#lang scheme/load
|
||||
|
||||
(module A scheme
|
||||
|
||||
(define (f x) (add1 x))
|
||||
|
||||
(provide f))
|
||||
|
||||
(module B typed/scheme
|
||||
|
||||
(require/typed 'A [f (Integer -> Integer)])
|
||||
|
||||
(let ()
|
||||
|
||||
(: x Integer)
|
||||
(define x (f x))
|
||||
|
||||
(void)))
|
||||
|
||||
(require 'B)
|
Loading…
Reference in New Issue
Block a user