From 75d628bd686acf47db7f102c63585dec5a285c6c Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Thu, 16 Sep 2010 13:07:09 -0400 Subject: [PATCH] Added a test for optional let annotations. original commit: 7e2094f2d719cfdb626c6aa78893a8516c9a7ea0 --- .../tests/typed-scheme/succeed/let-no-anns.rkt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 collects/tests/typed-scheme/succeed/let-no-anns.rkt diff --git a/collects/tests/typed-scheme/succeed/let-no-anns.rkt b/collects/tests/typed-scheme/succeed/let-no-anns.rkt new file mode 100644 index 00000000..15ff1f3e --- /dev/null +++ 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)