Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Changing the working directory for PPXs #1114

Open
mrmr1993 opened this issue Mar 14, 2020 · 0 comments
Open

Changing the working directory for PPXs #1114

mrmr1993 opened this issue Mar 14, 2020 · 0 comments

Comments

@mrmr1993
Copy link
Contributor

Projects using dune have their PPXs evaluated at the 'project root', some ancestor directory of the directory containing the current file. In the Coda project, we make use of this to load a global configuration file relative to the project root, using a fork of ppx_optcomp.

Currently, Merlin evaluates all PPXs in the same directory as the target. In our current setup, the ppx_optcomp fork then fails to find the file and aborts. This completely disables Merlin for that file.

It would be useful to have an option in .merlin to set the working directory for PPXs, so that the behaviour of PPXs under Merlin and dune are the same. Ideally, it would be good to coordinate with the dune project to add this option to its generated .merlin files.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants