racket/typed-racket
`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests
Offen
#805 geöffnet am 23.02.2019
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?
7.2
What program did you run?
#lang typed/racket/base
(require/typed/provide racket/base
[(add1 inc) (Integer -> Integer)])
What should have happened?
Program compiles, as doc for require/typed/provide suggests:
(require/typed/provide m rt-clause ...)
I don't know if this is a bug or it is intended and the doc is just imprecise.
If you got an error message, please include it here.
; require/typed/provide: expected identifier or expected one of these literals: #:struct or #:opaque
; at: (add1 inc)
; in: (require/typed/provide racket/base ((add1 inc) (Integer -> Integer)))