racket/typed-racket

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

Aberta

#805 aberto em 23 de fev. de 2019

Ver no GitHub
 (0 comentário) (0 reação) (0 responsável)Racket (106 forks)github user discovery
good first issue

Métricas do repositório

Stars
 (576 estrelas)
Métricas de merge de PR
 (Mesclagem média 11d 14h) (1 fundiu PR em 30d)

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

Guia do colaborador

Direção de pesquisa
Investigue a implementação de `require/typed/provide` e compare com `require/typed` para identificar quais formulários estão faltando. Foque em lidar com cláusulas de renomeação como `(original id renamed id)`. Em seguida, implemente suporte para esses formulários ausentes.
Pilha de tecnologia
None
Domain
tooling
Tipo Issue
Bug
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
3
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
RacketTyped Racket
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
65