1
1
mirror of https://github.com/oxalica/nil.git synced 2024-10-26 20:14:59 +03:00
Commit Graph

495 Commits

Author SHA1 Message Date
oxalica
944d5c3355 Remove nix from the default devShell 2023-02-14 23:54:14 +08:00
oxalica
ea8ee40bd1 Sweep unused dependencies 2023-02-14 23:54:14 +08:00
oxalica
d62d4a4dd4 Improve query cache efficiency 2023-02-14 23:54:14 +08:00
oxalica
4dd931f460 Enforce clippy::semicolon_if_nothing_returned 2023-02-14 23:54:14 +08:00
oxalica
f5f359d81c Store index of from-expression in InheritFrom
This could hopefully reduces deduplication cost when traversing `Expr`s.
2023-02-14 23:54:14 +08:00
Eric Crosson
f65284b999
Fix typo (#57) 2023-02-13 23:31:24 +08:00
oxalica
ce2e0b5d60 Hoist common cargo settings and use resolver 2 2023-02-11 18:17:58 +08:00
oxalica
a304ab352b Track builtins via AttrSource to show completion docs for builtins.|
See also #15
2023-02-11 04:59:07 +08:00
oxalica
a8c76d2eed Rework Ty formatter and show signatures in completions 2023-02-11 04:30:00 +08:00
oxalica
124b1fd287 Bump lsp_types to 0.94.0 2023-02-11 03:11:19 +08:00
oxalica
f0dd52697c Forbid easy ? in notification handlers
This would abort the server immediately currently (as in #58).
We should gracefully handle these errors instead. Possibly by ignoring
them and clean the states.
2023-02-10 09:34:22 +08:00
oxalica
5179eb45dc Refactor Vfs error handling 2023-02-10 09:34:22 +08:00
oxalica
4dfaf037da Support virtual path URIs (untitled:.*)
Fixes #58
2023-02-10 09:34:22 +08:00
oxalica
5086508235 Use PathBuf in VfsPath to simplify 2023-02-10 09:34:22 +08:00
oxalica
d066d67ad2 Forbid todo! 2023-02-10 04:39:11 +08:00
oxalica
015ecacf43 Rework follows resolution of flake lock
Fixes #56
2023-02-09 01:47:01 +08:00
oxalica
1a15174958 Always set default flake_grpah
Fixes panics in #56
2023-02-04 08:51:12 +08:00
oxalica
bbb71a6c13 Highlight indirect builtins 2023-02-04 08:38:09 +08:00
oxalica
bb632c4219 Recognize builtins from inherit (builtins) 2023-02-04 08:01:01 +08:00
oxalica
727a73722f Special case for hover of builtins.xxx
Fixes #15
2023-02-04 06:59:39 +08:00
oxalica
7ad13dd6fa Tweak hover message and show types of builtins 2023-02-04 06:38:39 +08:00
oxalica
893e5cf204 Type builtins and fix typos in ty! 2023-02-04 05:28:05 +08:00
oxalica
3de72eefd8 Print backtrace and log when panicking 2023-02-03 20:27:35 +08:00
oxalica
232e16ddf0 Support TextDocumentContentChangeEvent with no range
Fixes #53
2023-02-03 20:26:51 +08:00
oxalica
d916585048 Snapshot LineMap during diagnostic calculation
This assumes diagnostics can only reference the local file, which
currently true.
2023-02-03 20:25:34 +08:00
oxalica
b3d65b8bd7 Update docs 2023-02-03 19:07:17 +08:00
oxalica
74cdacae41 Update flake 2023-02-03 18:04:47 +08:00
oxalica
64da72685d Complete in pat-parameter definitions 2023-02-03 17:58:14 +08:00
oxalica
2d048b7f28 Shrink structs before returning from queries 2023-02-03 03:53:51 +08:00
oxalica
6b2eb7b9eb Update la-arena and add capacity hints 2023-02-03 03:45:17 +08:00
oxalica
97de111137 Fix tests 2023-02-03 03:19:44 +08:00
oxalica
54a5c84cb8 Remove double indirections of Ty::Attrset 2023-02-03 03:09:24 +08:00
oxalica
d044c9c5b4 Inject type schema for flake.nix
Closes #54
2023-02-03 03:09:24 +08:00
oxalica
c003625948 Impl external expected types for type inference 2023-02-03 02:18:31 +08:00
oxalica
e0707ad935 Split result Ty type from Ty in inference context 2023-02-03 00:55:08 +08:00
oxalica
dfd91e3b7e CLI for diagnostics 2023-01-28 23:52:26 +08:00
oxalica
f1c2dbc857 Use argh and simplify version embedding 2023-01-28 22:29:26 +08:00
oxalica
2082551a99 Configurable path to nix binary 2023-01-28 04:32:41 +08:00
oxalica
e797666505 Extract error handling of send_request and simplify 2023-01-28 04:24:07 +08:00
oxalica
7844f61b75 Introduce ModuleKind to parse known file layouts 2023-01-28 01:37:24 +08:00
oxalica
27abf4d61d Warn users about unavailable flake inputs 2023-01-28 01:37:24 +08:00
oxalica
c1352ac4b1 Impl goto-definition for flake inputs 2023-01-28 01:37:24 +08:00
oxalica
1c14e1383a Add flake structure as database input 2023-01-27 16:16:48 +08:00
oxalica
6e55610257 Load locked flake inputs 2023-01-27 03:54:11 +08:00
oxalica
0eb313e73b Impl flake lock parser and wrapper of 'nix eval' 2023-01-27 03:36:20 +08:00
oxalica
9aa5ed132f Extract constants from Nix to a new crate 2023-01-27 03:36:20 +08:00
oxalica
6e5321582c Tweak VfsPath conversion interfaces 2023-01-24 23:13:56 +08:00
oxalica
29fdd1fba9 Use anyhow in the LSP server 2023-01-24 22:42:36 +08:00
oxalica
3f84b783d3 Exclude gdb for unsupported platforms 2023-01-19 15:35:03 +08:00
oxalica
d9e0468ded Update dependencies 2023-01-19 14:40:02 +08:00