Added a test for optional let annotations.

original commit: 7e2094f2d719cfdb626c6aa78893a8516c9a7ea0
2010-09-16 13:07:09 -04:00 · 2010-09-16 13:07:09 -04:00 · 75d628bd68
commit 75d628bd68
parent ef623a46b6
1 changed files with 16 additions and 0 deletions
--- a/collects/tests/typed-scheme/succeed/let-no-anns.rkt
+++ b/collects/tests/typed-scheme/succeed/let-no-anns.rkt
@ -0,0 +1,16 @@
+#lang typed/racket
+
+(let: ((x : Integer 3)
+       (y 4))
+      (+ x y))
+
+(let: ((x 3) (y 4))
+      (+ x y))
+
+(let*: ((x 3)
+        (y : Integer (+ x 1)))
+       (+ x y))
+
+(letrec: ((x 3)
+          (y : (Integer -> Integer) (lambda (x) (y x))))
+         x)