racket/typed-racket
The no-check TR language's bindings are not identical to TR in the transformer environment
Offen
#595 geöffnet am 30.08.2017
good first issue
Repository-Metriken
- Stars
- (576 Sterne)
- PR-Merge-Metriken
- (Durchschn. Merge 11T 14h) (1 gemergte PR in 30 T)
Beschreibung
What version of Racket are you using?
$ racket -v
Welcome to Racket v6.10.
What program did you run?
#lang racket
(module ok typed/racket
(begin-for-syntax
#'yep))
(module not-ok typed/racket/no-check
(begin-for-syntax
#'yep))
(module ok2 typed/racket/no-check
(require (for-syntax racket/base))
(begin-for-syntax
#'yep))
What should have happened?
According to the documentation,
They provide the same bindings and syntax as typed/racket and typed/racket/base, but do no type checking.
where "They" refers to the no-check languages. Thus, the programs should all mean the same thing, and the for-syntax require of racket/base in the module ok2 should be redundant rather than necessary.
If you got an error message, please include it here.
; /home/davidc/tmp/busted.rkt:10:4: syntax: unbound identifier in the transformer environment;
; also, no #%app syntax transformer is bound
; at: syntax
; in: (syntax yep)