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.

Sign up for GitHub

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

Jump to bottom

EnsoMultiValue == isn't transitive #11845

Closed
JaroslavTulach opened this issue Dec 12, 2024 · 1 comment · Fixed by #11897
Closed

EnsoMultiValue == isn't transitive #11845

JaroslavTulach opened this issue Dec 12, 2024 · 1 comment · Fixed by #11897
Assignees
@JaroslavTulach
Labels
-compiler p-high Should be completed in the next sprint

Comments

@JaroslavTulach
Copy link
Member

As 91987ca test shows, == on EnsoMultiValue isn't transitive.

The behavior of == for EnsoMultiValue must be redefined.
@JaroslavTulach JaroslavTulach self-assigned this Dec 12, 2024
@JaroslavTulach JaroslavTulach added the p-high Should be completed in the next sprint label Dec 12, 2024
@JaroslavTulach JaroslavTulach mentioned this issue Dec 12, 2024
Merged
4 tasks
@enso-bot enso-bot bot mentioned this issue Dec 13, 2024
Closed
@JaroslavTulach JaroslavTulach moved this from ❓New to 📤 Backlog in Issues Board Dec 17, 2024
@JaroslavTulach JaroslavTulach moved this from 📤 Backlog to 👁️ Code review in Issues Board Dec 17, 2024
@JaroslavTulach JaroslavTulach mentioned this issue Dec 17, 2024
Merged
3 tasks
This was referenced Dec 18, 2024
Closed
Closed
@enso-bot
Copy link

enso-bot bot commented Dec 21, 2024

Jaroslav Tulach reports a new STANDUP for yesterday (2024-12-20):

Progress: .

@JaroslavTulach JaroslavTulach mentioned this issue Dec 21, 2024
Open
@mergify mergify bot closed this as completed in #11897 Dec 21, 2024
mergify bot pushed a commit that referenced this issue Dec 21, 2024
@JaroslavTulach
Symetric, transitive and reflexive equality for intersection types (#…
e8f781a 
…11897)

Fixes #11845 by comparing all the types an `EnsoMultiValue` _has been cast to_.
@github-project-automation github-project-automation bot moved this from 👁️ Code review to 🟢 Accepted in Issues Board Dec 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@JaroslavTulach JaroslavTulach

Labels
-compiler p-high Should be completed in the next sprint
Projects
Issues Board
Status: 🟢 Accepted
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Symetric, transitive and reflexive equality for intersection types enso-org/enso
1 participant
@JaroslavTulach