Kiva

Add more tests about LSP

3

- Highlights - References - Compute term/type

Converted from #37

Question: allow overwriting fields that have default values?

3

`fields that have default values` are called `FieldImpl` in Aya source code. Are we going to allow overwriting the field impls? for example ```aya \struct Cross : \Set | base...

related: https://asm.ow2.io/versions.html https://github.com/beryx/badass-jlink-plugin/blob/df1369e70960560a0e43e27760838ff363ea5499/build.gradle#L48

Informative trace

3

WIP

Current: - Literals are unfolded to constructor forms when applying functions Wanted: - If the function can be optimized (like `+` on `Nat`s), replace calls to it with calls to...

We need a better literate backend for academic writing

4

We at least need: - math formula - bibliography - something like `\section`, `\subsection` and `\ref`, `\cref` - no layout-based grammar - (?) integrate with JavaScript+CSS for IDE features in...

Doc page width problem

7

Try the following case: ```java var d = Doc.english("You are right, but \"Genshin Impact\" is a brand new open world adventure game by MHY."); System.out.println(d.renderToString(16, false)); ``` Doc will be...

LSP rename refactoring should respect renamings in `open` commands.

2

File `Primitives.aya` ```aya prim I ``` File `Haha.aya` ```aya open Primitives using (I as Yes) def left : Yes => 0 -- ^^^ try renaming this symbol to `Interval` ```...

Fix kernel version parsing failed too early.

3

libbpf does not fail that early when `get_{OS}_kernel_version()` failed to scan kernel version strings from either `/proc/version_signature` or from `utsname::version` https://github.com/libbpf/libbpf/blob/855bf91055a6250642dff1390231387cc5540711/src/libbpf_probes.c#L80-L100