typed-racket/typed-racket-test/succeed/pr13691.rkt
2014-12-16 10:07:25 -05:00

4 lines
53 B
Racket

#lang typed/racket
(let: loop : Integer ([b #t]) 3)