Thomas Refis

Thanks for the screenshot! The issue here is that the record fails to type as is (some fields are missing), and our recovery is not smart enough to keep the...

Ah indeed! Well this is fixed on master, since 24fa9a04648df92a1d3770e568762f8cf7db74c0 apparently. The fix is included in the 4.3 release which reached opam 3 days ago, so if you update, you...

Historically we've been encouraging people to configure their editor so that it doesn't automatically ask merlin for completion either at all, or without at least 3 characters as a prefix...

I don't know exactly what's going on here, I think some errors are never reported to the user. When I ask for the type of `dynlink` on line 27 merlin...

I can indeed reproduce on your example. The problem doesn't seem to appear if `str` is bound through a let. Interesting!

Regarding the first part of your issue, I believe that you are incorrect: if instructed to do so, merlin will look in .cmt rather than .cmti files, if the .cmt...

> It would be really nice to have this. Should I open a dedicated issue for it? Please do!

FTR: I reproduced this on Merlin 3.0 and OCaml 4.04. It's still a bug, but shouldn't be considered a blocker for 4.13's release.

That's … not quite how I see things. Basically, the way I look at it, when you "locate" something the result space can be represented by a binary tree: the...

Also: it would be very costly. Right now we only explore one branch, and all this is a metaphor, we never actually build the tree. Building it would require loading...