Skip to content

Postfix pretty-printing of mailbox pattern replication - #39

Merged
SimonJF merged 1 commit into
mailbox-types:mainfrom
SimonJF:fix-star-pp
Jul 27, 2026
Merged

Postfix pretty-printing of mailbox pattern replication#39
SimonJF merged 1 commit into
mailbox-types:mainfrom
SimonJF:fix-star-pp

Conversation

@SimonJF

@SimonJF SimonJF commented Jul 27, 2026

Copy link
Copy Markdown
Collaborator

In 7c9dc98 we changed pattern replication to be postfix (i.e., E* rather than *E).
This small patch ensures that the type pretty printer correctly prints replication as postfix as well.

@SimonJF
SimonJF merged commit a04044f into mailbox-types:main Jul 27, 2026
1 check 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.

1 participant