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

Add test for assq

Browse Source 
svn: r11871

original commit: 23db0aa366a5e85eefc3d8ff188d23ddf40aef82
This commit is contained in:
Sam Tobin-Hochstadt 2008-09-25 14:55:36 +00:00
parent 4a09a3f669
commit a7a6f1451e
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -651,6 +651,9 @@
Boolean String Number)
(N N N . -> . N)]
[tc-e (assq 'foo #{'((a b) (foo bar)) :: (Listof (List Symbol Symbol))})
(Un (-val #f) (-pair Sym (-pair Sym (-val null))))]
#;[tc-err (let: ([fact : (Number -> Number) (lambda: ([n : Number]) (if (zero? n) 1 (* n (fact (- n 1)))))])
(fact 20))]