Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Ocaml_typing.Envaux.Error when hovering over some functions #1561

Open
jchavarri opened this issue Jan 19, 2023 · 0 comments · May be fixed by #1562
Open

Ocaml_typing.Envaux.Error when hovering over some functions #1561

jchavarri opened this issue Jan 19, 2023 · 0 comments · May be fixed by #1562

Comments

@jchavarri
Copy link

Ported from ocaml/dune#6467.

The issue can be reproducible easily in a melange project, but apparently is not limited to melange itself.

For example:

After installing deps and building, hover over Js.log function in name.ml.

The error shown by lsp server is:

[Trace - 11:13:45 PM] Sending request 'textDocument/hover - (19)'.
Params: {
    "textDocument": {
        "uri": "file:///home/me/code/melange-opam-template/lib2/name.ml"
    },
    "position": {
        "line": 2,
        "character": 28
    }
}


[Trace - 11:13:45 PM] Received response 'textDocument/hover - (19)' in 2ms. Request failed: uncaught exception (-32603).
Error data: {
    "exn": "Ocaml_typing.Envaux.Error(_)",
    "backtrace": "Raised at Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 69, characters 32-70\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 45, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 45, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 45, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 45, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 45, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 45, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 41, characters 24-50\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Envaux.env_from_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\", line 53, characters 12-38\nCalled from Ocaml_typing__Env.env_of_only_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/env.ml\", line 3590, characters 16-59\nCalled from Ocaml_typing__Envaux.env_of_only_summary in file \"ocaml-lsp-server/vendor/merlin/src/ocaml/typing/envaux.ml\" (inlined), line 100, characters 2-46\nCalled from Merlin_analysis__Locate.doc_from_uid in file \"ocaml-lsp-server/vendor/merlin/src/analysis/locate.ml\", line 911, characters 26-70\nCalled from Merlin_analysis__Locate.get_doc.from_uid in file \"ocaml-lsp-server/vendor/merlin/src/analysis/locate.ml\", line 946, characters 17-44\nCalled from Merlin_utils__Std.let_ref in file \"ocaml-lsp-server/vendor/merlin/src/utils/std.ml\", line 690, characters 8-12\nRe-raised at Merlin_utils__Std.let_ref in file \"ocaml-lsp-server/vendor/merlin/src/utils/std.ml\", line 692, characters 30-39\nCalled from Ocaml_lsp_server__Document.Merlin.doc_comment in file \"ocaml-lsp-server/src/document.ml\", line 265, characters 6-46\nCalled from Ocaml_lsp_server__Document.Merlin.type_enclosing.(fun) in file \"ocaml-lsp-server/src/document.ml\", line 284, characters 20-44\nCalled from Merlin_utils__Std.let_ref in file \"ocaml-lsp-server/vendor/merlin/src/utils/std.ml\", line 690, characters 8-12\nRe-raised at Merlin_utils__Std.let_ref in file \"ocaml-lsp-server/vendor/merlin/src/utils/std.ml\", line 692, characters 30-39\nCalled from Merlin_utils__Misc.try_finally in file \"ocaml-lsp-server/vendor/merlin/src/utils/misc.ml\", line 45, characters 8-15\nRe-raised at Merlin_utils__Misc.try_finally in file \"ocaml-lsp-server/vendor/merlin/src/utils/misc.ml\", line 62, characters 10-24\nCalled from Stdlib__Fun.protect in file \"fun.ml\", line 33, characters 8-15\nRe-raised at Stdlib__Fun.protect in file \"fun.ml\", line 38, characters 6-52\nCalled from Merlin_kernel__Mocaml.with_state in file \"ocaml-lsp-server/vendor/merlin/src/kernel/mocaml.ml\", line 18, characters 8-38\nRe-raised at Merlin_kernel__Mocaml.with_state in file \"ocaml-lsp-server/vendor/merlin/src/kernel/mocaml.ml\", line 20, characters 42-53\nCalled from Ocaml_lsp_server__Document.Merlin.with_pipeline.(fun) in file \"ocaml-lsp-server/src/document.ml\", line 224, characters 22-77\nCalled from Stdune__Exn_with_backtrace.try_with in file \"otherlibs/stdune/exn_with_backtrace.ml\", line 9, characters 8-12\nRe-raised at Stdune__Exn.raise_with_backtrace in file \"otherlibs/stdune/exn.ml\" (inlined), line 36, characters 27-56\nCalled from Stdune__Exn_with_backtrace.reraise in file \"otherlibs/stdune/exn_with_backtrace.ml\", line 18, characters 33-71\nCalled from Fiber__Core.O.(>>|).(fun) in file \"src/fiber/core.ml\", line 250, characters 36-41\nCalled from Fiber__Scheduler.exec in file \"src/fiber/scheduler.ml\", line 73, characters 8-11\nRe-raised at Stdune__Exn.raise_with_backtrace in file \"otherlibs/stdune/exn.ml\" (inlined), line 36, characters 27-56\nCalled from Stdune__Exn_with_backtrace.reraise in file \"otherlibs/stdune/exn_with_backtrace.ml\", line 18, characters 33-71\nCalled from Fiber__Scheduler.exec in file \"src/fiber/scheduler.ml\", line 73, characters 8-11\n"
}


[Error - 11:13:45 PM] Request textDocument/hover failed.
  Message: uncaught exception
  Code: -32603 
[object Object]

Originally posted in ocaml/dune#6443 (comment)

cc @voodoos

voodoos added a commit to voodoos/merlin that referenced this issue Jan 20, 2023
@voodoos voodoos linked a pull request Jan 20, 2023 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant