Use `typeuse` in text format?
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 5/5
- Tempo estimado
- Mais de uma semana
- Facilidade para iniciantes
- 35/100
- Tipo de issue
- Funcionalidade
- Clareza
- Razoavelmente clara
- Status de atividade
- Pouca atividade
- Stack de tecnologia
- wasm
- Domínio
- compilers
Direção de pesquisa
Start by reviewing the current text-format grammar for continuation type definitions and the existing typeuse production referenced in the issue. Compare the proposed forms, including the abbreviated examples, with the current (cont $f) syntax. Done means the proposal's text-format behavior and compatibility implications have been resolved and documented.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
The current explainer does not explicitly explain the text format for this proposal, but I propose that the text format for continuation type definitions be updated to this:
comptype_I ::= ... | '(' 'cont' (x,I'):typeuse_I ')' => (cont x), I'
Using the existing typeuse production and its abbreviation would allow all of these to be well-formed and valid:
(module
(type $f (func (param i32) (result i32))
(type $k1 (cont (type $f)))
(type $k2 (cont (type $f) (param i32) (result i32))) ;; Same as $k1
(type $k3 (cont (param i32) (result i32))) ;; Same as $k1 and $k2
(type $k4 (cont (param i64) (result i64))) ;; Implicitly defines a new function type
(type $k5 (cont)) ;; Implicitly defines a new function type
)
Notably the current text format (type $k (cont $f)) would no longer be correct, but the advantage would be that writing tests would become much simpler because the function types would not need to be separately defined. (This is about the text format only; the function type definition would still be separate in the binary format and abstract syntax.)
- Linguagem predominante
- WebAssembly
- Estrelas
- 218
- Forks
- 19
- Métricas de merge de PRs
- Nenhum PR com merge em 30d
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Sem modelo de pull request
- Ler o guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de WebAssembly/stack-switching
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
WebAssembly/stack-switching#156 · 1 comentário ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
WebAssembly/stack-switching#145 · 4 comentários ·
-
JSPI integrationAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
WebAssembly/stack-switching#131 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 45/100
WebAssembly/stack-switching#128 · 6 comentários ·
-
What is needed for phase 3?Aberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 20/100
WebAssembly/stack-switching#122 · 3 comentários ·
Todas as issues de WebAssembly/stack-switching
Issues semelhantes
-
area:codegen backend:cuda backend:hip bug direction:input
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
CrossGL/crosstl#3061 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 85/100
-
build
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 65/100
AOMediaCodec/SVT-AV1#2500 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
rescript-lang/rescript#9037 ·
Mantenedores costumam responder em até 1 dia
-
bug goto-symex
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 83/100
Mantenedores costumam responder em até 1 dia