vuvoth/ccls

circom language server

Install

Install follow those commands:

git clone https://github.com/vuvoth/ccls
cd ccls 
cargo xtask install --server 
cargo xtask install --client

ccls's Issues

circom-lsp client: couldn't create connection to server.

Hi @vuvoth, when i installed the extension and opened a circom file, it complained with the following error message, do you know what it means?

[Error - 下午3:46:29] circom-lsp client: couldn't create connection to server.
Error: spawn Unknown system error -8
    at ChildProcess.spawn (node:internal/child_process:413:11)
    at Object.spawn (node:child_process:806:9)
    at /Users/johnson/.vscode/extensions/vuvoth.circom-plus-0.0.6/out/main.js:39:57554
    at Gl.createConnection (/Users/johnson/.vscode/extensions/vuvoth.circom-plus-0.0.6/out/main.js:39:12709)
    at Gl.start (/Users/johnson/.vscode/extensions/vuvoth.circom-plus-0.0.6/out/main.js:39:2940)

Support macOS/window for ccls without build from source.

Motivation

The extension(pre-build on vscode) only runable on linux. We should support macOS and window by default.

Relate context

• #42
• https://github.com/cross-rs/cross

Jump to input signal associated components

Support nvim/vim lsp

CLS unresponsive after change file content

Support amonymous component in parser

Jump to function in lib

Refactor project structure

We should follow this structure:

• crate parser only process parser with abstract TokenKind stream. We don't care about concrete token.
• syntax crate wrap parser with concrete token and create API for query to syntax tree use rowan lib.
• lsp implement logic for language server. This have responsibility for implement communicate with syntax crate to query data.

Update vscode lsp client

Ccls not exit after close vscode

Create better API for travel and query on syntax tree

Create better API for travel and query on syntax tree:

• Travel tree and get summary on tree
• Query node
• Update node

Support main componet

feature: go to the definition by clicking the library include path

Currently it will make vscode stuck when clicking the path to "../node_modules/circomlib/circuits/comparators.circom"

2024-02-28.8.45.11.mov

Data base for syntax semantic in ccls

Motivation

Every time we query semantic tokens on abstract syntax tree we need travel on this tree. We can build the database which is store semantic of token relate with abstract syntax tree of those files. This easier/cheaper for us to make a queries.

Example, we design schema of db like below:

struct DbSemantic {
   templates: HashMap<Token, Template>,
   signals: HashMap<Token, HashMap<Template,  SignalDecl>> ,
   ...
}

We can make query to the Template when we know token(name of template). When we open/update new file we also update DbSemantic.

We don't need browse the ast tree for each query we make.

Add tests for parse

Support jump to declaration/define of signal and variable in circom.

Hover to var/signal/template/component to get information about them.

Can't jump to var define in function

Rowan library research

Let research and think about the way use Rowan in cls

Setup rust log for debug and log useful information

Error: Cannot read properties of undefined

Im getting the following error when trying to get to the definition of a component:

[Trace - 10:33:16 PM] Received response 'textDocument/definition - (51)' in 1ms. Request failed: Request textDocument/definition failed with message: Cannot read properties of undefined (reading 'type') (-32603).
[Error - 10:33:16 PM] Request textDocument/definition failed.
  Message: Request textDocument/definition failed with message: Cannot read properties of undefined (reading 'type')
  Code: -32603 

Make Syntax API simplier

Circom 2 support