Better output for Tagged Variants with non-inline record
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 5/5
- Tiempo estimado
- Más de una semana
- Aptitud para principiantes
- 45/100
- Tipo de issue
- Nueva funcionalidad
- Claridad
- Bastante claro
- Estado de actividad
- Tranquilo
- Stack tecnológico
- javascript, ocaml
- Área
- compilers
Línea de trabajo
El issue proporciona un ejemplo de una tagged-variant recursiva y la salida actual frente a la deseada de JavaScript; empieza reproduciendo ese ejemplo y siguiendo la ruta del compilador que emite registros de tagged-variant. Establece las restricciones aplicables para el tag/nombre de campo y para un único registro, y verifica después que el ejemplo produce campos aplanados sin el wrapper _0.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
Inline records in Variant provide good JS output, which is especially useful for bindings. When combined with tagged variants, they also provide a better DX.
However, it’s not always possible to inline records (or spread them in the case of recursive types), so I’m wondering if it would be possible to improve the JS output in the case of tagged variants.
One possible constraint would be to verify that the tag does not conflict with any of the record fields. We could also keep the same constraint as inline records: only one record.
@tag("nodeType")
type rec node =
| @as(1) Element(element)
| @as(3) Text(text)
| @as(9) Document(document)
and element = {
childNodes: array<node>,
ownerDocument: null<document>,
}
and text = {
nextElementSibling: null<element>,
}
and document = {
children: array<element>,
}
let anElement = Element({
childNodes: [Text({nextElementSibling: Null.null})],
ownerDocument: Null.null,
})
Current output:
let anElement = {
nodeType: 1,
_0: {
childNodes: [{
nodeType: 3,
_0: {
nextElementSibling: null
}
}],
ownerDocument: null
}
};
Wanted output:
let anElement = {
nodeType: 1,
childNodes: [{
nodeType: 3,
nextElementSibling: null
}],
ownerDocument: null
};
- Lenguaje dominante
- OCaml
- Estrellas
- 7.5k
- Forks
- 485
- Merge medio
- 1 d 2 h
- PR fusionados (30 d)
- 55
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Más de rescript-lang/rescript
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
rescript-lang/rescript#8659 · 2 comentarios · 2 reacciones ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 35/100
rescript-lang/rescript#8647 ·
-
rescript-lang/rescript#8632 · 1 asignado ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 28/100
rescript-lang/rescript#8624 ·
-
Dificultad 5/5 Más de una semana Aptitud para principiantes 30/100
rescript-lang/rescript#8596 · 2 comentarios ·
Todos los issues de rescript-lang/rescript
Issues similares
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
JakeChampion/lang#10213 ·
-
bug language-server
Dificultad 2/5 1-3 horas Aptitud para principiantes 70/100
purefunctor/purescript-iris#552 ·
-
enhancement good first issue needs testing
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 75/100
bradcypert/plum#58 ·