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

more tests

Browse Source 
svn: r14685

original commit: 16305c20ff620f56df136583663a735b02f9a3a8
This commit is contained in:
Sam Tobin-Hochstadt 2009-05-02 01:45:50 +00:00
commit da63bcbcb7
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
collects/typed-scheme/test2.ss Normal file
View File

@ -0,0 +1,12 @@
#lang typed-scheme
(: f (Number String -> Number))
(define (f x z) (f x z))
(lambda: ([x : Any] [y : Any]) (values (number? y) (number? x)))
(lambda: ([x : Any] [y : Any]) (values (number? x) (number? y)))
(lambda: ([x : Any]) (values (number? x) (number? x)))
(: g (Any -> Boolean : Number))
(define g (lambda: ([x : Any]) (number? x)))
;(f 12 "hi")