racket/typed-racket

`require/typed/provide` and `unsafe-require/typed/provide` do not support all forms `require/typed` does like doc suggests

Aperta

#805 aperta il 23 feb 2019

Vedi su GitHub
 (0 commenti) (0 reazioni) (0 assegnatari)Racket (106 fork)github user discovery
good first issue

Metriche repository

Star
 (576 stelle)
Metriche merge PR
 (Merge medio 11g 14h) (1 PR mergiata in 30 g)

Descrizione

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)))

Guida contributor

Direzione di ricerca
Investigare l'implementazione di `require/typed/provide` e confrontarla con `require/typed` per identificare le forme mancanti. Concentrarsi sulla gestione delle clausole di rinomina come `(original id renamed id)`. Quindi implementare il supporto per tali forme mancanti.
Tech stack
Nessuno
Dominio
tooling
Tipo issue
Bug
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
Mezza giornata
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Chiara
Prerequisiti
RacketTyped Racket
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
65