racket/typed-racket
`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests
オープン
#805 opened on 2019/02/23
good first issue
Repository metrics
- Stars
- (576 個のスター)
- PR merge metrics
- (平均マージ 11d 14h) (30d で 1 merged PR)
説明
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)))