Commit Graph

108 Commits

Author SHA1 Message Date
KtorZ
c550b4766d Implement quickfix for 'UnknownModule'. 2023-10-21 12:59:48 +02:00
KtorZ
e48ac6b592 Relocate and refactor quickfix code into its own module
We're going to have more quickfixes, to it's best not to overload the
  'server' module. Plus, there's a lot of boilerplate around the
  quickfixes so we might want to factor it out.
2023-10-21 12:00:58 +02:00
KtorZ
763516eb96 Refactor and relocate document edits function for imports.
It's a bit 'off-topic' to keep these in aiken-lang as those functions are really just about lsp. Plus, it removes a bit some of the boilerplate and make the entire edition more readable and re-usable. Now we can tackle other similar errors with the same quickfix.
2023-10-21 11:31:01 +02:00
KtorZ
699d0a537c Use (untyped) AST to find the right insert location for imports.
This removes the need to rely on the formatter to clear things up
  after insert a new import. While this is not so useful for imports, I
  wanted to experiment with the approach for future similar edits (for
  example, when suggesting an inline rewrite).
2023-10-21 10:43:00 +02:00
KtorZ
66ade8e3e3 Implement simple code action quickfix for unknown variable. 2023-10-20 18:01:07 +02:00
KtorZ
41e26b216b Some LSP improvements regarding hovering
- Resolve module select properly
  - Add some type annotations to _some patterns_ such as assignments
2023-10-19 20:04:10 +02:00
rvcas
e5801f9c19 feat: support doc comments for functions args and validator params
- Add support to the formatter for these doc comments
- Add a new field to `Arg` `doc: Option<String>`
- Don't attach docs immediately after typechecking a module
  - instead we should do it on demand in docs, build, and lsp
  - the check command doesn't need to have any docs attached
  - doing it more lazily defers the computation until later making
    typechecking feedback a bit faster
- Add support for function arg and validator param docs in
  `attach_module_docs` methods
- Update some snapshots
- Add put_doc to Arg

closes #685
2023-10-16 13:38:23 -04:00
microproofs
fb6cbbec8b chore: Release 2023-09-29 22:08:09 -04:00
microproofs
82ceb5b696 chore: Release 2023-09-29 19:39:28 -04:00
KtorZ
ee4001d2c8 chore: Release 2023-09-20 18:03:46 +02:00
rvcas
b075d85b40 chore: Release 2023-08-24 15:05:12 -06:00
rvcas
a7062ccb88 chore: fix versions 2023-08-24 15:04:19 -06:00
rvcas
747e057d05 fix: tags 2023-08-24 15:00:09 -06:00
KtorZ
2f0211a7b1 Bump all version manually because cargo workspaces didn't work. 2023-08-22 13:27:10 +02:00
microproofs
89c55a23fa chore: Release 2023-08-19 20:17:00 -04:00
rvcas
690e41261e chore: Release 2023-08-16 23:30:21 -04:00
Olof Blomqvist
d25bb9ae60 format 2023-08-04 14:56:16 -04:00
Olof Blomqvist
4e4a477ff1 meh 2023-08-04 14:56:16 -04:00
Olof Blomqvist
17eef195a9 fix diagnostics and formatting on windows vscode 2023-08-04 14:56:16 -04:00
rvcas
97acd6d7bd chore: Release 2023-07-15 21:37:10 -04:00
rvcas
621017bd93 chore: Release 2023-07-14 10:55:13 -04:00
rvcas
90ff211205 chore: Release 2023-06-23 19:41:14 -04:00
rvcas
85d82e5aec chore: Release 2023-06-13 21:24:41 -04:00
microproofs
379c2fe2bf chore: Release 2023-06-13 20:32:22 -04:00
microproofs
c5af6e0be3 chore: Release 2023-06-08 19:34:51 -04:00
rvcas
cb9a140601 chore: Release 2023-06-02 00:34:07 -04:00
microproofs
8e60234562 chore: Release 2023-05-17 18:04:45 -04:00
rvcas
f2d8c8938c chore: Release 2023-05-14 21:25:29 -04:00
rvcas
e1a75391a1 chore: Release 2023-05-09 23:16:59 -04:00
microproofs
b1728b57b8 chore: Release 2023-04-28 17:11:56 -04:00
microproofs
8b11844282 clippy fix 2023-04-26 17:40:27 -04:00
rvcas
3182dac908 chore: Release 2023-04-17 10:53:30 -04:00
rvcas
3d0fa1a5f6 chore: Release 2023-04-16 16:49:08 -04:00
rvcas
63ddef7efb chore: Release 2023-04-13 13:37:12 -04:00
rvcas
12e8ebdf4f chore: revert version bumps 2023-04-13 13:03:43 -04:00
KtorZ
067e39286d Bump versions to 1.0.0-alpha, update CHANGELOG. 2023-04-13 17:35:21 +02:00
KtorZ
e2c78bdd3b Add min rust-version to crates
So that people runs into better errors if they try installing from source with an 'obsolete' rust compiler.
2023-04-13 17:24:44 +02:00
KtorZ
cb5dc75326 Remove unnecessary import. 2023-03-30 11:50:59 +02:00
KtorZ
dc500b8e13 Add missing import to owo_colors 2023-03-30 09:21:59 +02:00
KtorZ
efa31e3df7 minor lsp tweaks
- forcibly disable colors
  - do not show labels in error messages
2023-03-29 18:25:56 +02:00
rvcas
92161bed43 fix: From<&str> for GlobPattern does not exist need to use string 2023-03-06 13:15:12 -05:00
rvcas
1902a2d56c chore: update all deps 2023-03-06 13:13:59 -05:00
rvcas
1f8535e76e chore: update some deps 2023-03-06 11:09:44 -05:00
rvcas
0066cc61cc Release 0.0.29
aiken@0.0.29
aiken-lang@0.0.29
aiken-lsp@0.0.29
aiken-project@0.0.29
uplc@0.0.29

Generated by cargo-workspaces
2023-02-23 19:04:18 -05:00
rvcas
6af6607df4 chore: github made a weird commit 2023-02-20 15:30:25 -05:00
rvcas
8b9991fd5b chore: update some strings 2023-02-20 15:30:25 -05:00
Lucas
4b296de27c Update crates/aiken-lsp/src/utils.rs
Co-authored-by: Matthias Benkort <5680256+KtorZ@users.noreply.github.com>
2023-02-20 15:30:25 -05:00
rvcas
52bb0e749e fix(lsp): cannot blindly run publish after handle_request 2023-02-20 15:30:25 -05:00
rvcas
a8829889e3 feat(lsp): properly recompile project is files change 2023-02-20 15:30:25 -05:00
rvcas
c033cab79e feat(lsp): bring over some stuff for completions, it basically doesn't work right though 2023-02-20 15:30:25 -05:00