Int bottom is not safe
Nobody has claimed this yet.
Assessment
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Newbie friendliness
- 32/100
- Issue type
- Bug
- Clarity
- Mostly clear
- Activity status
- Stale
- Domain
- backend
Research direction
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.
Written by the indexing model from the issue text.
Description
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!
- Dominant language
- PureScript
- Stars
- 168
- Forks
- 90
- Avg merge
- 3d 1h
- Merged PRs (30d)
- 1
Getting set up
- No Dockerfile or Docker Compose file
- Has a pull request template
- No contributing guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from purescript/purescript-prelude
-
Difficulty 2/5 1-3 hours Newbie friendliness 57/100
purescript/purescript-prelude#317 · 1 reaction ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
purescript/purescript-prelude#310 · 5 comments ·
-
Difficulty 5/5 Over a week Newbie friendliness 24/100
purescript/purescript-prelude#308 · 2 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
purescript/purescript-prelude#307 · 1 comment · 1 reaction ·
-
Difficulty 5/5 Over a week Newbie friendliness 25/100
purescript/purescript-prelude#305 · 5 comments ·
All issues in purescript/purescript-prelude
Similar issues
-
Difficulty 2/5 1-3 hours Newbie friendliness 70/100
-
good first issue help wanted
Difficulty 2/5 1-3 hours Newbie friendliness 80/100
Maintainers usually reply within 1 day
-
bug good first issue
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
Maintainers usually reply within 1 day
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
Maintainers usually reply within 1 day
-
Difficulty 2/5 1-3 hours Newbie friendliness 62/100
milind-soni/OpenMausBot#5829 ·
Maintainers usually reply within 1 day