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

Most typecheck tests now pass.

Browse Source 
Add two new success tests.

svn: r9577

original commit: 567e438f1d77d31aae4e25ea250da644638fb5de
This commit is contained in:
Sam Tobin-Hochstadt 2008-05-01 22:53:10 +00:00
parent 86659a3ad3
commit 09dbb124b9
3 changed files with 501 additions and 496 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
collects/tests/typed-scheme/succeed/map1.ss Normal file
View File

@ -0,0 +1,6 @@
#lang typed-scheme
(: f ((U String Number) -> Void))
(define (f x) (void))
(map f (list 1 2 3))

4
collects/tests/typed-scheme/succeed/map2.ss Normal file
View File

@ -0,0 +1,4 @@
#lang typed-scheme
(map add1 #{(list 1 2 3) :: (Listof Integer)})
(map add1 #{(list 1 2 3) :: (Listof Number)})

987
collects/tests/typed-scheme/unit-tests/typecheck-tests.ss
View File

File diff suppressed because it is too large Load Diff