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

Add new test for better error reporting.

Browse Source 
svn: r12082

original commit: c6c4a049ee8b658459b5bf6b1564aced1afdd7b8
This commit is contained in:
Sam Tobin-Hochstadt 2008-10-21 17:58:57 +00:00
parent 4bed8042a1
commit a8185f5048
1 changed files with 9 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
collects/tests/typed-scheme/fail/unbound-type.ss Normal file
View File

@ -0,0 +1,9 @@
#;
(exn-pred 1)
#lang typed-scheme
(: f (Foo -> String))
(define (f x) (string-append x))
(f 1)