Can't apply control operators to values that the rfc considers valid

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

Ninguém assumiu esta issue ainda.

Avaliação

Dificuldade
4/5
Tempo estimado
3-5 dias
Facilidade para iniciantes
35/100
Tipo de issue
Bug
Clareza
Razoavelmente clara
Status de atividade
Estagnada
Stack de tecnologia
haskell
Domínio
tooling

Direção de pesquisa

Comece pelo branch CtlOp.Lt mostrado na issue e compare seu tratamento exclusivo de PTUInt com as formas válidas listadas; use a ferramenta cddl como referência de comportamento. A tarefa estará concluída quando os cinco exemplos, juntamente com os casos análogos de operadores de controle mencionados, forem aceitos em vez de rejeitados.

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

Descrição

bug

Because of this code:

    (CtlOp.Lt, CTree.Literal (VUInt n)) -> case tt of
      CTree.Postlude PTUInt -> S . TInteger <$> genUniformRM (0, fromIntegral n - 1)
      _ -> error "Cannot apply lt operator to target"

We can only apply rules like uint .lt 2. It forbids the following cases:

rule1 = nint .lt 2
rule2 = int .lt 2
rule3 = 1..5 .lt 2
rule4 = 1 .lt 2
rule5 = ((1..3) / (1..5)) .lt 2

All these cases are accepted by the cddl tool. The same seems to happen with most of the other control operators.

Linguagem predominante
Haskell
Estrelas
8
Forks
5
Merge médio
3d 12h
PRs com merge (30d)
4

Preparar o ambiente

Este projeto não oferece contêiner de desenvolvimento, Dockerfile nem guia de contribuição, então a configuração fica por sua conta: comece pelo README e veja nosso guia da primeira contribuição para os passos gerais.

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 IntersectMBO/cuddle

Todas as issues de IntersectMBO/cuddle

Issues semelhantes

Mais issues de Haskell

Receba novas issues na sua caixa de entrada

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