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

ext-stlc: multi-expr let body and top-lvl fn defs

Browse Source
This commit is contained in:
Stephen Chang 2016-10-31 15:35:34 -04:00
parent b4d5c710b3
commit 39ad3e1726
1 changed files with 20 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
turnstile/examples/tests/ext-stlc-tests.rkt
View File

@ -135,6 +135,26 @@
#:with-msg
"branches have incompatible types: Int and String")
;; top-level defines (from mlish-tests.rkt)
(define (f [x : Int] → Int) x)
(typecheck-fail (f 1 2)
#:with-msg "f: wrong number of arguments: expected 1, given 2")
(check-type f : (→ Int Int))
(check-type (f 1) : Int ⇒ 1)
(typecheck-fail (f (λ ([x : Int]) x)))
;; recursive fn
(define (recf [x : Int] → Int) (recf x))
(check-type recf : (→ Int Int))
(define (countdown [x : Int] → Int)
(if (zero? x)
0
(countdown (sub1 x))))
(check-type (countdown 0) : Int ⇒ 0)
(check-type (countdown 10) : Int ⇒ 0)
(typecheck-fail (countdown "10") #:with-msg "expected Int, given String")
;; tests from stlc+lit-tests.rkt --------------------------
; most should pass, some failing may now pass due to added types/forms
(check-type 1 : Int)