Merge BlockstreamResearch#148: VSCode extension with LSP support

1c11594 Update project configuration and README (Volodymyr Herashchenko)
bb2d30f Add server discovery and verbose notification (Volodymyr Herashchenko)
b59ed7e Add main files for LSP functionality support (Volodymyr Herashchenko)

Pull request description:

  This pull request introduces optional support for the SimplicityHL language server, which was discussed in BlockstreamResearch#147. 
  Essentially, it works like this:
  
  - When opening a `.simf` or `.wit` file, the language server starts automatically.
  - If the language server is not found in `PATH` or other common locations, the extension offers to install it.
  - Users may dismiss this notification by selecting **“Don't show again”**, after which it will no longer appear.
  
  Also, some additional changes have been made:
  - Updated the **README** to describe and showcase the capabilities of the language server.
  - Changed the language identifier in `package.json` from `simfony` to `simplicityhl` for both `.simf` and `.wit` files, and added the required dependencies.
  - Added `esbuild.js` to bundle Typescript files.


ACKs for top commit:
  apoelstra:
    ACK 1c11594; successfully ran local tests


Tree-SHA512: e4f72dd0967f0e625ac294a74b0cf8e89bd6cb4ef8b608a2dbb4fead6040e25119ee8783634213934be6965424e39ac807b82a31e9f354025e0f38bd61379594

Author: apoelstra

vscode/.gitignore

@@ -0,0 +1,16 @@
+
+# client executables files
+node_modules/
+out/
+
+.pnpm-debug.log
+
+*.ast 
+dist/
+
+# vscode package
+*.vsix
+
+# lock files
+Cargo.lock
+**/pnpm-lock.yaml

vscode/.vscodeignore

@@ -3,11 +3,14 @@ node_modules/
 .git/
 .gitignore
 npm-debug.log
-*.ts
+**/*.ts
 *.map
+tsconfig.json
+.github
 test/
 tests/
 README.md
+esbuild.js
 bitcoind-tests/
 flake.*
 Cargo.*

vscode/README.md

@@ -11,6 +11,16 @@ SimplicityHL is a high-level language for writing Simplicity smart contracts. Si
 - Syntax highlighting for .simf and .wit files
 - Basic language configuration (brackets, comments)
 
+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](https://github.com/user-attachments/assets/bbc2b9de-c286-4d31-b47e-ac95885f8916)
+
+
+
+
 ### Development
 
 To install the extension manually or hack on the source code see [development.md](docs/development.md)

vscode/esbuild.js

@@ -0,0 +1,57 @@
+const esbuild = require("esbuild");
+
+const production = process.argv.includes("--production");
+const watch = process.argv.includes("--watch");
+
+async function main() {
+  const ctx = await esbuild.context({
+    entryPoints: ["src/extension.ts"],
+    bundle: true,
+    format: "cjs",
+    minify: production,
+    sourcemap: !production,
+    sourcesContent: false,
+    platform: "node",
+    outfile: "dist/extension.js",
+    external: ["vscode"],
+    logLevel: "warning",
+    plugins: [
+      /* add to the end of plugins array */
+      esbuildProblemMatcherPlugin,
+    ],
+  });
+  if (watch) {
+    await ctx.watch();
+  } else {
+    await ctx.rebuild();
+    await ctx.dispose();
+  }
+}
+
+/**
+ * @type {import('esbuild').Plugin}
+ */
+const esbuildProblemMatcherPlugin = {
+  name: "esbuild-problem-matcher",
+
+  setup(build) {
+    build.onStart(() => {
+      console.log("[watch] build started");
+    });
+    build.onEnd((result) => {
+      result.errors.forEach(({ text, location }) => {
+        console.error(`✘ [ERROR] ${text}`);
+        if (location == null) return;
+        console.error(
+          `    ${location.file}:${location.line}:${location.column}:`,
+        );
+      });
+      console.log("[watch] build finished");
+    });
+  },
+};
+
+main().catch((e) => {
+  console.error(e);
+  process.exit(1);
+});