Skip to content

Conversation

@andreasabel
Copy link
Member

Simplification suggested by Nicolas Pouillard

@np This is what you meant, I suppose?

Simplification suggested by Nicolas Pouillard
@andreasabel andreasabel added Haskell printer Concerning the generated printer labels May 23, 2023
@andreasabel andreasabel added this to the 2.9.5 milestone May 23, 2023
@andreasabel andreasabel self-assigned this May 25, 2023
andreasabel referenced this pull request May 25, 2023
Some of the other backends will need adjustment of their printers as well.
@andreasabel andreasabel merged commit e93a1e9 into master May 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Haskell printer Concerning the generated printer

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants