Skip to content

Conversation

@xvw
Copy link
Collaborator

@xvw xvw commented Apr 2, 2025

On top of #1909

There are still a few improvements to be made to certain controls (navigation in particular). I've left fixme flags in case of ambiguity.
In my local test runs, sometimes the server test fails and I have to kill it manually.

I also took the opportunity to promote the only test that failed (because its result seemed... more reasonable to me).

@xvw xvw changed the title Partial typer merlin domains Introduce typer interruption Apr 2, 2025
@xvw xvw force-pushed the partial-typer-merlin-domains branch from 943e7e5 to 3de17e5 Compare April 2, 2025 09:03
@xvw xvw changed the title Introduce typer interruption WIP: Introduce typer interruption Apr 3, 2025
@xvw xvw force-pushed the partial-typer-merlin-domains branch 2 times, most recently from f7a02b2 to b7fcd90 Compare August 19, 2025 22:05
@xvw xvw mentioned this pull request Aug 19, 2025
voodoos and others added 21 commits August 20, 2025 01:51

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
voodoos and others added 12 commits August 20, 2025 01:53

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
…heuristics.

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
@xvw xvw mentioned this pull request Aug 19, 2025
xvw and others added 12 commits August 20, 2025 01:58

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
…e one.

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
@xvw xvw force-pushed the partial-typer-merlin-domains branch from 9c8c9c4 to 48c9aad Compare August 20, 2025 00:02
@xvw xvw changed the title WIP: Introduce typer interruption Introduce typer interruption Aug 20, 2025

Verified

This commit was signed with the committer’s verified signature.
xvw Xavier Van de Woestyne
@pitag-ha
Copy link
Member

Thanks a lot! 🚀 Merging this on this into the merlin-domains without reviewing for now.

@pitag-ha pitag-ha merged commit 7287341 into ocaml:merlin-domains Aug 25, 2025
6 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

None yet

6 participants