Nix Language

Sender	Message	Time
14 Jun 2021
	NixCannon changed their profile picture.	01:20:06
	NixCannon changed their profile picture.	01:22:10
	NixCannon changed their display name from NixCannon to Hercules.	02:41:40
	Narice joined the room.	12:32:39
	NixCannon changed their display name from Hercules to NixCannon.	20:10:26
NixCannon	hey, can someone put a icon for this room	20:16:01
15 Jun 2021
	edomfjp joined the room.	03:47:32
andrew	aaronjanse: would you be willing to share your rust debug trace for when your language client initializes requests the definition of `htop`? I'm using your MR into `rnix-lsp` with emacs. [2021-06-15T18:31:12Z TRACE rnix_lsp] Message: Notification( Notification { method: "textDocument/didOpen", params: Object({ "textDocument": Object({ "languageId": String( "nix", ), "text": String( "let\n pkgs = import <nixpkgs> {};\n foo = pkgs.gcc;\nin\nwith pkgs; [\n htop hello\n]\n", ), "uri": String( "file:///tmp/test_rnix/test.nix", ), "version": Number( 0, ), }), }), }, ) [2021-06-15T18:31:12Z TRACE rnix_lsp] Sending notification: Notification { method: "textDocument/publishDiagnostics", params: Object({ "diagnostics": Array([]), "uri": String( "file:///tmp/test_rnix/test.nix", ), }), } [2021-06-15T18:31:13Z TRACE rnix_lsp] Message: Request( Request { id: RequestId( U64( 2, ), ), method: "textDocument/documentLink", params: Object({ "textDocument": Object({ "uri": String( "file:///etc/nixos/test.nix", ), }), }), }, ) [2021-06-15T18:31:13Z TRACE rnix_lsp] Sending response: Response { id: RequestId( U64( 2, ), ), result: Some( Array([]), ), error: None, } [2021-06-15T18:31:17Z TRACE rnix_lsp] Message: Request( Request { id: RequestId( U64( 4, ), ), method: "textDocument/definition", params: Object({ "position": Object({ "character": Number( 3, ), "line": Number( 5, ), }), "textDocument": Object({ "uri": String( "file:///tmp/test_rnix/test.nix", ), }), }), }, ) [2021-06-15T18:31:17Z TRACE rnix_lsp] Sending response: Response { id: RequestId( U64( 4, ), ), result: Some( Null, ), error: None, }	18:40:51
andrew	* aaronjanse: would you be willing to share your rust debug trace for when your language client initializes requests the definition of `htop`? I'm using your MR into `rnix-lsp` with emacs. It seems to be unable to find `htop`s definition the way my client is interfacing it [2021-06-15T18:31:12Z TRACE rnix_lsp] Message: Notification( Notification { method: "textDocument/didOpen", params: Object({ "textDocument": Object({ "languageId": String( "nix", ), "text": String( "let\n pkgs = import <nixpkgs> {};\n foo = pkgs.gcc;\nin\nwith pkgs; [\n htop hello\n]\n", ), "uri": String( "file:///tmp/test_rnix/test.nix", ), "version": Number( 0, ), }), }), }, ) [2021-06-15T18:31:12Z TRACE rnix_lsp] Sending notification: Notification { method: "textDocument/publishDiagnostics", params: Object({ "diagnostics": Array([]), "uri": String( "file:///tmp/test_rnix/test.nix", ), }), } [2021-06-15T18:31:13Z TRACE rnix_lsp] Message: Request( Request { id: RequestId( U64( 2, ), ), method: "textDocument/documentLink", params: Object({ "textDocument": Object({ "uri": String( "file:///etc/nixos/test.nix", ), }), }), }, ) [2021-06-15T18:31:13Z TRACE rnix_lsp] Sending response: Response { id: RequestId( U64( 2, ), ), result: Some( Array([]), ), error: None, } [2021-06-15T18:31:17Z TRACE rnix_lsp] Message: Request( Request { id: RequestId( U64( 4, ), ), method: "textDocument/definition", params: Object({ "position": Object({ "character": Number( 3, ), "line": Number( 5, ), }), "textDocument": Object({ "uri": String( "file:///tmp/test_rnix/test.nix", ), }), }), }, ) [2021-06-15T18:31:17Z TRACE rnix_lsp] Sending response: Response { id: RequestId( U64( 4, ), ), result: Some( Null, ), error: None, }	18:41:15
aaronjanse	Oh!	18:41:27
aaronjanse	The PR to rnix-lsp doesn't have goto definition enabled	18:41:40
andrew	ah ok	18:41:57
aaronjanse	Oh gosh sorry that must have been terribly confusing	18:42:04
andrew	nah, I should have read more closely, "Using the evaluator for completions and goto-definition would similarly require very little modification to main.rs. "	18:43:20
andrew	would you be willing to share the same logs for `nix-eval-lsp`? I tried doing the same with `nix-eval-lsp` in emacs and got a similar result.	18:45:28
aaronjanse	Oh no, another thing	18:45:51
aaronjanse	It doesn't support paths like <nixpkgs>	18:46:05
aaronjanse	Not yet	18:46:09
aaronjanse	Aaaaah	18:46:11
aaronjanse	Okay I'll implement that soonish	18:46:28
andrew	ah, I changed `pkgs = import /path/to/nixpkgs {};` to `<nixpkgs>` without considering that	18:47:12
andrew	ok I'll try that	18:47:23
aaronjanse	The main thing right now is having that rnix-lsp description reviewed, after which I'll be able to make a series of smaller PRs to add all this to rnix-lsp	18:47:33
aaronjanse	The evaluation also needs more helpful failure modes	18:47:46
andrew	Sorry for the barage of questions. Is there a way I can get debug logging in `nix-eval-lsp` like I can in `rnix-lsp`with `RUST_LOG=trace`?	18:54:11
aaronjanse	Ah I don't think so, since I don't recall writing debug logging statements	18:57:37
aaronjanse	Also, no worry about questions! They take me 5 seconds to answer and probably save you at least 5 mins of time each	18:58:02
andrew	maybe I need to try vs-code. With emacs it's failing to find htop for `let pkgs = import /etc/nixos/nixpkgs {}; foo = pkgs.gcc; in with pkgs; [ htop hello ]`	18:59:02
aaronjanse	Hmmm	18:59:45
aaronjanse	You might want to wait a few weeks till it's more ironed out	19:00:04

NixCannon changed their profile picture.

01:20:06

NixCannon changed their profile picture.

01:22:10

NixCannon changed their display name from NixCannon to Hercules.

02:41:40

Narice joined the room.

12:32:39

NixCannon changed their display name from Hercules to NixCannon.

20:10:26

NixCannon

hey, can someone put a icon for this room

20:16:01

edomfjp joined the room.

03:47:32

andrew

aaronjanse: would you be willing to share your rust debug trace for when your language client initializes requests the definition of htop? I'm using your MR into rnix-lsp with emacs.

[2021-06-15T18:31:12Z TRACE rnix_lsp] Message: Notification(
        Notification {
            method: "textDocument/didOpen",
            params: Object({
                "textDocument": Object({
                    "languageId": String(
                        "nix",
                    ),
                    "text": String(
                        "let\n  pkgs = import <nixpkgs> {};\n  foo = pkgs.gcc;\nin\nwith pkgs; [\n  htop hello\n]\n",
                    ),
                    "uri": String(
                        "file:///tmp/test_rnix/test.nix",
                    ),
                    "version": Number(
                        0,
                    ),
                }),
            }),
        },
    )
[2021-06-15T18:31:12Z TRACE rnix_lsp] Sending notification: Notification {
        method: "textDocument/publishDiagnostics",
        params: Object({
            "diagnostics": Array([]),
            "uri": String(
                "file:///tmp/test_rnix/test.nix",
            ),
        }),
}

[2021-06-15T18:31:13Z TRACE rnix_lsp] Message: Request(
        Request {
            id: RequestId(
                U64(
                    2,
                ),
            ),
            method: "textDocument/documentLink",
            params: Object({
                "textDocument": Object({
                    "uri": String(
                        "file:///etc/nixos/test.nix",
                    ),
                }),
            }),
        },
    )
[2021-06-15T18:31:13Z TRACE rnix_lsp] Sending response: Response {
        id: RequestId(
            U64(
                2,
            ),
        ),
        result: Some(
            Array([]),
        ),
        error: None,
    }

[2021-06-15T18:31:17Z TRACE rnix_lsp] Message: Request(
        Request {
            id: RequestId(
                U64(
                    4,
                ),
            ),
            method: "textDocument/definition",
            params: Object({
                "position": Object({
                    "character": Number(
                        3,
                    ),
                    "line": Number(
                        5,
                    ),
                }),
                "textDocument": Object({
                    "uri": String(
                        "file:///tmp/test_rnix/test.nix",
                    ),
                }),
            }),
        },
    )
[2021-06-15T18:31:17Z TRACE rnix_lsp] Sending response: Response {
        id: RequestId(
            U64(
                4,
            ),
        ),
        result: Some(
            Null,
        ),
        error: None,
    }

18:40:51

andrew

*

aaronjanse: would you be willing to share your rust debug trace for when your language client initializes requests the definition of htop? I'm using your MR into rnix-lsp with emacs. It seems to be unable to find htops definition the way my client is interfacing it

[2021-06-15T18:31:12Z TRACE rnix_lsp] Message: Notification(
        Notification {
            method: "textDocument/didOpen",
            params: Object({
                "textDocument": Object({
                    "languageId": String(
                        "nix",
                    ),
                    "text": String(
                        "let\n  pkgs = import <nixpkgs> {};\n  foo = pkgs.gcc;\nin\nwith pkgs; [\n  htop hello\n]\n",
                    ),
                    "uri": String(
                        "file:///tmp/test_rnix/test.nix",
                    ),
                    "version": Number(
                        0,
                    ),
                }),
            }),
        },
    )
[2021-06-15T18:31:12Z TRACE rnix_lsp] Sending notification: Notification {
        method: "textDocument/publishDiagnostics",
        params: Object({
            "diagnostics": Array([]),
            "uri": String(
                "file:///tmp/test_rnix/test.nix",
            ),
        }),
}

[2021-06-15T18:31:13Z TRACE rnix_lsp] Message: Request(
        Request {
            id: RequestId(
                U64(
                    2,
                ),
            ),
            method: "textDocument/documentLink",
            params: Object({
                "textDocument": Object({
                    "uri": String(
                        "file:///etc/nixos/test.nix",
                    ),
                }),
            }),
        },
    )
[2021-06-15T18:31:13Z TRACE rnix_lsp] Sending response: Response {
        id: RequestId(
            U64(
                2,
            ),
        ),
        result: Some(
            Array([]),
        ),
        error: None,
    }

[2021-06-15T18:31:17Z TRACE rnix_lsp] Message: Request(
        Request {
            id: RequestId(
                U64(
                    4,
                ),
            ),
            method: "textDocument/definition",
            params: Object({
                "position": Object({
                    "character": Number(
                        3,
                    ),
                    "line": Number(
                        5,
                    ),
                }),
                "textDocument": Object({
                    "uri": String(
                        "file:///tmp/test_rnix/test.nix",
                    ),
                }),
            }),
        },
    )
[2021-06-15T18:31:17Z TRACE rnix_lsp] Sending response: Response {
        id: RequestId(
            U64(
                4,
            ),
        ),
        result: Some(
            Null,
        ),
        error: None,
    }

Oh!

The PR to rnix-lsp doesn't have goto definition enabled

ah ok

Oh gosh sorry that must have been terribly confusing

18:42:04

andrew

nah, I should have read more closely, "Using the evaluator for completions and goto-definition would similarly require very little modification to main.rs. "

18:43:20

andrew

would you be willing to share the same logs for nix-eval-lsp? I tried doing the same with nix-eval-lsp in emacs and got a similar result.

Oh no, another thing

It doesn't support paths like <nixpkgs>

Not yet

Aaaaah

Okay I'll implement that soonish

18:46:28

andrew

ah, I changed pkgs = import /path/to/nixpkgs {}; to <nixpkgs> without considering that

ok I'll try that

The main thing right now is having that rnix-lsp description reviewed, after which I'll be able to make a series of smaller PRs to add all this to rnix-lsp

18:47:33

aaronjanse

The evaluation also needs more helpful failure modes

18:47:46

andrew

Sorry for the barage of questions. Is there a way I can get debug logging in nix-eval-lsp like I can in rnix-lspwith RUST_LOG=trace?

18:54:11

aaronjanse

Ah I don't think so, since I don't recall writing debug logging statements

18:57:37

aaronjanse

Also, no worry about questions! They take me 5 seconds to answer and probably save you at least 5 mins of time each

18:58:02

andrew

maybe I need to try vs-code. With emacs it's failing to find htop for

let
  pkgs = import /etc/nixos/nixpkgs {};
  foo = pkgs.gcc;
in
with pkgs; [
  htop hello
]

Hmmm

You might want to wait a few weeks till it's more ironed out

19:00:04

Load older messages

Show newer messages

	Nix Language	1928 Members
	Nix programming language	360 Servers