You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently if you have a folder with a single .ml file and you switch to .mli, the extension creates an new unsaved document. However when you try to switch back to the .ml file (without saving the .mli), nothing happens. The extension logs something like
[Trace - 1:44:34 PM] Received response 'ocamllsp/switchImplIntf - (9)' in 0ms. Request failed: no document found with uri: untitled:/Users/max/main.mli (-32600).
I think there can be two solutions to this:
Allow the switching implementation to work on unsaved ("untitled") files.
Don't show the switching button for untitled files. A button that does nothing is worse than no button at all. This can be done by using resourceScheme in the menu contribution when clauses:
I think the main issue here is that we don't take into account the document store when looking for existing modules. If we fix this, then switching for unsaved files is going to work transparently. @ulugbekna can we assign this to you?
Currently if you have a folder with a single
.ml
file and you switch to.mli
, the extension creates an new unsaved document. However when you try to switch back to the.ml
file (without saving the.mli
), nothing happens. The extension logs something likeI think there can be two solutions to this:
Allow the switching implementation to work on unsaved ("untitled") files.
Don't show the switching button for untitled files. A button that does nothing is worse than no button at all. This can be done by using
resourceScheme
in the menu contribution when clauses:vscode-ocaml-platform/package.json
Line 77 in c857147
The text was updated successfully, but these errors were encountered: