search

tweag / topiary

https://topiary.tweag.io/
MIT License
579 stars 29 forks source link

fix: missing space for pattern matching of constructor holding record #720

Closed jonsterling closed 3 months ago

jonsterling commented 3 months ago

fix: missing space for pattern matching of constructor holding record

Issue: #719

Description

This fixes the formatting of pattern matching of constructors with an inline record pattern, which previously was missing a space.

Checklist

Checklist before merging:

ErinvanderVeen commented 3 months ago

No, it's not worth waiting I think. The PR looks great and very minimal. Can always revert if @nbacquey decides it's wrong.

nbacquey commented 2 months ago

This looks perfect to me! Thanks, @jonsterling