Louis

yes we have promoted files and it's one of them that was triggering the rebuild. I don't think it's a bug in dune, more like a bug in our rules....

Sadly I don't right now, it's complicated to extract a small example from that large repo. Especially as it's not even easy to identify which folder/file/rule is creating a rule...

So I've identified that in our case the problem happened because of a `copy_files#` directive, which brings in the folder some files that are not actually used by the binary....

yes, that is also my understanding (except that I believe you made a typo, in point 4 it should say "when building `@check`).

related to that issue, if I overwrite `all` or `default`, I'd expect `check` to react accordingly. Now I can create an alias to only compile some specific code. But I...

I mentioned _build/log as it is what exists now, but it’s probably fine if it is in another file and only created if a given flag is passed. I assume...

I don't manage to reproduce this behavior. The function which does display the `*merlin-types*` buffer is `merlin--type-display`. And it is only called at one place in merlin-eldoc, when there is...

Merlin already has support for some of those navigation functions btw.

https://github.com/ocaml/merlin/blob/master/doc/dev/PROTOCOL.md#phrase--target-nextprev--position-position

My quickfix for reference ```diff diff --git a/index/dune b/index/dune index e75cb53..795cf51 100644 --- a/index/dune +++ b/index/dune @@ -1,6 +1,7 @@ (executable (name index) (libraries + extlib db fpath tyxml diff...