9 lines
158 B
Racket
9 lines
158 B
Racket
;; should FAIL!
|
|
|
|
#lang typed-scheme
|
|
|
|
(let*: ((x : Any 1)
|
|
(f : (-> Void) (lambda () (set! x (quote foo)))))
|
|
(if (number? x) (begin (f) (add1 x)) 12))
|
|
|