Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

(1.0 . to BigDecimal) != 1.0 - e.g. equality isn't working correctly #8855

Closed
JaroslavTulach opened this issue Jan 25, 2024 · 6 comments · Fixed by #9070
Closed

(1.0 . to BigDecimal) != 1.0 - e.g. equality isn't working correctly #8855

JaroslavTulach opened this issue Jan 25, 2024 · 6 comments · Fixed by #9070
Assignees
Labels
-compiler p-high Should be completed in the next sprint

Comments

@JaroslavTulach
Copy link
Member

The support for non-builtin number types (as introduced by #8779) doesn't work well with ==. As result of that certain tests had to be disabled. This is a follow up issue that tracks further work on the reimplementation of EqualsNode.

The initial idea:

  • when comparing two objects of different type, check possible conversions first
  • only then use comparators

Catch:

  • warn when there is not a consistency of hash code!
@Akirathan
Copy link
Member

After #7883, the consistency of hash code can be checked within Runtime.assert. That way, we ensure that the hash consistency is checked only in tests and not in production.

@JaroslavTulach JaroslavTulach self-assigned this Jan 30, 2024
@JaroslavTulach JaroslavTulach added the p-high Should be completed in the next sprint label Jan 30, 2024
@enso-bot
Copy link

enso-bot bot commented Feb 15, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-14):

Progress: - meetings

  • working on Big_Decimal and its equality It should be finished by 2024-02-19.

Next Day: equality in Big_Decimal

@enso-bot
Copy link

enso-bot bot commented Feb 16, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-15):

Progress: Feb 15 - 10 h
- drat PR for Equality with conversions: #9070
- EqualsNode.DoThatConvertionNode: a214c0b
- assert hash & == consistency: https://github.com/enso-org/enso/pull/9070/files#r1491152185
- benchmarks regression: #9070 (comment)
- flaw detected: #9070 (comment)
- testing serialization fix: #9057 (comment)
- bookclubbing attempt: https://discord.com/channels/401396655599124480/1207372697278087208/1207621991641915473
- preparing GeeCON abstract: https://docs.google.com/document/d/1vvTlKbDyFQHr6y2uE36bhHjcbXo_zhOWkos8m8zds_M
- discussion about CI: https://discord.com/channels/@me/961191821969596426/1207723602691227688
- emails, reviews It should be finished by 2024-02-19.

Next Day: equality in Big_Decimal

GitHub
Pull Request Description Fixes #8855 by providing support for == between different types with conversions. Checklist Please ensure that the following checklist has been satisfied before submitting ...
Discord
Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.
Discord
Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

@enso-bot
Copy link

enso-bot bot commented Feb 17, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-16):

Progress: - Explictly Both Comparators: #9070 (comment)

Next Day: testing & documenting equality in Big_Decimal

@enso-bot
Copy link

enso-bot bot commented Feb 19, 2024

Jaroslav Tulach reports a new STANDUP for the last Saturday (2024-02-17):

Progress: - BigDecimal & hash discussion: https://discord.com/channels/@me/948519891961544714/1208273876241485885

  • equalities test: 145fc55
  • benchmark with conversion: 1d16e40
  • analyzing IGV graphs It should be finished by 2024-02-19.

Next Day: integrate equality in Big_Decimal

Discord
Discord is the easiest way to communicate over voice, video, and text. Chat, hang out, and stay close with your friends and communities.

@enso-bot
Copy link

enso-bot bot commented Feb 20, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-02-19):

Progress: - documenting & integrated ==: #9070

Next Day: Planning next big thing...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
-compiler p-high Should be completed in the next sprint
Projects
Archived in project
Development

Successfully merging a pull request may close this issue.

2 participants