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
There is no autocompletion help by the LSP to help with annotating the module type with a module type being a submodule in the same file. (The LSP helps annotating the module type, when the module type from another file is used.)
moduletype MT= {
letx: int
}
moduleM: //<-- Cursor is here, but LSP will not suggest MT
This may not be the most common case, but could add some convenience.
Note: This behavior was first stated in #902, but was added as a separate issue for transparency.
The text was updated successfully, but these errors were encountered:
There is no autocompletion help by the LSP to help with annotating the module type with a module type being a submodule in the same file. (The LSP helps annotating the module type, when the module type from another file is used.)
This may not be the most common case, but could add some convenience.
Note: This behavior was first stated in #902, but was added as a separate issue for transparency.
The text was updated successfully, but these errors were encountered: