Merge pull request #1162 from aiken-lang/lsp-pub-and-pluck-quickfixes
Lsp pub and pluck quickfixes
Home /
aiken-lang /
aiken
Apr 24, 6-7 AM (0)
Apr 24, 7-8 AM (0)
Apr 24, 8-9 AM (0)
Apr 24, 9-10 AM (0)
Apr 24, 10-11 AM (0)
Apr 24, 11-12 PM (0)
Apr 24, 12-1 PM (0)
Apr 24, 1-2 PM (0)
Apr 24, 2-3 PM (0)
Apr 24, 3-4 PM (0)
Apr 24, 4-5 PM (0)
Apr 24, 5-6 PM (0)
Apr 24, 6-7 PM (0)
Apr 24, 7-8 PM (0)
Apr 24, 8-9 PM (0)
Apr 24, 9-10 PM (0)
Apr 24, 10-11 PM (0)
Apr 24, 11-12 AM (0)
Apr 25, 12-1 AM (0)
Apr 25, 1-2 AM (0)
Apr 25, 2-3 AM (0)
Apr 25, 3-4 AM (0)
Apr 25, 4-5 AM (0)
Apr 25, 5-6 AM (0)
Apr 25, 6-7 AM (0)
Apr 25, 7-8 AM (0)
Apr 25, 8-9 AM (0)
Apr 25, 9-10 AM (0)
Apr 25, 10-11 AM (0)
Apr 25, 11-12 PM (0)
Apr 25, 12-1 PM (0)
Apr 25, 1-2 PM (0)
Apr 25, 2-3 PM (0)
Apr 25, 3-4 PM (0)
Apr 25, 4-5 PM (0)
Apr 25, 5-6 PM (0)
Apr 25, 6-7 PM (0)
Apr 25, 7-8 PM (0)
Apr 25, 8-9 PM (0)
Apr 25, 9-10 PM (0)
Apr 25, 10-11 PM (0)
Apr 25, 11-12 AM (0)
Apr 26, 12-1 AM (0)
Apr 26, 1-2 AM (0)
Apr 26, 2-3 AM (0)
Apr 26, 3-4 AM (0)
Apr 26, 4-5 AM (0)
Apr 26, 5-6 AM (0)
Apr 26, 6-7 AM (0)
Apr 26, 7-8 AM (0)
Apr 26, 8-9 AM (0)
Apr 26, 9-10 AM (0)
Apr 26, 10-11 AM (0)
Apr 26, 11-12 PM (0)
Apr 26, 12-1 PM (0)
Apr 26, 1-2 PM (0)
Apr 26, 2-3 PM (0)
Apr 26, 3-4 PM (0)
Apr 26, 4-5 PM (0)
Apr 26, 5-6 PM (0)
Apr 26, 6-7 PM (0)
Apr 26, 7-8 PM (0)
Apr 26, 8-9 PM (0)
Apr 26, 9-10 PM (0)
Apr 26, 10-11 PM (0)
Apr 26, 11-12 AM (0)
Apr 27, 12-1 AM (0)
Apr 27, 1-2 AM (0)
Apr 27, 2-3 AM (0)
Apr 27, 3-4 AM (2)
Apr 27, 4-5 AM (0)
Apr 27, 5-6 AM (0)
Apr 27, 6-7 AM (0)
Apr 27, 7-8 AM (0)
Apr 27, 8-9 AM (0)
Apr 27, 9-10 AM (0)
Apr 27, 10-11 AM (0)
Apr 27, 11-12 PM (0)
Apr 27, 12-1 PM (0)
Apr 27, 1-2 PM (0)
Apr 27, 2-3 PM (0)
Apr 27, 3-4 PM (0)
Apr 27, 4-5 PM (0)
Apr 27, 5-6 PM (0)
Apr 27, 6-7 PM (0)
Apr 27, 7-8 PM (0)
Apr 27, 8-9 PM (0)
Apr 27, 9-10 PM (0)
Apr 27, 10-11 PM (0)
Apr 27, 11-12 AM (0)
Apr 28, 12-1 AM (0)
Apr 28, 1-2 AM (0)
Apr 28, 2-3 AM (0)
Apr 28, 3-4 AM (0)
Apr 28, 4-5 AM (0)
Apr 28, 5-6 AM (0)
Apr 28, 6-7 AM (0)
Apr 28, 7-8 AM (0)
Apr 28, 8-9 AM (0)
Apr 28, 9-10 AM (2)
Apr 28, 10-11 AM (0)
Apr 28, 11-12 PM (0)
Apr 28, 12-1 PM (0)
Apr 28, 1-2 PM (0)
Apr 28, 2-3 PM (0)
Apr 28, 3-4 PM (1)
Apr 28, 4-5 PM (0)
Apr 28, 5-6 PM (0)
Apr 28, 6-7 PM (0)
Apr 28, 7-8 PM (0)
Apr 28, 8-9 PM (1)
Apr 28, 9-10 PM (4)
Apr 28, 10-11 PM (0)
Apr 28, 11-12 AM (0)
Apr 29, 12-1 AM (0)
Apr 29, 1-2 AM (0)
Apr 29, 2-3 AM (0)
Apr 29, 3-4 AM (0)
Apr 29, 4-5 AM (2)
Apr 29, 5-6 AM (0)
Apr 29, 6-7 AM (0)
Apr 29, 7-8 AM (0)
Apr 29, 8-9 AM (0)
Apr 29, 9-10 AM (0)
Apr 29, 10-11 AM (9)
Apr 29, 11-12 PM (0)
Apr 29, 12-1 PM (0)
Apr 29, 1-2 PM (1)
Apr 29, 2-3 PM (0)
Apr 29, 3-4 PM (0)
Apr 29, 4-5 PM (0)
Apr 29, 5-6 PM (0)
Apr 29, 6-7 PM (0)
Apr 29, 7-8 PM (0)
Apr 29, 8-9 PM (0)
Apr 29, 9-10 PM (0)
Apr 29, 10-11 PM (0)
Apr 29, 11-12 AM (0)
Apr 30, 12-1 AM (0)
Apr 30, 1-2 AM (0)
Apr 30, 2-3 AM (0)
Apr 30, 3-4 AM (0)
Apr 30, 4-5 AM (0)
Apr 30, 5-6 AM (0)
Apr 30, 6-7 AM (1)
Apr 30, 7-8 AM (0)
Apr 30, 8-9 AM (0)
Apr 30, 9-10 AM (0)
Apr 30, 10-11 AM (0)
Apr 30, 11-12 PM (0)
Apr 30, 12-1 PM (0)
Apr 30, 1-2 PM (0)
Apr 30, 2-3 PM (0)
Apr 30, 3-4 PM (0)
Apr 30, 4-5 PM (0)
Apr 30, 5-6 PM (0)
Apr 30, 6-7 PM (0)
Apr 30, 7-8 PM (0)
Apr 30, 8-9 PM (0)
Apr 30, 9-10 PM (0)
Apr 30, 10-11 PM (0)
Apr 30, 11-12 AM (0)
May 01, 12-1 AM (0)
May 01, 1-2 AM (0)
May 01, 2-3 AM (0)
May 01, 3-4 AM (0)
May 01, 4-5 AM (0)
May 01, 5-6 AM (0)
May 01, 6-7 AM (0)
23 commits this week
Apr 24, 2025
-
May 01, 2025
fix clippy & document newest quickfixes in the LSP's README.
Signed-off-by: KtorZ <[email protected]>
Also enable unused quickfix for types.
Signed-off-by: KtorZ <[email protected]>
New quickfix to automatically make functions and constants public when detected unused.
Signed-off-by: KtorZ <[email protected]>
New quickfix to make types public when 'leaking' from a public function (e.g. validator handlers)
Also improved the error message when detecting a leaking type through an aliased type. Now display both the alias and the source type, for clarity. Signed-off-by: KtorZ <[email protected]>
New quickfix for automatically plucking inferred types in holes within annotations.
Signed-off-by: KtorZ <[email protected]>
Merge pull request #1161 from aiken-lang/fix-redundant-unused-constructors
Do not warn about unused constructors when already warning about unused type.
Do not warn about unused constructors when already warning about unused type.
Signed-off-by: KtorZ <[email protected]>
Merge pull request #1160 from aiken-lang/type-as-namespace-in-patterns-is-used
Do not mark imported types as _unused_ when used only as namespace in patterns.
Merge branch 'main' into type-as-namespace-in-patterns-is-used
Merge pull request #1159 from aiken-lang/lsp-quickfixes-renamed-imports
Lsp quickfixes renamed imports
Fix quickfix suggestion to use qualified for renamed modules.
When a module is declared as: ``` use foo as renamed ``` We would otherwise wrongly suggest to _import Foo from foo_, instead of correctly suggesting to _import Foo from renamed_. This commit fixes it. Signed-off-by: KtorZ <[email protected]>
Fix module's inhabitant import quickfix for renamed modules.
For example, trying to use quickfix _import Foo from foo_ in a module
that looks like:
```aiken
use foo.{Bar} as renamed
```
would result in:
```aiken
use foo.{Bar} as renamed.{Foo}
```
instead of:
```aiken
use foo.{Bar, Foo} as renamed
```
This is now fixed, although only tested manually since we don't have
any good ways of automatically testing the LSP quickfixes...
Signed-off-by: KtorZ <[email protected]>
Do not warn about unused constructors when already warning about unused type.
Signed-off-by: KtorZ <[email protected]>
Also enable unused quickfix for types.
Signed-off-by: KtorZ <[email protected]>
New quickfix to make types public when 'leaking' from a public function (e.g. validator handlers)
Also improved the error message when detecting a leaking type through an aliased type. Now display both the alias and the source type, for clarity. Signed-off-by: KtorZ <[email protected]>
New quickfix to automatically make functions and constants public when detected unused.
Signed-off-by: KtorZ <[email protected]>
New quickfix for automatically plucking inferred types in holes within annotations.
Signed-off-by: KtorZ <[email protected]>
Do not mark imported types as _unused_ when used only as namespace in patterns.
Signed-off-by: KtorZ <[email protected]>
feat: add script-override flag to tx simulate
Signed-off-by: yHSJ <[email protected]>
Merge pull request #1155 from aiken-lang/coverage-mode
New `--property-coverage` flag to the `check` command
New `--property-coverage` flag to the `check` command
For switching the coverage denominator between the number of iterations and the total number of labels. Signed-off-by: KtorZ <[email protected]>