Strip down web (#351)

* Tear down leftovers from old web demo * Fix keywords in web editor
polarity-lang · Nov 6, 2024 · 1cb231b · 1cb231b
1 parent 76623d3
commit 1cb231b
Show file tree

Hide file tree

Showing 8 changed files with 5 additions and 173 deletions.
diff --git a/web/README.md b/web/README.md
@@ -16,10 +16,14 @@ make build
 
 ## Run
 
+To run the web demo, execute the following command:
+
 ```sh
 make run
 ```
 
+Then, navigate to [http://localhost:9000/editor#example.pol](http://localhost:9000/editor#example.pol), where `example.pol` can be any file in the `examples` directory.
+
 ## License
 
 The content in this folder is based on [tower-lsp-web-demo](https://github.com/silvanshade/tower-lsp-web-demo/) by Darin Morrison.

diff --git a/web/packages/app/assets/demo.css b/web/packages/app/assets/demo.css
diff --git a/web/packages/app/assets/demo.html b/web/packages/app/assets/demo.html
diff --git a/web/packages/app/src/editor/language.ts b/web/packages/app/src/editor/language.ts
@@ -99,7 +99,7 @@ export default class Language implements monaco.languages.ILanguageExtensionPoin
 
   private static syntaxDefinition(): monaco.languages.IMonarchLanguage {
     return {
-      keywords: ["data", "codata", "impl", "def", "codef", "match", "comatch", "absurd"],
+      keywords: ["data", "codata", "let", "def", "codef", "match", "comatch", "absurd", "Type", "implicit", "use"],
 
       typeKeywords: ["Type"],
 

diff --git a/web/packages/app/src/tutorial/editor.ts b/web/packages/app/src/tutorial/editor.ts
diff --git a/web/packages/app/src/tutorial/highlight.ts b/web/packages/app/src/tutorial/highlight.ts
diff --git a/web/packages/app/src/tutorial/index.ts b/web/packages/app/src/tutorial/index.ts
diff --git a/web/packages/app/webpack.config.js b/web/packages/app/webpack.config.js
@@ -32,7 +32,6 @@ module.exports = (env, argv) => {
     mode: "production",
     target: "web",
     entry: {
-      tutorial: "./src/tutorial/index.ts",
       editor: "./src/editor/index.ts",
       "editor.worker": "monaco-editor-core/esm/vs/editor/editor.worker.js",
     },
@@ -109,22 +108,12 @@ module.exports = (env, argv) => {
       new webpack.DefinePlugin({
         DEBUG: !prod,
       }),
-      new HtmlWebpackPlugin({
-        template: "assets/demo.html",
-        filename: "index.html",
-        chunks: ["tutorial"],
-        scriptLoading: "defer",
-      }),
       new HtmlWebpackPlugin({
         template: "assets/editor.html",
         filename: "editor/index.html",
         chunks: ["editor", "editor.worker"],
         scriptLoading: "defer",
       }),
-      // Watch all files in tutorial folder for changes
-      new WebpackWatchFilesPlugin({
-        files: ["./assets/tutorial/*"],
-      }),
     ],
     optimization: {
       minimize: prod,