refactor: bring VS Code extension into this repo

.github/workflows/release.yml

@@ -17,7 +17,11 @@ jobs:
           registry-url: "https://registry.npmjs.org"
       - name: Build all packages
         run: yarn build
-      - name: Publish all packages
+      - name: Publish npm packages
         run: npm publish --workspaces
         env:
           NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}
+      - name: Publish VS Code extension
+        run: npx vsce publish --baseImagesUrl="https://github.com/penrose/penrose/raw/${GITHUB_REF#refs/tags/}/packages/vscode"
+        env:
+          VSCE_PAT: ${{ secrets.VSCE_PAT }}

package.json

@@ -49,7 +49,8 @@
       "packages/optimizer",
       "packages/roger",
       "packages/synthesizer",
-      "packages/synthesizer-ui"
+      "packages/synthesizer-ui",
+      "packages/vscode"
     ],
     "nohoist": [
       "**/@types/jest",

packages/vscode/.gitignore

@@ -0,0 +1 @@
+*.vsix

packages/vscode/.vscode/launch.json

@@ -0,0 +1,11 @@
+{
+  "version": "0.2.0",
+  "configurations": [
+    {
+      "name": "Extension",
+      "type": "extensionHost",
+      "request": "launch",
+      "args": ["--extensionDevelopmentPath=${workspaceFolder}"]
+    }
+  ]
+}

packages/vscode/.vscodeignore

@@ -0,0 +1,7 @@
+**
+!languages/
+!LICENSE
+!package.json
+!README.md
+!resources/
+!syntaxes/

packages/vscode/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2021
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

packages/vscode/README.md

@@ -0,0 +1,3 @@
+# Penrose for VS Code
+
+Supports `.domain`, `.style`, and `.substance` for [Penrose](https://penrose.cs.cmu.edu).

packages/vscode/languages/common-language-configuration.json

@@ -0,0 +1,17 @@
+{
+  "comments": {
+    "blockComment": ["/*", "*/"],
+    "lineComment": "--"
+  },
+  "brackets": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"]
+  ],
+  "autoClosingPairs": [
+    ["(", ")"],
+    ["[", "]"],
+    ["{", "}"],
+    ["\"", "\""]
+  ]
+}

packages/vscode/package.json

@@ -0,0 +1,88 @@
+{
+  "name": "penrose-vs",
+  "displayName": "Penrose",
+  "publisher": "penrose",
+  "description": "Penrose languages bundle",
+  "version": "2.1.1",
+  "author": "Penrose Team (https://penrose.cs.cmu.edu/)",
+  "license": "MIT",
+  "private": true,
+  "engines": {
+    "vscode": "^1.52.0"
+  },
+  "categories": [
+    "Other",
+    "Snippets",
+    "Programming Languages"
+  ],
+  "activationEvents": [
+    "onLanguage:penrose-style"
+  ],
+  "icon": "resources/icon.png",
+  "repository": {
+    "type": "git",
+    "url": "https://github.com/penrose/penrose",
+    "directory": "packages/vscode"
+  },
+  "contributes": {
+    "languages": [
+      {
+        "id": "penrose-style",
+        "aliases": [
+          "Penrose Style"
+        ],
+        "extensions": [
+          ".style"
+        ],
+        "configuration": "./languages/common-language-configuration.json"
+      },
+      {
+        "id": "penrose-domain",
+        "aliases": [
+          "Penrose Domain"
+        ],
+        "extensions": [
+          ".domain"
+        ],
+        "configuration": "./languages/common-language-configuration.json"
+      },
+      {
+        "id": "penrose-substance",
+        "aliases": [
+          "Penrose Substance"
+        ],
+        "extensions": [
+          ".substance"
+        ],
+        "configuration": "./languages/common-language-configuration.json"
+      }
+    ],
+    "grammars": [
+      {
+        "scopeName": "source.penrose-common",
+        "path": "./syntaxes/common.tmGrammar.json"
+      },
+      {
+        "language": "penrose-style",
+        "scopeName": "source.penrose-style",
+        "path": "./syntaxes/style.tmGrammar.json"
+      },
+      {
+        "language": "penrose-domain",
+        "scopeName": "source.penrose-domain",
+        "path": "./syntaxes/domain.tmGrammar.json"
+      },
+      {
+        "language": "penrose-substance",
+        "scopeName": "source.penrose-substance",
+        "path": "./syntaxes/substance.tmGrammar.json"
+      }
+    ]
+  },
+  "scripts": {
+    "package": "vsce package --yarn"
+  },
+  "devDependencies": {
+    "@vscode/vsce": "^2"
+  }
+}

packages/vscode/syntaxes/common.tmGrammar.json

@@ -0,0 +1,25 @@
+{
+  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
+  "name": "penrose-common",
+  "scopeName": "source.penrose-common",
+  "patterns": [{ "include": "#strings" }, { "include": "#comments" }],
+  "repository": {
+    "strings": {
+      "name": "string.quoted.double",
+      "match": "\"(?:[^\n\\\"]|\\[\"\\ntbfr])*\""
+    },
+    "comments": {
+      "patterns": [
+        {
+          "name": "comment.block.penrose",
+          "begin": "/\\*",
+          "end": "\\*/"
+        },
+        {
+          "name": "comment.line.penrose",
+          "match": "--.*?$"
+        }
+      ]
+    }
+  }
+}

packages/vscode/syntaxes/domain.tmGrammar.json

@@ -0,0 +1,29 @@
+{
+  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
+  "name": "penrose-domain",
+  "scopeName": "source.penrose-domain",
+  "fileTypes": [".domain"],
+  "patterns": [
+    { "include": "#keywords" },
+    { "include": "#operators" },
+    { "include": "source.penrose-common" }
+  ],
+  "repository": {
+    "keywords": {
+      "patterns": [
+        {
+          "name": "keyword.control.penrose",
+          "match": "\\b(type|value|constructor|function|predicate|notation|Prop)\\b"
+        }
+      ]
+    },
+    "operators": {
+      "patterns": [
+        {
+          "name": "keyword.other.penrose.rarrow",
+          "match": "->"
+        }
+      ]
+    }
+  }
+}

packages/vscode/syntaxes/style.tmGrammar.json

@@ -0,0 +1,34 @@
+{
+  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
+  "name": "penrose-style",
+  "scopeName": "source.penrose-style",
+  "fileTypes": [".style"],
+  "patterns": [
+    { "include": "#numbers" },
+    { "include": "#keywords" },
+    { "include": "source.penrose-common" }
+  ],
+  "repository": {
+    "keywords": {
+      "patterns": [
+        {
+          "name": "keyword.control.penrose",
+          "match": "\\b(forall|where|with|delete|as|true|false|layer|encourage|ensure|override)\\b"
+        },
+        {
+          "name": "entity.other.attribute-name.penrose.layering",
+          "match": "\\b(above|below)\\b"
+        }
+      ]
+    },
+    "numbers": {
+      "patterns": [
+        {
+          "name": "constant.numeric.float",
+          "match": "\\b[+-]?(?:\\d+(?:[.]\\d*)?(?:[eE][+-]?\\d+)?|[.]\\d+(?:[eE][+-]?\\d+)?)\\b"
+        },
+        { "name": "constant.numeric.penrose.hole", "match": "\\?" }
+      ]
+    }
+  }
+}

packages/vscode/syntaxes/substance.tmGrammar.json

@@ -0,0 +1,24 @@
+{
+  "$schema": "https://raw.githubusercontent.com/martinring/tmlanguage/master/tmlanguage.json",
+  "name": "penrose-substance",
+  "scopeName": "source.penrose-substance",
+  "fileTypes": [".substance"],
+  "patterns": [
+    { "include": "#keywords" },
+    { "include": "#latex" },
+    { "include": "source.penrose-common" }
+  ],
+  "repository": {
+    "keywords": {
+      "patterns": [
+        {
+          "name": "keyword.control.penrose",
+          "match": "\\b(AutoLabel|Label|NoLabel|All)\\b"
+        }
+      ]
+    },
+    "latex": {
+      "patterns": [{ "name": "constant.language.penrose", "match": "\\$.*\\$" }]
+    }
+  }
+}

penrose.code-workspace

@@ -54,6 +54,10 @@
     {
       "name": "📦 @penrose/synthesizer-ui",
       "path": "packages/synthesizer-ui"
+    },
+    {
+      "name": "📦 penrose-vs",
+      "path": "packages/vscode"
     }
   ],
   "settings": {