Ulugbek Abdullaev
Ulugbek Abdullaev
First commit adds a test showing the problem; the second one fixes it. I hope I'm not leaving out some edge cases, went with the seemingly easiest fix.
Expanding any-pat in a pattern match doesn't account for already matched cases, see the example: ```ocaml type t = A | B let f (x : t) = match x...
_What the PR does_ Implements support for `verbosity=smart`. Note: I tried to keep changes for adding `verbosity=smart` minimal. Includes a couple of clean ups, I can remove them from this...
Hover over a type using a mutually recursive type crashes ocaml-lsp silently (ocaml-lsp usually shows thrown exceptions, but not in this case). Say, we have ```ocaml type t = s...
`refactor-open` is rewriting the whole record instead of a record field label. This ```ocaml module M = struct type r = { i : int } end open M let...
Go-to-definition on an alias module `A` goes not to the definition of the alias module `A` but to the definition of the module being aliased `M`. Is this the expected...
When I save a file that Stainless tracks in watch mode, Stainless outputs `Detected file modifications` while the file contents actually didn't change.
A part text in the exercise header, when wrapped, overlays some other part of the headers.  I noticed that if I disable the `line-height` css style for the header...
We should support completion for `String.is_prefix` given `String.is_pr|word` (`|` is the cursor here) because the prefix is valid, and there's nothing really stopping us from getting valid completions. First, we...