Int bottom is not safe
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 3/5
- Tempo estimado
- 1-2 dias
- Facilidade para iniciantes
- 32/100
- Tipo de issue
- Bug
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Domínio
- backend
Direção de pesquisa
The issue links to src/Data/Bounded.js lines 1–2, where the Int bounds are listed. Read the Int Ring instance and check how its bottom value behaves under negation; the issue notes that negate bottom == bottom. Done means the lower bound is safe for the Ring instance.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
The bottom and top values for Int are listed as above. The problem here is that -bottom is greater than top, which means bottom is actually not a safe value for the Ring instance of Int. You can verify for yourself that negate bottom == bottom!
- Linguagem predominante
- PureScript
- Estrelas
- 168
- Forks
- 90
- Merge médio
- 3d 1h
- 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
- 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 purescript/purescript-prelude
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 57/100
purescript/purescript-prelude#317 · 1 reação ·
-
add liftCompare & friendsAberta
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
purescript/purescript-prelude#310 · 5 comentários ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 24/100
purescript/purescript-prelude#308 · 2 comentários ·
-
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 35/100
purescript/purescript-prelude#307 · 1 comentário · 1 reação ·
-
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 25/100
purescript/purescript-prelude#305 · 5 comentários ·
Todas as issues de purescript/purescript-prelude
Issues semelhantes
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
ROCm/rocm-libraries#15866 ·
Mantenedores costumam responder em até 2 dias
-
お問い合わせのメール送信に失敗しても成功と表示されるAbertaarea: web
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
inabagumi/shinju-date#6823 ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 62/100
-
ManageSieve proxy: a backend's NO/BYE greeting is skipped as a capability line and reported as EOFAbertabug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 1/5 Menos de uma hora Facilidade para iniciantes 82/100
dmtrKovalenko/odiff#191 ·