Merge #5: feat: streamline imports and enums integration

c8bc7d7 feat: streamline imports and enums integration (Kyryl R)

Pull request description:

ACKs for top commit:
  gerau:
    ACK c8bc7d7; tested locally, code review

Tree-SHA512: bcae18a8f882c1fd142c6900604cf9be24e1e6ea0ca848bd01a4af1c86d61f5f38a1d5282c97cd2f43e7206971c975540c4849f5b727e9554901865c5ae3ea9c

Author: gerau

.github/workflows/typescript.yml

@@ -1,4 +1,4 @@
-name: VS Code extension (ESLint)
+name: VS Code extension
 
 on:
   push:
@@ -16,8 +16,8 @@ on:
   workflow_dispatch:
 
 jobs:
-  eslint:
-    name: Lint on Node v${{ matrix.node }}
+  checks:
+    name: Check on Node v${{ matrix.node }}
     runs-on: ubuntu-latest
     timeout-minutes: 10
 
@@ -51,7 +51,7 @@ jobs:
         env:
           CI: true
 
-      - name: Run ESLint
-        run: npm run eslint-check
+      - name: Run checks
+        run: npm run check
         env:
           CI: true

.vscodeignore

@@ -4,8 +4,10 @@ src
 docs
 .gitignore
 tsconfig.json
-esbuild.js
+esbuild.mjs
 package-lock.json
 .github
-eslint.config.js
+.idea
+eslint.config.ts
 *.ts
+dist/**/*.map

README.md

@@ -8,18 +8,29 @@ SimplicityHL is a high-level language for writing Simplicity smart contracts. Si
 
 ## Features
 
-- Syntax highlighting for .simf and .wit files
-- Basic language configuration (brackets, comments)
+- Syntax highlighting and snippets for `.simf` and `.wit` files
+- Compiler diagnostics, completion, hover, signature help, symbols, references, and go to definition
+- Opt-in imports and enums support in the language server and direct compiler commands
+
+The extension installs or connects to the [SimplicityHL language server](https://github.com/BlockstreamResearch/simplicityhl-lsp), which provides language intelligence:
 
-Also, you can install the [SimplicityHL language server](https://github.com/distributed-lab/simplicityhl-lsp), which enables several features:
 - Error diagnostics
 ![diagnostics](https://github.com/user-attachments/assets/54315645-464b-40c3-bb72-c6e8c4bc0ad5)
 
-- Completion of user-defined functions and jets
+- Completion of user-defined functions, imported items, built-ins, and jets
 ![completion](https://github.com/user-attachments/assets/bbc2b9de-c286-4d31-b47e-ac95885f8916)
 
+## Experimental features
+
+Open Settings and search for `SimplicityHL: Experimental Features`. `Imports` and `Enums` are independent checkboxes and both are disabled by default.
+
+Import and module syntax requires `simplicityhl.experimentalFeatures.imports`. Enum syntax requires `simplicityhl.experimentalFeatures.enums`. The extension sends these choices to the LSP and adds the matching `-Z` flags to its direct `simc` commands and tasks.
+
+The enum switch requires `simplicityhl-lsp` and `simc` 0.7.0 or newer.
 
+The language server owns `Simplex.toml` discovery and imported-file analysis. The extension does not duplicate that resolver. Direct `simc` commands currently add feature flags only; they do not translate Simplex dependencies into `--dep` arguments. Use the project build tooling or invoke `simc` with the required dependency mappings for projects with external imports.
 
+For local extension development, `simplicityhl.server.path` can point to a locally built `simplicityhl-lsp` binary.
 
 ### Development
 

docs/development.md

@@ -1,6 +1,6 @@
 ## Extension installation from source code
 
-Install Node.js (v14 or later recommended).
+Install Node.js 20.19 or later (Node.js 22 LTS is recommended).
 
 ### Local Installation
 
@@ -26,6 +26,10 @@ Install Node.js (v14 or later recommended).
    - Select "Install from VSIX..."
    - Navigate to and select the `.vsix` file you created
 
+To test a local language-server build, set `simplicityhl.server.path` to its absolute executable path.
+Enable `simplicityhl.experimentalFeatures.imports` or `simplicityhl.experimentalFeatures.enums` as needed.
+Open a project at its Simplex root so the language server can discover its manifest.
+
 ### Alternative Installation Method
 
 You can also install the extension directly from the source code:

esbuild.js esbuild.mjsesbuild.js renamed to esbuild.mjs

@@ -51,7 +51,7 @@ const esbuildProblemMatcherPlugin = {
   },
 };
 
-main().catch((e) => {
-  console.error(e);
+main().catch((error) => {
+  console.error(error);
   process.exit(1);
 });

eslint.config.ts

@@ -34,7 +34,7 @@ export default defineConfig(
     },
   },
   {
-    files: ["**/*.js"],
+    files: ["**/*.{js,mjs}"],
     languageOptions: {
       globals: {
         ...globals.node,