Skip to content

Conversation

@spcfox
Copy link
Contributor

@spcfox spcfox commented Dec 9, 2025

Description

Added function to work with Maybe (_ = _) and rewrote parts of the compiler code to use them.

Self-check

  • This is my first time contributing, I've carefully read CONTRIBUTING.md
    and I've updated CONTRIBUTORS.md with my name.
  • If this is a fix, user-facing change, a compiler change, or a new paper
    implementation, I have updated CHANGELOG_NEXT.md

@spcfox spcfox marked this pull request as ready for review December 9, 2025 15:45
@spcfox spcfox changed the title [ cleanup ] Refactor equality functions using maybeEq [ cleanup ] Refactor equality functions using maybeEq Dec 9, 2025
Copy link
Collaborator

@buzden buzden left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

We've had a phone discussion, and I've named several moments I'd like to be changed, otherwise I think this change is good

@spcfox spcfox force-pushed the maybe-eq branch 4 times, most recently from ece902e to daac622 Compare December 12, 2025 13:39
@buzden buzden merged commit 519ce8a into idris-lang:main Dec 14, 2025
22 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants