Document Undecidable Instance

Aberta
  • Algo errado?
#34 1 comentário 0 reações 0 responsáveis Ver no GitHub

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
2/5
Tempo estimado
1-3 horas
Facilidade para iniciantes
35/100
Tipo de issue
Documentação
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Domínio
documentation

Direção de pesquisa

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.

Escrita pelo modelo de indexação a partir do texto da issue.

Descrição

status: needs more info type: documentation

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.

Linguagem predominante
PureScript
Estrelas
65
Forks
21
Merge médio
2d 23h
PRs com merge (30d)
1

Preparar o ambiente

  • Sem Dockerfile nem arquivo Docker Compose
  • Tem um modelo de pull request
  • Sem guia de contribuição

Primeiros passos

  1. Leia a issue inteira e depois o guia de contribuição do projeto.
  2. Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
  3. Faça um fork do repositório e trabalhe em uma branch.
  4. Abra um pull request que referencie o número da issue.

Mais de purescript/purescript-typelevel-prelude

Todas as issues de purescript/purescript-typelevel-prelude

Issues semelhantes

Mais issues de Documentation

Receba novas issues na sua caixa de entrada

Um resumo curto de issues do GitHub para quem está começando.