feat: initial FunC support (#26)

Fixes #27

Author: i582

.gitignore

@@ -7,9 +7,10 @@ dist/
 test-workspace/
 .vscode-test/
 *.wasm
-!tree-sitter-tolk/tree-sitter-tolk.wasm
-!tree-sitter-fift/tree-sitter-fift.wasm
-!tree-sitter-tlb/tree-sitter-tlb.wasm
+!**/tree-sitter-tolk/tree-sitter-tolk.wasm
+!**/tree-sitter-func/tree-sitter-func.wasm
+!**/tree-sitter-fift/tree-sitter-fift.wasm
+!**/tree-sitter-tlb/tree-sitter-tlb.wasm
 
 # tests
 server/src/e2e/out

.vscodeignore

@@ -5,6 +5,7 @@
 !dist/**/*.wasm
 !dist/**/*.svg
 !dist/**/*.tolk
+!dist/**/*.fc
 
 # Include only this files
 !LICENSE

README-extension.md

@@ -33,7 +33,15 @@ Tolk support includes:
 
 FunC support includes:
 
-- Basic syntax highlighting
+- Semantic syntax highlighting
+- Code completion, imports completion
+- Go to definition
+- Find all references, workspace symbol search, symbol renaming
+- Automatic import updates when renaming and moving files
+- Types and documentation on hover
+- Inlay hints for method id
+- On-the-fly inspections
+- Build and test projects based on Blueprint
 
 Fift assembly support includes:
 

README.md

@@ -33,7 +33,15 @@ Tolk support includes:
 
 FunC support includes:
 
-- Basic syntax highlighting
+- Semantic syntax highlighting
+- Code completion, imports completion
+- Go to definition
+- Find all references, workspace symbol search, symbol renaming
+- Automatic import updates when renaming and moving files
+- Types and documentation on hover
+- Inlay hints for method id
+- On-the-fly inspections
+- Build and test projects based on Blueprint
 
 Fift assembly support includes:
 

client/src/extension.ts

@@ -80,13 +80,14 @@ async function startServer(context: vscode.ExtensionContext): Promise<vscode.Dis
         revealOutputChannelOn: RevealOutputChannelOn.Never,
         documentSelector: [
             {scheme: "file", language: "tolk"},
+            {scheme: "file", language: "func"},
             {scheme: "file", language: "fift"},
             {scheme: "file", language: "tlb"},
             {scheme: "untitled", language: "tolk"},
         ],
         synchronize: {
             configurationSection: "ton",
-            fileEvents: vscode.workspace.createFileSystemWatcher("**/*.{tolk,tlb}"),
+            fileEvents: vscode.workspace.createFileSystemWatcher("**/*.{tolk,fc,func,tlb}"),
         },
         initializationOptions: {
             clientConfig: getClientConfiguration(),
@@ -96,6 +97,10 @@ async function startServer(context: vscode.ExtensionContext): Promise<vscode.Dis
                 context.extensionUri,
                 "./dist/tree-sitter-tolk.wasm",
             ).fsPath,
+            funcLangWasmUri: vscode_uri.joinPath(
+                context.extensionUri,
+                "./dist/tree-sitter-func.wasm",
+            ).fsPath,
             fiftLangWasmUri: vscode_uri.joinPath(
                 context.extensionUri,
                 "./dist/tree-sitter-fift.wasm",

client/src/languages/func-language-configuration.json

@@ -25,5 +25,14 @@
         "increaseIndentPattern": "^(.*\\{[^}\"']*|.*\\([^\\)\"']*|.*\\[[^\\]\"']*)$",
         "decreaseIndentPattern": "^\\s*[\\}\\]\\)]"
     },
-    "wordPattern": "`[^`]+`|[A-Za-z_$][^\\s+\\-*\\/%,.;(){}\\[\\]=<>|\\^~]*"
+    "wordPattern": "`[^`]+`|[A-Za-z_$:][^\\s+\\-*\\/%,.;(){}\\[\\]=<>|\\^~]*",
+    "onEnterRules": [
+        {
+            "beforeText": "^\\s*;;;.*$",
+            "action": {
+                "indent": "none",
+                "appendText": ";;; "
+            }
+        }
+    ]
 }

eslint.config.mjs

@@ -30,6 +30,7 @@ export default tseslint.config(
             "server/src/languages/tolk/tree-sitter-tolk/",
             "server/src/languages/fift/tree-sitter-fift/",
             "server/src/languages/tolk/tree-sitter-tolk/",
+            "server/src/languages/func/tree-sitter-func/",
             "server/src/languages/tlb/tree-sitter-tlb/",
         ],
     },

package.json

@@ -43,6 +43,7 @@
         "fmt:check": "prettier --check --cache .",
         "grammar:wasm": "yarn grammar:tolk:wasm && yarn grammar:fift:wasm && yarn grammar:tlb:wasm",
         "grammar:tolk:wasm": "cd server/src/languages/tolk/tree-sitter-tolk && tree-sitter generate && tree-sitter build --wasm",
+        "grammar:func:wasm": "cd server/src/languages/func/tree-sitter-func && tree-sitter generate && tree-sitter build --wasm",
         "grammar:fift:wasm": "cd server/src/languages/fift/tree-sitter-fift && tree-sitter generate && tree-sitter build --wasm",
         "grammar:tlb:wasm": "cd server/src/languages/tlb/tree-sitter-tlb && tree-sitter generate && tree-sitter build --wasm",
         "watch": "webpack --watch",
@@ -363,7 +364,17 @@
                     "ton.tolk.hints.showMethodId": {
                         "type": "boolean",
                         "default": true,
-                        "description": "Show method ID hints for contract functions"
+                        "description": "Show method ID hints for get methods"
+                    },
+                    "ton.func.hints.disable": {
+                        "type": "boolean",
+                        "default": false,
+                        "description": "Disable all inlay hints for FunC"
+                    },
+                    "ton.func.hints.showMethodId": {
+                        "type": "boolean",
+                        "default": true,
+                        "description": "Show method ID hints for functions with method_id"
                     }
                 }
             },
@@ -404,6 +415,20 @@
                             "type-compatibility"
                         ],
                         "description": "List of disabled code inspections. All inspections are enabled by default."
+                    },
+                    "ton.func.inspections.disabled": {
+                        "type": "array",
+                        "items": {
+                            "type": "string",
+                            "enum": [
+                                "unused-parameter",
+                                "unused-type-parameter",
+                                "unused-variable",
+                                "unused-import"
+                            ]
+                        },
+                        "default": [],
+                        "description": "List of disabled code inspections for FunC. All inspections are enabled by default."
                     }
                 }
             },

server/src/files.ts

@@ -1,15 +1,17 @@
 import * as lsp from "vscode-languageserver"
 import {TextDocument} from "vscode-languageserver-textdocument"
 import {pathToFileURL} from "node:url"
-import {createFiftParser, createTlbParser, createTolkParser} from "@server/parser"
+import {createFiftParser, createFuncParser, createTlbParser, createTolkParser} from "@server/parser"
 import {readFileVFS, globalVFS} from "@server/vfs/files-adapter"
 import {FiftFile} from "@server/languages/fift/psi/FiftFile"
 import {TlbFile} from "@server/languages/tlb/psi/TlbFile"
 import {URI} from "vscode-uri"
 import {TolkFile} from "@server/languages/tolk/psi/TolkFile"
 import {measureTime} from "@server/psi/utils"
+import {FuncFile} from "@server/languages/func/psi/FuncFile"
 
 export const TOLK_PARSED_FILES_CACHE: Map<string, TolkFile> = new Map()
+export const FUNC_PARSED_FILES_CACHE: Map<string, FuncFile> = new Map()
 export const FIFT_PARSED_FILES_CACHE: Map<string, FiftFile> = new Map()
 export const TLB_PARSED_FILES_CACHE: Map<string, TlbFile> = new Map()
 
@@ -41,6 +43,34 @@ export function reparseTolkFile(uri: string, content: string): TolkFile {
     return file
 }
 
+export async function findFuncFile(uri: string, changed: boolean = false): Promise<FuncFile> {
+    const cached = FUNC_PARSED_FILES_CACHE.get(uri)
+    if (cached !== undefined && !changed) {
+        return cached
+    }
+
+    const rawContent = await readOrUndefined(uri)
+    if (rawContent === undefined) {
+        console.error(`cannot read ${uri} file`)
+    }
+
+    const content = rawContent ?? ""
+    return measureTime(`reparse ${uri}`, () => reparseFuncFile(uri, content))
+}
+
+export function reparseFuncFile(uri: string, content: string): FuncFile {
+    const parser = createFuncParser()
+    const tree = parser.parse(content)
+    if (!tree) {
+        throw new Error(`FATAL ERROR: cannot parse ${uri} file`)
+    }
+
+    // TODO: why we have %40 here?
+    const file = new FuncFile(uri.replace("%40", "@"), tree, content)
+    FUNC_PARSED_FILES_CACHE.set(uri, file)
+    return file
+}
+
 export async function findFiftFile(uri: string): Promise<FiftFile> {
     const cached = FIFT_PARSED_FILES_CACHE.get(uri)
     if (cached !== undefined) {
@@ -108,6 +138,11 @@ export const isTolkFile = (
     event?: lsp.TextDocumentChangeEvent<TextDocument>,
 ): boolean => event?.document.languageId === "tolk" || uri.endsWith(".tolk")
 
+export const isFuncFile = (
+    uri: string,
+    event?: lsp.TextDocumentChangeEvent<TextDocument>,
+): boolean => event?.document.languageId === "func" || uri.endsWith(".fc") || uri.endsWith(".func")
+
 export const isFiftFile = (
     uri: string,
     event?: lsp.TextDocumentChangeEvent<TextDocument>,

server/src/func-indexing-root.ts

@@ -0,0 +1,48 @@
+//  SPDX-License-Identifier: MIT
+//  Copyright © 2025 TON Studio
+import * as path from "node:path"
+import {glob} from "glob"
+import {index} from "@server/languages/func/indexes"
+import {fileURLToPath} from "node:url"
+import {filePathToUri, findFuncFile} from "@server/files"
+
+export enum FuncIndexingRootKind {
+    Stdlib = "stdlib",
+    Workspace = "workspace",
+}
+
+export class FuncIndexingRoot {
+    public constructor(
+        public root: string,
+        public kind: FuncIndexingRootKind,
+    ) {}
+
+    public async index(): Promise<void> {
+        const ignore =
+            this.kind === FuncIndexingRootKind.Stdlib
+                ? []
+                : [
+                      ".git/**",
+                      "allure-results/**",
+                      "**/node_modules/**",
+                      "**/dist/**",
+                      "**/__testdata/**",
+                  ]
+
+        const rootDir = fileURLToPath(this.root)
+        const files = await glob("**/*.{fc,func}", {
+            cwd: rootDir,
+            ignore: ignore,
+        })
+        if (files.length === 0) {
+            console.warn(`No file to index in ${this.root}`)
+        }
+        for (const filePath of files) {
+            console.info("Indexing:", filePath)
+            const absPath = path.join(rootDir, filePath)
+            const uri = filePathToUri(absPath)
+            const file = await findFuncFile(uri)
+            index.addFile(uri, file, false)
+        }
+    }
+}