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

add lambda internal begin test

Browse Source
This commit is contained in:
Stephen Chang 2014-08-05 15:28:11 -04:00
parent 28cb9b5107
commit a906d121f9
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
stlc-tests.rkt
View File

@ -49,4 +49,5 @@
(check-type (λ ([x : Int]) (void) (+ x 1)) : (→ Int Int))
(check-type-error (λ ([x : Int]) 1 1))
(check-type (λ ([x : Int] [y : Int]) (+ x y)) : (→ Int Int Int))
(check-type-and-result (λ ([a : Int] [b : Int] [c : Int]) (void) (void) (+ a b c))
(check-type-and-result ((λ ([a : Int] [b : Int] [c : Int]) (void) (void) (+ a b c)) 1 2 3)
: Int => 6)