Nix Language

Sender	Message	Time
11 Jun 2021
andrew	very cool, `nix-eval-parser` could have very many uses in the nix ecosystem	19:59:20
andrew	* very cool, `nix-eval-parser` could have quite a few uses in the nix ecosystem	19:59:32
aaronjanse	In reply to @andrew:mtx.rew.la very cool, `nix-eval-parser` could have quite a few uses in the nix ecosystem Like nix-eval-lsp but as a Rust crate?	20:05:27
andrew	I was thinking things like an incremental evaluator, great debugging tool	20:05:58
aaronjanse	Either way, yeah I'm excited to see what stuff is now possible. I look forward to seeing what happens with https://github.com/nix-community/rnix-lsp/pull/38	20:06:22
aaronjanse	In reply to @andrew:mtx.rew.la I was thinking things like an incremental evaluator, great debugging tool That would be great	20:06:38
Jez (he/him)	Surely this means we're not that far off being able to rewrite the whole of nix in Rust? 😜	20:11:37
andrew	aaronjanse: I hope they review it. Otherwise it might make sense to just merge `rnix-lsp` in	20:11:52
	nodeven joined the room.	21:13:06
	nodeven changed their display name from node to nodeven.	22:52:46
12 Jun 2021
Jan Tojnar	aaronjanse: we could definitely use the evaluation for nixpkgs-hammering	12:46:38
13 Jun 2021
	yusdacra changed their profile picture.	03:31:24
nf	hm, `{ foo ? bar } @ args:` doesn't reflect the default value in `args.foo`, is that a feature?	16:40:42
aaronjanse	I think that's intentional, although I'm not sure if everyone agrees on whether it's a feature :P	16:45:35
nf	yeah i guess both choices are equally valid	16:46:18
	NixCannon joined the room.	23:26:59
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

very cool, nix-eval-parser could have very many uses in the nix ecosystem

19:59:20

andrew

* very cool, nix-eval-parser could have quite a few uses in the nix ecosystem

19:59:32

aaronjanse

In reply to @andrew:mtx.rew.la
very cool, nix-eval-parser could have quite a few uses in the nix ecosystem

Like nix-eval-lsp but as a Rust crate?

20:05:27

andrew

I was thinking things like an incremental evaluator, great debugging tool

20:05:58

aaronjanse

Either way, yeah I'm excited to see what stuff is now possible. I look forward to seeing what happens with https://github.com/nix-community/rnix-lsp/pull/38

20:06:22

aaronjanse

In reply to @andrew:mtx.rew.la
I was thinking things like an incremental evaluator, great debugging tool

That would be great

20:06:38

Jez (he/him)

Surely this means we're not that far off being able to rewrite the whole of nix in Rust? 😜

20:11:37

andrew

aaronjanse: I hope they review it. Otherwise it might make sense to just merge rnix-lsp in

20:11:52

nodeven joined the room.

21:13:06

nodeven changed their display name from node to nodeven.

22:52:46

Jan Tojnar

aaronjanse: we could definitely use the evaluation for nixpkgs-hammering

12:46:38

yusdacra changed their profile picture.

03:31:24

nf

hm, { foo ? bar } @ args: doesn't reflect the default value in args.foo, is that a feature?

16:40:42

aaronjanse

I think that's intentional, although I'm not sure if everyone agrees on whether it's a feature :P

16:45:35

nf

yeah i guess both choices are equally valid

16:46:18

NixCannon joined the room.

23:26:59

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

Load older messages

Show newer messages

	Nix Language	1943 Members
	Nix programming language	359 Servers