Skip to content

dune-workspace: allow enabling Merlin in a variant of the default context#4132

Closed
TheLortex wants to merge 6 commits intoocaml:mainfrom
TheLortex:merlin-in-default-context
Closed

dune-workspace: allow enabling Merlin in a variant of the default context#4132
TheLortex wants to merge 6 commits intoocaml:mainfrom
TheLortex:merlin-in-default-context

Conversation

@TheLortex
Copy link
Copy Markdown
Collaborator

Before this PR, the only kind of context that allowed the (merlin) option were opam contexts.
This PR adds the support of the (merlin) field in default contexts.

It depends on #4127

voodoos and others added 6 commits January 18, 2021 11:25
Signed-off-by: Ulysse Gérard <thevoodoos@gmail.com>
Signed-off-by: Ulysse Gérard <thevoodoos@gmail.com>
Signed-off-by: Ulysse Gérard <thevoodoos@gmail.com>
Signed-off-by: Ulysse Gérard <thevoodoos@gmail.com>
Signed-off-by: Ulysse Gérard <thevoodoos@gmail.com>
Signed-off-by: Lucas Pluvinage <lucas@tarides.com>
@voodoos
Copy link
Copy Markdown
Collaborator

voodoos commented Jan 19, 2021

Cherry-picked in #4127

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