Skip to content

Comments

use correct -short-paths config for merlin#1579

Open
SkySkimmer wants to merge 1 commit intoocaml:masterfrom
SkySkimmer:shortpaths
Open

use correct -short-paths config for merlin#1579
SkySkimmer wants to merge 1 commit intoocaml:masterfrom
SkySkimmer:shortpaths

Conversation

@SkySkimmer
Copy link

Fix #1395

The default needs to be real_paths = true (from Mconfig.initial), because get_external_config (called in config) will modify the config from the ocaml flags which will not contain a negated -short-paths when short paths are not wanted.

Should backport cleanly to 414-LTS (or rather I tested on 414-LTS then moved the commit on top of master ;))

Fix ocaml#1395

The default needs to be `real_paths = true` (from `Mconfig.initial`),
because `get_external_config` (called in `config`) will modify the
config from the ocaml flags which will not contain a negated
`-short-paths` when short paths are not wanted.
@SkySkimmer
Copy link
Author

Not sure how adding tests works here but a pair of tests (with / without short paths) should probably be added.

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.

Cannot disable short-paths

1 participant