Skip to content

Conversation

@meooow25
Copy link
Contributor

@meooow25 meooow25 commented Jan 9, 2026

Add explicit errors for unexpected cases. Note

  • For the IntMap changes, the error case gets removed completely after inlining and case-of-case optimization.
  • For Sequence, the let has become a case, but there is no change in strictness since the result is strict in the matched value anyway. Unlike IntMap above, the error case remains (but, of course, is never executed as long as the implementation is correct).

Closes #590

Add explicit errors for unexpected cases. Note

* For the IntMap changes, the error case gets removed completely after
  inlining and case-of-case optimization.
* For Sequence, the let has become a case, but there is no change in
  strictness since the result is strict in the matched value anyway.
  Unlike IntMap above, the error case remains (but, of course, is never
  executed as long as the implementation is correct).
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.

incomplete-uni-patterns

1 participant