Document Undecidable Instance
Nadie ha tomado este issue todavía.
Evaluación
- Dificultad
- 2/5
- Tiempo estimado
- 1-3 horas
- Aptitud para principiantes
- 35/100
- Tipo de issue
- Documentación
- Claridad
- Bastante claro
- Estado de actividad
- Estancado
- Área
- documentation
Línea de trabajo
Read the linked Try PureScript examples and trace how multiple deletes compose a Builder under the Type.Row constraints. Clarify the compiler issue and document the risk in the relevant library documentation; the result should explain when explicit annotations are needed. The issue does not name a documentation file or test.
Escrito por el modelo de indexación a partir del texto del issue.
Descripción
I ran into an issue using multiple deletes to compose a Builder because of the underlying Type.Row constraints:
http://try.purescript.org/?gist=c566077f18d0d9ddbd99d3c79d1cfd4a
@paf31 came up with these explicit annotations to fix it:
http://try.purescript.org/?gist=faf2fd6edfa06949831b0be85d91af43
I think @paf31 was saying this was a compiler issue but it'd be good to document the danger here.
- Lenguaje dominante
- PureScript
- Estrellas
- 65
- Forks
- 21
- Merge medio
- 2 d 23 h
- PR fusionados (30 d)
- 1
Preparar el entorno
- Sin Dockerfile ni archivo de Docker Compose
- Tiene una plantilla de pull request
- Sin 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 purescript/purescript-typelevel-prelude
-
Add Equals to Type.Data.Boolean?Quizá libre de nuevo Un pull request para esta issue se cerró sin fusionarse. Abiertostatus: needs more info
Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100
purescript/purescript-typelevel-prelude#65 · 4 comentarios ·
-
Feature Request: Symbol ReverseAbiertotype: enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 25/100
purescript/purescript-typelevel-prelude#40 · 3 comentarios ·
-
RowListIntersection?Abiertotype: enhancement
Dificultad 5/5 Más de una semana Aptitud para principiantes 10/100
purescript/purescript-typelevel-prelude#31 · 2 comentarios ·
-
Bundle up some examples?Abiertotype: documentation
Dificultad 2/5 1-3 horas Aptitud para principiantes 35/100
purescript/purescript-typelevel-prelude#18 · 8 reacciones ·
Todos los issues de purescript/purescript-typelevel-prelude
Issues similares
-
bug
Dificultad 1/5 Menos de una hora Aptitud para principiantes 75/100
MetrolistGroup/Metrolist#4554 ·
Los mantenedores suelen responder en 1 día
-
bug
Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100
Los mantenedores suelen responder en 1 día
-
Dificultad 1/5 Menos de una hora Aptitud para principiantes 72/100
kubescape/node-agent#1099 ·
Los mantenedores suelen responder en 1 día
-
15.0
Dificultad 2/5 1-3 horas Aptitud para principiantes 62/100
-
[workshop-sim] Improve: Provide a concrete example and activity checks in agentic intro (step 5)Abiertofeedback simulation workshop
Dificultad 2/5 1-3 horas Aptitud para principiantes 68/100
githubnext/gh-aw-workshop#5715 ·
Los mantenedores suelen responder en 1 día