Language Server Infrastructure

Cargo.toml

@@ -9,4 +9,5 @@ members = [
     "zydeco-lang/statics",
     "cli",
     "web",
+    "editor/zls",
 ]

docs/parser_combinator/parser_revisited.zy

@@ -24,4 +24,4 @@ alias ReaderM (M : VType -> CType) (S : VType) (A : VType) = S -> M A end
 
 main
   ! exit 0
-end
+end

editor/.gitignore

@@ -0,0 +1 @@
+!.vscode/

editor/.vscode/launch.json

@@ -0,0 +1,18 @@
+{
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "name": "Run Extension",
+            "type": "extensionHost",
+            "request": "launch",
+            "runtimeExecutable": "${execPath}",
+            "args": [
+                "--extensionDevelopmentPath=${workspaceFolder}/code/zls"
+            ],
+            "outFiles": [
+                "${workspaceFolder}/code/zls/out/**/*.js"
+            ],
+            "preLaunchTask": "VS Code Extension Prelaunch"
+        }
+    ]
+}

editor/.vscode/tasks.json

@@ -0,0 +1,49 @@
+{
+    "version": "2.0.0",
+    "tasks": [
+        {
+            "label": "VS Code Extension Prelaunch",
+            "dependsOn": [ "Compile VS Code Extension", "Build Debug LSP Binary", "Copy Debug LSP Binary to VS Code Extension" ],
+            "dependsOrder": "sequence"
+        },
+        {
+            "label": "Compile VS Code Extension",
+            "type": "npm",
+            "script": "compile",
+            "path": "code/zls/",
+            "group": "build"
+        },
+        {
+            "label": "Build Debug LSP Binary",
+            "type": "cargo",
+            "command": "build",
+            "problemMatcher": [ "$rustc" ],
+            "group": "build"
+        },
+        {
+            "label": "Copy Debug LSP Binary to VS Code Extension",
+            "type": "shell",
+            "windows": {
+                "command": "cp",
+                "args": [
+                    "${workspaceFolder}\\..\\target\\debug\\zls.exe",
+                    "${workspaceFolder}\\code\\zls\\out\\"
+                ]
+            },
+            "linux": {
+                "command": "cp",
+                "args": [
+                    "${workspaceFolder}/../target/debug/zls",
+                    "${workspaceFolder}/code/zls/out/"
+                ]
+            },
+            "osx": {
+                "command": "cp",
+                "args": [
+                    "${workspaceFolder}/../target/debug/zls",
+                    "${workspaceFolder}/code/zls/out/"
+                ]
+            }
+        }
+    ]
+}

editor/code/zls/.gitignore

@@ -1 +1,4 @@
-!.vscode/
+!.vscode/
+
+node_modules/
+out/