From a650c59fb3a87564f2dad3259aaa88b6d23e5a3e Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 8 Dec 2010 20:09:31 -0500 Subject: [PATCH] Test for errors in rhs. original commit: 365d2726660ab9342f229789f268e2461cdd2063 --- collects/tests/typed-scheme/fail/safe-letrec.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/tests/typed-scheme/fail/safe-letrec.rkt b/collects/tests/typed-scheme/fail/safe-letrec.rkt index 3bf6dffb..32acee2c 100644 --- a/collects/tests/typed-scheme/fail/safe-letrec.rkt +++ b/collects/tests/typed-scheme/fail/safe-letrec.rkt @@ -1,7 +1,9 @@ #; -(exn-pred 1) +(exn-pred 2) #lang typed/racket ;; make sure letrec takes into account that some bidings may be undefined (+ (letrec: ([x : Float x]) x) 1) ; PR 11511 + +(letrec: ([x : Float (+ x 1)]) 0) ; error in rhs