lean4monaco 1.0.43 → 1.0.45

package/README.md

@@ -174,7 +174,7 @@ Afterwards, you can run the demo with
 ```
 cd lean4monaco
 npm install
-npm run setup_demo # this builds lean4monaco and calls `npm install` in `demo/`
+npm run demo:setup # this builds lean4monaco and calls `npm install` in `demo/`
 npm start
 ```
 

package/dist/infowebview.d.ts

@@ -1,6 +1,6 @@
 import { EditorApi, InfoviewApi } from "@leanprover/infoview-api";
-import { InfoWebviewFactory, InfoWebview } from "./vscode-lean4/vscode-lean4/src/infoview";
-import { Rpc } from "./vscode-lean4/vscode-lean4/src/rpc";
+import { InfoWebviewFactory, InfoWebview } from "lean4/src/infoview";
+import { Rpc } from "lean4/src/rpc";
 import { ViewColumn } from "vscode";
 import { IConfigurationService, IThemeService } from "vscode/services";
 export declare class IFrameInfoWebview implements InfoWebview {

package/dist/infowebview.js

@@ -1,4 +1,4 @@
-import { Rpc } from "./vscode-lean4/vscode-lean4/src/rpc";
+import { Rpc } from "lean4/src/rpc";
 import { EventEmitter } from "vscode";
 import * as colorUtils from 'vscode/vscode/vs/platform/theme/common/colorUtils';
 import { ColorScheme } from 'vscode/vscode/vs/platform/theme/common/theme';

package/dist/leanmonaco.d.ts

@@ -1,9 +1,9 @@
 import 'vscode/localExtensionHost';
 import { RegisterExtensionResult, WebSocketConfigOptionsUrl } from 'monaco-editor-wrapper';
-import { LeanClientProvider } from './vscode-lean4/vscode-lean4/src/utils/clientProvider';
-import { InfoProvider } from './vscode-lean4/vscode-lean4/src/infoview';
-import { AbbreviationFeature } from './vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
-import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
+import { LeanClientProvider } from 'lean4/src/utils/clientProvider';
+import { InfoProvider } from 'lean4/src/infoview';
+import { AbbreviationFeature } from 'lean4/src/abbreviation/AbbreviationFeature';
+import { LeanTaskGutter } from 'lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { IExtensionManifest } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';

package/dist/leanmonaco.js

@@ -1,9 +1,9 @@
 import 'vscode/localExtensionHost';
-import { LeanClientProvider } from './vscode-lean4/vscode-lean4/src/utils/clientProvider';
+import { LeanClientProvider } from 'lean4/src/utils/clientProvider';
 import { Uri, workspace } from 'vscode';
-import { InfoProvider } from './vscode-lean4/vscode-lean4/src/infoview';
-import { AbbreviationFeature } from './vscode-lean4/vscode-lean4/src/abbreviation/AbbreviationFeature';
-import { LeanTaskGutter } from './vscode-lean4/vscode-lean4/src/taskgutter';
+import { InfoProvider } from 'lean4/src/infoview';
+import { AbbreviationFeature } from 'lean4/src/abbreviation/AbbreviationFeature';
+import { LeanTaskGutter } from 'lean4/src/taskgutter';
 import { IFrameInfoWebviewFactory } from './infowebview';
 import { setupMonacoClient } from './monacoleanclient';
 import { checkLean4ProjectPreconditions } from './preconditions';
@@ -15,7 +15,7 @@ import getLanguagesServiceOverride from '@codingame/monaco-vscode-languages-serv
 import getModelServiceOverride from '@codingame/monaco-vscode-model-service-override';
 import { registerExtension } from 'vscode/extensions';
 import { DisposableStore } from 'vscode/monaco';
-import packageJson from './vscode-lean4/vscode-lean4/package.json';
+import packageJson from 'lean4/package.json';
 export class LeanMonaco {
     ready;
     whenReady = new Promise((resolve) => {
@@ -107,7 +107,8 @@ export class LeanMonaco {
             testLeanVersion: () => { return "lean4/stable"; },
             getElanDefaultToolchain: () => { return "lean4/stable"; }
         }, { appendLine: () => { }
-        }, checkLean4ProjectPreconditions, setupMonacoClient(this.getWebSocketOptions(options)));
+        }, checkLean4ProjectPreconditions, setupMonacoClient(this.getWebSocketOptions(options)) // TODO: `as any` hack
+        );
         const asAbsolutePath = (path) => {
             switch (path) {
                 // url.pathToFileURL

package/dist/monacoleanclient.d.ts

@@ -1,4 +1,4 @@
 import { WorkerConfigDirect, WebSocketConfigOptions, WebSocketConfigOptionsUrl, WorkerConfigOptions } from 'monaco-editor-wrapper';
-import { ExtUri } from './vscode-lean4/vscode-lean4/src/utils/exturi';
+import { ExtUri } from 'lean4/src/utils/exturi';
 import { LanguageClientOptions } from 'vscode-languageclient/node';
 export declare const setupMonacoClient: (options: WebSocketConfigOptions | WebSocketConfigOptionsUrl | WorkerConfigOptions | WorkerConfigDirect) => (clientOptions: LanguageClientOptions, folderUri: ExtUri, elanDefaultToolchain: string) => Promise<import("monaco-languageclient").MonacoLanguageClient>;

package/dist/monacoleanclient.js

@@ -1,5 +1,5 @@
 import { LanguageClientWrapper } from 'monaco-editor-wrapper';
-import { displayError } from './vscode-lean4/vscode-lean4/src/utils/notifs';
+import { displayError } from 'lean4/src/utils/notifs';
 export const setupMonacoClient = (options) => {
     return async (clientOptions, folderUri, elanDefaultToolchain) => {
         const languageClientWrapper = new LanguageClientWrapper();

package/dist/preconditions.d.ts

@@ -1,4 +1,4 @@
 import { OutputChannel } from "vscode";
-import { ExtUri } from "./vscode-lean4/vscode-lean4/src/utils/exturi";
-import { PreconditionCheckResult } from "./vscode-lean4/vscode-lean4/src/diagnostics/setupNotifs";
+import { ExtUri } from "lean4/src/utils/exturi";
+import { PreconditionCheckResult } from "lean4/src/diagnostics/setupNotifs";
 export declare function checkLean4ProjectPreconditions(channel: OutputChannel, folderUri: ExtUri): Promise<PreconditionCheckResult>;

package/dist/tsconfig.tsbuildinfo

@@ -0,0 +1 @@
+{"root":["../src/index.ts"],"errors":true,"version":"5.8.2"}

package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/keywords.transforms.json

@@ -0,0 +1,83 @@
+[
+  {
+    "method": "LoadTable",
+    "params": {
+      "relativePath": "_DataFilePath_",
+      "rootPath": "_RootPath_"
+    },
+    "variable": "iconKeywordsInputTable"
+  },
+  {
+    "transforms": [
+      {
+        "method": "Copy",
+        "params": {
+          "from": "_LibraryKey_"
+        },
+        "variable": "_IconData_LibraryKey_"
+      },
+      {
+        "method": "Copy",
+        "params": {
+          "from": "_IconTypeKey_"
+        },
+        "variable": "_IconData_TypeKey_"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnIconKeyValueName",
+          "iterator": "iconKeywordsTableIterator"
+        },
+        "variable": "iconKeyValue"
+      },
+      {
+        "method": "GetHashKey",
+        "notes": "The icon Key is derived from the uppercase unicode value.",
+        "params": {
+          "from": "iconKeyValue"
+        },
+        "variable": "_IconData_Key_"
+      },
+      {
+        "method": "UpdateVariablesTable",
+        "params": {
+          "variables": "_IconDataVariables_"
+        },
+        "variable": "_IconData_"
+      },
+      {
+        "method": "Clear",
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnKeywordsName",
+          "iterator": "iconKeywordsTableIterator"
+        },
+        "variable": "iconKeywords"
+      },
+      {
+        "method": "AddToVariableBag",
+        "params": {
+          "value": "iconKeywords"
+        },
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "AddNameValuePairsToAssociationTable",
+        "params": {
+          "key": "_IconData_Key_",
+          "values": "iconArtifacts",
+          "keyColumn": "_IconArtifactData_IconKey_",
+          "namesColumn": "_IconArtifactData_Name_",
+          "valuesColumn": "_IconArtifactData_Value_"
+        },
+        "variable": "_IconArtifactData_"
+      }
+    ],
+    "method": "ForEachRow",
+    "variable": "iconKeywordsTableIterator"
+  }
+]

package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/keywords.variables.json

@@ -0,0 +1,47 @@
+[
+  {
+    "tableSpecifier": {
+      "dataColumnIndex": 0,
+      "dataRowIndex": 1,
+      "headerRowIndex": 0
+    },
+    "type": "Table",
+    "valueType": "None",
+    "name": "iconKeywordsInputTable"
+  },
+  {
+    "type": "Value",
+    "value": "IconKeyValue",
+    "valueType": "Text",
+    "referenceOnly": true,
+    "name": "iconColumnIconKeyValueName"
+  },
+  {
+    "type": "Value",
+    "value": "Keywords",
+    "valueType": "Text",
+    "referenceOnly": true,
+    "name": "iconColumnKeywordsName"
+  },
+  {
+    "type": "TableIterator",
+    "TargetName": "iconKeywordsInputTable",
+    "name": "iconKeywordsTableIterator"
+  },
+  {
+    "type": "Value",
+    "valueType": "Text",
+    "name": "iconKeyValue"
+  },
+  {
+    "type": "Value",
+    "valueType": "Text",
+    "name": "iconKeywords"
+  },
+  {
+    "type": "VariableBag",
+    "valueType": "None",
+    "values": [],
+    "name": "iconArtifacts"
+  }
+]

package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.json

@@ -0,0 +1,36 @@
+{
+  "_type": "Library",
+  "_version": "XCHRDK",
+  "dataPaths": [
+    {
+      "dataPath": "~/dist/codicon.csv",
+      "transformPaths": ["~/_iconCloud/manifest.transforms.json"],
+      "variablePaths": ["~/_iconCloud/manifest.variables.json"]
+    },
+    {
+      "dataPath": "~/_iconCloud/keywords.csv",
+      "transformPaths": ["~/_iconCloud/keywords.transforms.json"],
+      "variablePaths": ["~/_iconCloud/keywords.variables.json"]
+    }
+  ],
+  "iconType": "Glyph",
+  "lastUpdated": "2020-10-23T12:00Z",
+  "libraryInfoKey": "8df73c1d1",
+  "libraryName": "VS Code Icons",
+  "libraryProperties":
+  {
+    "copyPreviewTypes": "Glyph",
+    "copySize": "32",
+    "copyTypes": "Glyph,Svg",
+    "downloadDefaultSize": "32",
+    "downloadTypes": "Svg",
+    "libraryFileNameBase": "VsCodeIcons",
+    "libraryIconSizes": "16,24,32,40,48,56,64",
+    "metadata-1-dataMapping": "Icon:iconKeywords",
+    "metadata-1-dataStyle": "ClickablePill",
+    "metadata-1-dataType": "Keywords",
+    "metadata-1-label": "Keywords",
+    "metadata-1-sorting": "ByWeight"
+  },
+  "libraryVersion": "2.43"
+}

package/dist/vscode-lean4/lean4-infoview/node_modules/@vscode/codicons/_iconCloud/manifest.transforms.json

@@ -0,0 +1,368 @@
+[
+  {
+    "method": "GetFilePaths",
+    "notes": "Get all the files from the root directory, and put them into a cache.  This is for performance.",
+    "params": {
+      "rootPath": "_RootPath_"
+    },
+    "variable": "_FilePathsCache_"
+  },
+  {
+    "method": "AddToVariableBag",
+    "params": {
+      "value": "_LibraryVersion_"
+    },
+    "variable": "libraryArtifacts"
+  },
+  {
+    "method": "AddToVariableBag",
+    "params": {
+      "value": "_LibraryLastUpdated_"
+    },
+    "variable": "libraryArtifacts"
+  },
+  {
+    "method": "AddIfFileExists",
+    "params": {
+      "property": "_TtfFileProperty_",
+      "filePath": "libraryArtifactTtfFilePath",
+      "rootPath": "_RootPath_",
+      "filePathsCache": "_FilePathsCache_"
+    },
+    "variable": "libraryArtifacts"
+  },
+  {
+    "method": "AddIfFileExists",
+    "params": {
+      "property": "_WoffFileProperty_",
+      "filePath": "libraryArtifactWoffFilePath",
+      "rootPath": "_RootPath_",
+      "filePathsCache": "_FilePathsCache_"
+    },
+    "variable": "libraryArtifacts"
+  },
+  {
+    "method": "AddIfFileExists",
+    "params": {
+      "property": "_Woff2FileProperty_",
+      "filePath": "libraryArtifactWoff2FilePath",
+      "rootPath": "_RootPath_",
+      "filePathsCache": "_FilePathsCache_"
+    },
+    "variable": "libraryArtifacts"
+  },
+  {
+    "method": "Copy",
+    "params": {
+      "from": "_LibraryLastUpdated_"
+    },
+    "variable": "lastUpdated"
+  },
+  {
+    "method": "Copy",
+    "params": {
+      "from": "_LibraryVersion_"
+    },
+    "variable": "version"
+  },
+  {
+    "method": "AddNameValuePairsToAssociationTable",
+    "params": {
+      "key": "_LibraryKey_",
+      "values": "libraryArtifacts",
+      "keyColumn": "_LibraryArtifactData_LibraryKey_",
+      "namesColumn": "_LibraryArtifactData_Name_",
+      "valuesColumn": "_LibraryArtifactData_Value_"
+    },
+    "variable": "_LibraryArtifactData_"
+  },
+  {
+    "method": "LoadTable",
+    "params": {
+      "relativePath": "_DataFilePath_",
+      "rootPath": "_RootPath_"
+    },
+    "variable": "iconsInputTable"
+  },
+  {
+    "method": "AppendColumn",
+    "notes": "Inject a unique ID field into the icons table.",
+    "params": {
+      "columnName": "iconColumnKeyName"
+    },
+    "variable": "iconsInputTable"
+  },
+  {
+    "transforms": [
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnUnicodeValue",
+          "iterator": "iconsTableIterator"
+        },
+        "variable": "iconUnicodeValue"
+      },
+      {
+        "method": "GetHashKey",
+        "notes": "The icon Key is derived from the unicode value.",
+        "params": {
+          "from": "iconUnicodeValue"
+        },
+        "variable": "_IconData_Key_"
+      },
+      {
+        "method": "SetRowValue",
+        "params": {
+          "columnName": "iconColumnKeyName",
+          "value": "_IconData_Key_"
+        },
+        "variable": "iconsTableIterator"
+      }
+    ],
+    "method": "ForEachRow",
+    "notes": "Insert the 'key' for each icon into the source table.",
+    "variable": "iconsTableIterator"
+  },
+  {
+    "method": "Copy",
+    "params": {
+      "from": "_LibraryKey_"
+    },
+    "variable": "_CollectionData_LibraryKey_"
+  },
+  {
+    "method": "Copy",
+    "params": {
+      "from": "_IconTypeKey_"
+    },
+    "variable": "_CollectionData_TypeKey_"
+  },
+  {
+    "method": "GetHashKey",
+    "notes": "The collection Key is derived from the collection name.",
+    "params": {
+      "from": "collectionName"
+    },
+    "variable": "_CollectionData_Key_"
+  },
+  {
+    "method": "Copy",
+    "params": {
+      "from": "collectionName"
+    },
+    "variable": "_CollectionData_Name_"
+  },
+  {
+    "method": "UpdateVariablesTable",
+    "params": {
+      "variables": "_CollectionDataVariables_"
+    },
+    "variable": "_CollectionData_"
+  },
+  
+  {
+    "method": "Clear",
+    "variable": "collectionArtifacts"
+  },
+  {
+    "method": "AddToVariableBag",
+    "params": {
+      "value": "lastUpdated"
+    },
+    "variable": "collectionArtifacts"
+  },
+  {
+    "method": "AddToVariableBag",
+    "params": {
+      "value": "version"
+    },
+    "variable": "collectionArtifacts"
+  },
+  {
+    "method": "AddNameValuePairsToAssociationTable",
+    "params": {
+      "key": "_CollectionData_Key_",
+      "values": "collectionArtifacts",
+      "keyColumn": "_CollectionArtifactData_CollectionKey_",
+      "namesColumn": "_CollectionArtifactData_Name_",
+      "valuesColumn": "_CollectionArtifactData_Value_"
+    },
+    "variable": "_CollectionArtifactData_"
+  },
+  {
+    "transforms": [
+      {
+        "method": "Copy",
+        "params": {
+          "from": "_LibraryKey_"
+        },
+        "variable": "_IconData_LibraryKey_"
+      },
+      {
+        "method": "Copy",
+        "params": {
+          "from": "_IconTypeKey_"
+        },
+        "variable": "_IconData_TypeKey_"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnKeyName",
+          "iterator": "iconsTableIterator"
+        },
+        "variable": "_IconData_Key_"
+      },
+      {
+        "method": "Copy",
+        "params": {
+          "from": "_CollectionData_Key_"
+        },
+        "variable": "_CollectionIconData_CollectionKey_"
+      },
+      {
+        "method": "Copy",
+        "params": {
+          "from": "_IconData_Key_"
+        },
+        "variable": "_CollectionIconData_IconKey_"
+      },
+      {
+        "method": "UpdateVariablesTable",
+        "params": {
+          "variables": "_CollectionIconDataVariables_"
+        },
+        "variable": "_CollectionIconData_"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnShortName",
+          "iterator": "iconsTableIterator"
+        },
+        "variable": "iconShortName"
+      },
+      {
+        "method": "Replace",
+        "params": {
+          "from": "dashChar",
+          "to": "spaceChar"
+        },
+        "variable": "iconShortName"
+      },
+      {
+        "method": "Capitalize",
+        "variable": "iconShortName"
+      },
+      {
+        "method": "Replace",
+        "params": {
+          "from": "spaceChar",
+          "to": "dashChar"
+        },
+        "variable": "iconShortName"
+      },
+      {
+        "method": "Copy",
+        "params": {
+          "from": "iconShortName"
+        },
+        "variable": "_IconData_Name_"
+      },
+      {
+        "method": "UpdateVariablesTable",
+        "params": {
+          "variables": "_IconDataVariables_"
+        },
+        "variable": "_IconData_"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnShortName",
+          "iterator": "iconsTableIterator"
+        },
+        "variable": "iconShortName"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnGlyph",
+          "iterator": "iconsTableIterator"
+        },
+        "variable": "iconGlyph"
+      },
+      {
+        "method": "GetColumnValue",
+        "params": {
+          "columnName": "iconColumnUnicodeValue",
+          "iterator": "iconsTableIterator"
+        },
+        "variable": "iconUnicodeValue"
+      },
+      {
+        "method": "Clear",
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "Copy",
+        "params": {
+          "from": "svgFilePathFormat"
+        },
+        "variable": "svgIconFilePath"
+      },
+      {
+        "method": "Replace",
+        "params": {
+          "from": "iconShortNamePattern",
+          "to": "iconShortName"
+        },
+        "variable": "svgIconFilePath"
+      },
+      {
+        "method": "AddIfFileExists",
+        "params": {
+          "property": "_SvgFileProperty_",
+          "filePath": "svgIconFilePath",
+          "rootPath": "_RootPath_",
+          "filePathsCache": "_FilePathsCache_"
+        },
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "AddToVariableBag",
+        "params": {
+          "value": "iconGlyph"
+        },
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "AddToVariableBag",
+        "params": {
+          "value": "iconUnicodeValue"
+        },
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "AddToVariableBag",
+        "params": {
+          "value": "lastUpdated"
+        },
+        "variable": "iconArtifacts"
+      },
+      {
+        "method": "AddNameValuePairsToAssociationTable",
+        "params": {
+          "key": "_IconData_Key_",
+          "values": "iconArtifacts",
+          "keyColumn": "_IconArtifactData_IconKey_",
+          "namesColumn": "_IconArtifactData_Name_",
+          "valuesColumn": "_IconArtifactData_Value_"
+        },
+        "variable": "_IconArtifactData_"
+      }
+    ],
+    "method": "ForEachRow",
+    "variable": "iconsTableIterator"
+  }
+]