typed-racket/typed-racket-test/fail/with-asserts3.rkt
2014-12-16 10:07:25 -05:00

8 lines
100 B
Racket

#;
(exn-pred exn:fail?)
#lang typed/racket
(let ([x #f])
(with-asserts ([x])
x))