racket/typed-racket
`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests
Ouverte
#805 ouverte le 23 févr. 2019
good first issue
Métriques du dépôt
- Stars
- (576 étoiles)
- Métriques de merge PR
- (Merge moyen 11j 14h) (1 PR mergée en 30 j)
Description
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)))