Test for errors in rhs.

original commit: 365d2726660ab9342f229789f268e2461cdd2063
2010-12-08 20:09:31 -05:00 · 2010-12-08 20:09:31 -05:00 · a650c59fb3
commit a650c59fb3
parent f4a1a31f61
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