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

Add constructor wildcards #2437

Merged
merged 3 commits into from
Oct 9, 2023
Merged

Add constructor wildcards #2437

merged 3 commits into from
Oct 9, 2023

Conversation

janmasrovira
Copy link
Collaborator

@janmasrovira janmasrovira commented Oct 6, 2023 •
edited
Loading

Changes:

  1. Allow the definition of empty record types.
  2. Introduce the constructor wildcard pattern. That is, a pattern of the form constr@{} that matches the constructor constr regardless of its number of arguments.

@janmasrovira janmasrovira added enhancement New feature or request syntax labels Oct 6, 2023
@janmasrovira janmasrovira added this to the 0.5.3 milestone Oct 6, 2023
@janmasrovira janmasrovira self-assigned this Oct 6, 2023
@janmasrovira janmasrovira linked an issue Oct 6, 2023 that may be closed by this pull request
Allow empty records #2402
Closed
@janmasrovira janmasrovira marked this pull request as ready for review October 9, 2023 08:22
@janmasrovira janmasrovira requested review from lukaszcz and jonaprieto and removed request for lukaszcz and jonaprieto October 9, 2023 08:22
@lukaszcz lukaszcz merged commit 0e4c27b into main Oct 9, 2023
8 checks passed
@lukaszcz lukaszcz deleted the 2402-allow-empty-records branch October 9, 2023 12:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lukaszcz lukaszcz lukaszcz approved these changes

Assignees

@janmasrovira janmasrovira

Labels
enhancement New feature or request syntax
Projects
None yet
Milestone
0.5.3
Development

Successfully merging this pull request may close these issues.

Allow empty records
2 participants
@janmasrovira @lukaszcz