Add new test for better error reporting.
svn: r12082
This commit is contained in:
parent
428d407045
commit
c6c4a049ee
9
collects/tests/typed-scheme/fail/unbound-type.ss
Normal file
9
collects/tests/typed-scheme/fail/unbound-type.ss
Normal file
|
@ -0,0 +1,9 @@
|
|||
#;
|
||||
(exn-pred 1)
|
||||
#lang typed-scheme
|
||||
|
||||
|
||||
(: f (Foo -> String))
|
||||
(define (f x) (string-append x))
|
||||
|
||||
(f 1)
|
Loading…
Reference in New Issue
Block a user