Test for errors in rhs.

2010-12-08 20:09:31 -05:00 · 2010-12-08 20:09:31 -05:00 · 365d272666
commit 365d272666
parent 81ef5f9418
1 changed files with 3 additions and 1 deletions
--- 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