Skip to content

Conversation

@liam923
Copy link
Contributor

@liam923 liam923 commented Jan 28, 2026

This PR adds a mode-enclosing command to Merlin, which is a mode analogue of type-enclosing (the command responsible for type hovers). For now, this only displays the mode when hovering on a variable binding or usage. Although this is somewhat limiting, I wanted to keep the scope limited to get this done quickly. I still expect this feature to be very useful.

Note: This PR targets a branch that mints a Merlin for a new compiler version rather than the main branch, as it relies on some recent compiler changes. This PR shouldn't be released until that branch gets merged into main.

@liam923 liam923 changed the base branch from merge-5.2.0minus-27 to main February 3, 2026 16:20
@oxcaml oxcaml deleted a comment from github-actions bot Feb 3, 2026
@liam923 liam923 merged commit c105ca3 into main Feb 3, 2026
1 check passed
@liam923 liam923 deleted the mode-hovers branch February 3, 2026 16:21
Lucccyo pushed a commit to Lucccyo/oxmerlin that referenced this pull request Feb 10, 2026
* Add mode-enclosing

* Remove duplicate test
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.

2 participants