Refactor web editor

.github/workflows/ci.yml

@@ -90,11 +90,11 @@ jobs:
       - uses: actions/checkout@v4
       - uses: dtolnay/rust-toolchain@stable
       - name: Verify metadata
-        run: cargo package --workspace --no-verify --exclude polarity-bench --exclude test-runner --exclude lsp-browser
+        run: cargo package --workspace --no-verify --exclude polarity-bench --exclude test-runner --exclude polarity-lang-lsp-wasm
       # The next step is very time intensive, so we only execute it on main.
       - name: Verify that tarballs can be built
         if: ${{ github.ref == 'refs/heads/main' }}
-        run: cargo package --workspace --exclude polarity-bench --exclude test-runner --exclude lsp-browser
+        run: cargo package --workspace --exclude polarity-bench --exclude test-runner --exclude polarity-lang-lsp-wasm
 
   line-endings:
     name: Check line endings

Cargo.toml

@@ -10,7 +10,7 @@ members = [
     "lang/driver",
     "lang/transformations",
     "lang/backend",
-    "web/crates/browser",
+    "web/crates/lsp-wasm",
     "app",
     "bench",
     "test/test-runner",

Makefile

@@ -33,8 +33,8 @@ coverage:
 
 .PHONY: package-quick
 package-quick:
-	@cargo package --workspace --no-verify --exclude polarity-bench --exclude test-runner --exclude lsp-browser
+	@cargo package --workspace --no-verify --exclude polarity-bench --exclude test-runner --exclude polarity-lang-lsp-wasm
 
 .PHONY: package
 package:
-	@cargo package --workspace --no-verify --exclude polarity-bench --exclude test-runner --exclude lsp-browser
+	@cargo package --workspace --exclude polarity-bench --exclude test-runner --exclude polarity-lang-lsp-wasm

web/.eslintrc.yaml

@@ -10,6 +10,14 @@ overrides:
   - files: "webpack.config.js"
     env:
       "node": true
+  - files:
+      - "packages/lsp-web/src/**/*.js"
+    env:
+      browser: true
+    globals:
+      TextDecoder: readonly
+      TextEncoder: readonly
+      WritableStream: readonly
   - files: ["*.ts", "*.tsx"]
     extends:
       - plugin:@typescript-eslint/eslint-recommended

web/Makefile

@@ -6,31 +6,35 @@ deps:
 build: build-server build-app
 
 run: clean-app build-server
-	@npm run app --workspace=packages/app
+	@npm run app --workspace=packages/web-editor
 
 build-server: clean-app
-	@CARGO_PROFILE_CODEGEN_UNITS=1 CARGO_PROFILE_RELEASE_OPT_LEVEL=z CARGO_PROFILE_RELEASE_LTO=fat cargo build -p lsp-browser --target wasm32-unknown-unknown --release
-	@wasm-bindgen --out-dir ./packages/app/assets/wasm --target web --typescript ../target/wasm32-unknown-unknown/release/lsp_browser.wasm
+	@CARGO_PROFILE_CODEGEN_UNITS=1 CARGO_PROFILE_RELEASE_OPT_LEVEL=z CARGO_PROFILE_RELEASE_LTO=fat cargo build -p polarity-lang-lsp-wasm --target wasm32-unknown-unknown --release
+	@wasm-bindgen --out-dir ./packages/lsp-web/assets/wasm --target web --typescript ../target/wasm32-unknown-unknown/release/polarity_lang_lsp_wasm.wasm
 
 build-app:
-	@npm run build --workspace=packages/app
+	@npm run build --workspace=packages/web-editor
 
 clean: clean-server clean-app
 
 clean-server:
 	@cargo clean
 
 clean-app:
-	@rm -rf packages/app/dist
-	@rm -rf packages/app/assets/wasm
+	@rm -rf packages/web-editor/dist
+	@rm -rf packages/lsp-web/assets/wasm
 
 lint:
+	@npm run check --workspace=packages/web-editor
+	@npm run check --workspace=packages/lsp-web
 	@cargo fmt --all --check
 	@cargo clippy --all -- -Dwarnings
-	@npm run lint --workspace=packages/app
+	@npm run lint --workspace=packages/web-editor
+	@npm run lint --workspace=packages/lsp-web
 	@npx stylelint  "**/*.css"
 
 format:
 	@cargo fmt --all
-	@npm run format --workspace=packages/app
+	@npm run format --workspace=packages/web-editor
+	@npm run format --workspace=packages/lsp-web
 	@npx stylelint  "**/*.css" --fix

web/crates/browser/Cargo.toml → web/crates/lsp-wasm/Cargo.toml

@@ -1,5 +1,5 @@
 [package]
-name = "lsp-browser"
+name = "polarity-lang-lsp-wasm"
 
 version.workspace = true
 edition.workspace = true
@@ -38,7 +38,7 @@ web-sys                  = { workspace = true, features = [
   "Location",
   "HtmlTextAreaElement",
   "ReadableStream",
-  "WritableStream",  
+  "WritableStream",
 ] }
 
 # workspace dependencies