Ulysse

As I said, I don't think the current situation is satisfying. - One option would be for Dune to tell all _build directories with sources but we probably want a...

Sorry, I edited your message instead of answering it 🤦 > I still don't quite understand this. Why is it incorrect to jump to the `_build` dir? Every other go-to-definition...

I still think promoting files to sources when building on `dev` mode is a reasonable _workaround_ for that issue. Most projects should build in dev mode without issue, and we...

> Is there a way to enable promotion in dev mode and disabled it in release mode though? Ah yes, the issue is that `--release` mode completely disable the rule...

> From what I remember from a discussion with @goldfirere we concluded that we didn't want to have the invariant > ```ocaml > | Tarrow of arg_label * (type_expr *...

Thanks for your suggestion of extracting the refactor of type_approx, @samsa1, it did lead to a fix for the issue that was remaining. I also reverted the two commits adding...

> Probably if you take them out you can get something to complain about principality even though it shouldn't. That's not the case, they are reverted right now and that...

I have other things than this commit history to clean right now, so if it's good for you it's good for me 👍

We had this discussion recently with @xvw who is working on a new, [eglot-based, mode for Emacs](https://github.com/tarides/ocaml-eglot/) (which does not yet support the various kind of locate) and we decided...

Thank you for taking the time to do the upgrade! We haven't been doing a release in quite some time, and it is now imminent. Are these changes going to...