Kiva

We may need to implement aya-prover/aya-prover-proto#508 first because we should be able to provide completions on incomplete programs IMO

But the biggest problem is that our parser currently cannot recover from parse errors like ```aya def test => zero def a => ``` So when vscode is trying to...

@ice1000 But this does not cover all cases and we need to change every pass in the compiler every time the syntax compromises.

It seems ANTLR4 can recover: https://www.antlr.org/api/Java/org/antlr/v4/runtime/ANTLRErrorStrategy.html

> > It seems ANTLR4 can recover: https://www.antlr.org/api/Java/org/antlr/v4/runtime/ANTLRErrorStrategy.html > > Is that easy to adapt in Aya? It's a little difficult. ANTLR does not have detailed documents on this.

>  > > Quite easy. I mean these magic functions not the API 

Our parsers are decoupled from base module now. Should we introduce a tree-sitter for LSP only?

by using `-v ERROR` ?

~Looks amazing. Let me have a try~

Are we going to have `ayaup` in the future if we use the system package manager now?