typed-racket/typed-racket-test/fail/let-internal-nameleak.rkt
Brian Lachance 1e5bc30b95 Prevent -let-internal name from leaking to users
Because -let-internal wasn't rename-out'd, users would see its name in
syntax error messages. Adding #:context forces the error messages to be
phrased in terms of the given form.
2015-07-29 11:07:54 -04:00

5 lines
102 B
Racket

#;
(exn-pred exn:fail:syntax? #rx"let: expected identifier")
#lang typed/racket
(let ([() 5]) (void))