Skip to content

Hover: provide exit code of the require() #43

New issue

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

#

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

Already on GitHub? # to your account

Jump to bottom
Closed
novusnota opened this issue Feb 6, 2025 · 0 comments · Fixed by #243
Closed

Hover: provide exit code of the require() #43

novusnota opened this issue Feb 6, 2025 · 0 comments · Fixed by #243
Labels
lsp: hover `textDocument/` Hover Request

Comments

@novusnota
Copy link
Member

require() the Reference docs: https://docs.tact-lang.org/ref/core-debug#require

Formula: tact-lang/tact-docs#310 (comment)

P.S.: This doesn't require waiting for the compiler as the formula for calculating the exit code can be just re-used in the language server.
@novusnota novusnota added lsp capability Requires registering or altering the server capabilities list according to LSP spec lsp: hover `textDocument/` Hover Request and removed lsp capability Requires registering or altering the server capabilities list according to LSP spec labels Feb 6, 2025
i582 added a commit that referenced this issue Feb 15, 2025
@i582
feat(documentation): show exit code in hover documentation of `requir…
400696c 
…e()`

Fixes #43
@i582 i582 mentioned this issue Feb 15, 2025
Merged
@i582 i582 closed this as completed in #243 Feb 15, 2025
i582 added a commit that referenced this issue Feb 15, 2025
@i582
feat(documentation): show exit code in hover documentation of `requir…
9cd5ec3 
…e()` (#243)

Fixes #43
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
lsp: hover `textDocument/` Hover Request
Projects
None yet
Milestone
No milestone
1 participant
@novusnota