tweag / topiary

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

Introduce measuring scopes #755

Closed nbacquey closed 1 month ago

nbacquey commented 1 month ago

Description

This PR introduces a new feature in Topiary: measuring scopes. They work in conjunction with "regular" custom scopes, to bind the multi-line-ness of the latter to a smaller subsection of itself.

Additionally, this PR solves a regression in OCaml introduced in #745, that couldn't be fixed without measuring scopes.

See the updated README for the precise usage of those measuring scopes.

Checklist

Checklist before merging: