Skip to content

Opaque Match Fix #131

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
Merged
kozross merged 6 commits into from
Oct 8, 2025
Merged

Opaque Match Fix #131

kozross merged 6 commits into from
Oct 8, 2025

Conversation

@gnumonik
Copy link
Collaborator

@gnumonik gnumonik commented Oct 7, 2025

  • Adds a BBF Generator for Opaque Types (This is, by itself, enough to fix the problem and facilitate matchings)
  • Adds a test for that change
  • Change to the kind checker to ensure we explicitly forbid Opaques w/ no declared constructors
  • Fixed a bug in the unifier that would cause incorrect ExcessArgs errors
  • Updated a test to conform w/ unifier fix

gnumonik added 2 commits October 7, 2025 00:02
Fix for opaque pattern matching, added a check to the kind checker, f…
55b9168 
…ixed a mistake in the unifier, fixed one old test, added a new test
formatter
e025199
@gnumonik gnumonik requested a review from kozross October 7, 2025 04:05
kozross
kozross requested changes Oct 7, 2025
View reviewed changes
@kozross kozross merged commit dc40bdd into main Oct 8, 2025
13 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@kozross kozross kozross approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@gnumonik @kozross