lean4monaco 1.0.35 → 1.0.37

package/dist/vscode-lean4/vscode-lean4/node_modules/glob/package.json

@@ -0,0 +1,98 @@
+{
+  "author": "Isaac Z. Schlueter <i@izs.me> (https://blog.izs.me/)",
+  "name": "glob",
+  "description": "the most correct and second fastest glob implementation in JavaScript",
+  "version": "11.0.1",
+  "type": "module",
+  "tshy": {
+    "main": true,
+    "exports": {
+      "./package.json": "./package.json",
+      ".": "./src/index.ts"
+    }
+  },
+  "bin": "./dist/esm/bin.mjs",
+  "main": "./dist/commonjs/index.js",
+  "types": "./dist/commonjs/index.d.ts",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "import": {
+        "types": "./dist/esm/index.d.ts",
+        "default": "./dist/esm/index.js"
+      },
+      "require": {
+        "types": "./dist/commonjs/index.d.ts",
+        "default": "./dist/commonjs/index.js"
+      }
+    }
+  },
+  "repository": {
+    "type": "git",
+    "url": "git://github.com/isaacs/node-glob.git"
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "preversion": "npm test",
+    "postversion": "npm publish",
+    "prepublishOnly": "npm run benchclean; git push origin --follow-tags",
+    "prepare": "tshy",
+    "pretest": "npm run prepare",
+    "presnap": "npm run prepare",
+    "test": "tap",
+    "snap": "tap",
+    "format": "prettier --write . --log-level warn",
+    "typedoc": "typedoc --tsconfig .tshy/esm.json ./src/*.ts",
+    "profclean": "rm -f v8.log profile.txt",
+    "test-regen": "npm run profclean && TEST_REGEN=1 node --no-warnings --loader ts-node/esm test/00-setup.ts",
+    "prebench": "npm run prepare",
+    "bench": "bash benchmark.sh",
+    "preprof": "npm run prepare",
+    "prof": "bash prof.sh",
+    "benchclean": "node benchclean.cjs"
+  },
+  "prettier": {
+    "experimentalTernaries": true,
+    "semi": false,
+    "printWidth": 75,
+    "tabWidth": 2,
+    "useTabs": false,
+    "singleQuote": true,
+    "jsxSingleQuote": false,
+    "bracketSameLine": true,
+    "arrowParens": "avoid",
+    "endOfLine": "lf"
+  },
+  "dependencies": {
+    "foreground-child": "^3.1.0",
+    "jackspeak": "^4.0.1",
+    "minimatch": "^10.0.0",
+    "minipass": "^7.1.2",
+    "package-json-from-dist": "^1.0.0",
+    "path-scurry": "^2.0.0"
+  },
+  "devDependencies": {
+    "@types/node": "^20.11.30",
+    "memfs": "^4.9.3",
+    "mkdirp": "^3.0.1",
+    "prettier": "^3.2.5",
+    "rimraf": "^5.0.7",
+    "sync-content": "^1.0.2",
+    "tap": "^20.0.3",
+    "tshy": "^2.0.1",
+    "typedoc": "^0.26.3"
+  },
+  "tap": {
+    "before": "test/00-setup.ts"
+  },
+  "license": "ISC",
+  "funding": {
+    "url": "https://github.com/sponsors/isaacs"
+  },
+  "engines": {
+    "node": "20 || >=22"
+  },
+  "module": "./dist/esm/index.js"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/jackspeak/dist/commonjs/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "commonjs"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/jackspeak/dist/esm/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "module"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/jackspeak/package.json

@@ -0,0 +1,94 @@
+{
+  "name": "jackspeak",
+  "version": "4.0.2",
+  "description": "A very strict and proper argument parser.",
+  "tshy": {
+    "main": true,
+    "exports": {
+      "./package.json": "./package.json",
+      ".": "./src/index.js"
+    }
+  },
+  "main": "./dist/commonjs/index.js",
+  "types": "./dist/commonjs/index.d.ts",
+  "type": "module",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "import": {
+        "types": "./dist/esm/index.d.ts",
+        "default": "./dist/esm/index.js"
+      },
+      "require": {
+        "types": "./dist/commonjs/index.d.ts",
+        "default": "./dist/commonjs/index.js"
+      }
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "build-examples": "for i in examples/*.js ; do node $i -h > ${i/.js/.txt}; done",
+    "preversion": "npm test",
+    "postversion": "npm publish",
+    "prepublishOnly": "git push origin --follow-tags",
+    "prepare": "tshy",
+    "pretest": "npm run prepare",
+    "presnap": "npm run prepare",
+    "test": "tap",
+    "snap": "tap",
+    "format": "prettier --write . --log-level warn",
+    "typedoc": "typedoc --tsconfig .tshy/esm.json ./src/*.ts"
+  },
+  "license": "BlueOak-1.0.0",
+  "prettier": {
+    "experimentalTernaries": true,
+    "semi": false,
+    "printWidth": 75,
+    "tabWidth": 2,
+    "useTabs": false,
+    "singleQuote": true,
+    "jsxSingleQuote": false,
+    "bracketSameLine": true,
+    "arrowParens": "avoid",
+    "endOfLine": "lf"
+  },
+  "devDependencies": {
+    "@types/node": "^22.6.0",
+    "prettier": "^3.3.3",
+    "tap": "^21.0.1",
+    "tshy": "^3.0.2",
+    "typedoc": "^0.26.7"
+  },
+  "dependencies": {
+    "@isaacs/cliui": "^8.0.2"
+  },
+  "engines": {
+    "node": "20 || >=22"
+  },
+  "funding": {
+    "url": "https://github.com/sponsors/isaacs"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/isaacs/jackspeak.git"
+  },
+  "keywords": [
+    "argument",
+    "parser",
+    "args",
+    "option",
+    "flag",
+    "cli",
+    "command",
+    "line",
+    "parse",
+    "parsing"
+  ],
+  "author": "Isaac Z. Schlueter <i@izs.me>",
+  "tap": {
+    "typecheck": true
+  },
+  "module": "./dist/esm/index.js"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/lru-cache/dist/commonjs/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "commonjs"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/lru-cache/dist/esm/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "module"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/lru-cache/package.json

@@ -0,0 +1,115 @@
+{
+  "name": "lru-cache",
+  "description": "A cache object that deletes the least-recently-used items.",
+  "version": "11.0.2",
+  "author": "Isaac Z. Schlueter <i@izs.me>",
+  "keywords": [
+    "mru",
+    "lru",
+    "cache"
+  ],
+  "sideEffects": false,
+  "scripts": {
+    "build": "npm run prepare",
+    "prepare": "tshy && bash fixup.sh",
+    "pretest": "npm run prepare",
+    "presnap": "npm run prepare",
+    "test": "tap",
+    "snap": "tap",
+    "preversion": "npm test",
+    "postversion": "npm publish",
+    "prepublishOnly": "git push origin --follow-tags",
+    "format": "prettier --write .",
+    "typedoc": "typedoc --tsconfig ./.tshy/esm.json ./src/*.ts",
+    "benchmark-results-typedoc": "bash scripts/benchmark-results-typedoc.sh",
+    "prebenchmark": "npm run prepare",
+    "benchmark": "make -C benchmark",
+    "preprofile": "npm run prepare",
+    "profile": "make -C benchmark profile"
+  },
+  "main": "./dist/commonjs/index.js",
+  "types": "./dist/commonjs/index.d.ts",
+  "tshy": {
+    "exports": {
+      ".": "./src/index.ts",
+      "./min": {
+        "import": {
+          "types": "./dist/esm/index.d.ts",
+          "default": "./dist/esm/index.min.js"
+        },
+        "require": {
+          "types": "./dist/commonjs/index.d.ts",
+          "default": "./dist/commonjs/index.min.js"
+        }
+      }
+    }
+  },
+  "repository": {
+    "type": "git",
+    "url": "git://github.com/isaacs/node-lru-cache.git"
+  },
+  "devDependencies": {
+    "@types/node": "^22.5.4",
+    "@types/tap": "^15.0.6",
+    "benchmark": "^2.1.4",
+    "esbuild": "^0.17.11",
+    "eslint-config-prettier": "^8.5.0",
+    "marked": "^4.2.12",
+    "mkdirp": "^2.1.5",
+    "prettier": "^2.6.2",
+    "tap": "^21.0.1",
+    "tshy": "^3.0.2",
+    "tslib": "^2.4.0",
+    "typedoc": "^0.26.6"
+  },
+  "license": "ISC",
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": "20 || >=22"
+  },
+  "prettier": {
+    "semi": false,
+    "printWidth": 70,
+    "tabWidth": 2,
+    "useTabs": false,
+    "singleQuote": true,
+    "jsxSingleQuote": false,
+    "bracketSameLine": true,
+    "arrowParens": "avoid",
+    "endOfLine": "lf"
+  },
+  "tap": {
+    "node-arg": [
+      "--expose-gc"
+    ],
+    "plugin": [
+      "@tapjs/clock"
+    ]
+  },
+  "exports": {
+    ".": {
+      "import": {
+        "types": "./dist/esm/index.d.ts",
+        "default": "./dist/esm/index.js"
+      },
+      "require": {
+        "types": "./dist/commonjs/index.d.ts",
+        "default": "./dist/commonjs/index.js"
+      }
+    },
+    "./min": {
+      "import": {
+        "types": "./dist/esm/index.d.ts",
+        "default": "./dist/esm/index.min.js"
+      },
+      "require": {
+        "types": "./dist/commonjs/index.d.ts",
+        "default": "./dist/commonjs/index.min.js"
+      }
+    }
+  },
+  "type": "module",
+  "module": "./dist/esm/index.js"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/dist/commonjs/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "commonjs"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/dist/esm/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "module"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/minimatch/package.json

@@ -0,0 +1,80 @@
+{
+  "author": "Isaac Z. Schlueter <i@izs.me> (http://blog.izs.me)",
+  "name": "minimatch",
+  "description": "a glob matcher in javascript",
+  "version": "10.0.1",
+  "repository": {
+    "type": "git",
+    "url": "git://github.com/isaacs/minimatch.git"
+  },
+  "main": "./dist/commonjs/index.js",
+  "types": "./dist/commonjs/index.d.ts",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "import": {
+        "types": "./dist/esm/index.d.ts",
+        "default": "./dist/esm/index.js"
+      },
+      "require": {
+        "types": "./dist/commonjs/index.d.ts",
+        "default": "./dist/commonjs/index.js"
+      }
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "scripts": {
+    "preversion": "npm test",
+    "postversion": "npm publish",
+    "prepublishOnly": "git push origin --follow-tags",
+    "prepare": "tshy",
+    "pretest": "npm run prepare",
+    "presnap": "npm run prepare",
+    "test": "tap",
+    "snap": "tap",
+    "format": "prettier --write . --loglevel warn",
+    "benchmark": "node benchmark/index.js",
+    "typedoc": "typedoc --tsconfig tsconfig-esm.json ./src/*.ts"
+  },
+  "prettier": {
+    "semi": false,
+    "printWidth": 80,
+    "tabWidth": 2,
+    "useTabs": false,
+    "singleQuote": true,
+    "jsxSingleQuote": false,
+    "bracketSameLine": true,
+    "arrowParens": "avoid",
+    "endOfLine": "lf"
+  },
+  "engines": {
+    "node": "20 || >=22"
+  },
+  "dependencies": {
+    "brace-expansion": "^2.0.1"
+  },
+  "devDependencies": {
+    "@types/brace-expansion": "^1.1.2",
+    "@types/node": "^20.14.10",
+    "mkdirp": "^3.0.1",
+    "prettier": "^3.3.2",
+    "tap": "^20.0.3",
+    "tshy": "^2.0.1",
+    "typedoc": "^0.26.3",
+    "typescript": "^5.5.3"
+  },
+  "funding": {
+    "url": "https://github.com/sponsors/isaacs"
+  },
+  "license": "ISC",
+  "tshy": {
+    "exports": {
+      "./package.json": "./package.json",
+      ".": "./src/index.ts"
+    }
+  },
+  "type": "module",
+  "module": "./dist/esm/index.js"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/path-scurry/dist/commonjs/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "commonjs"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/path-scurry/dist/esm/package.json

@@ -0,0 +1,3 @@
+{
+  "type": "module"
+}

package/dist/vscode-lean4/vscode-lean4/node_modules/path-scurry/package.json

@@ -0,0 +1,88 @@
+{
+  "name": "path-scurry",
+  "version": "2.0.0",
+  "description": "walk paths fast and efficiently",
+  "author": "Isaac Z. Schlueter <i@izs.me> (https://blog.izs.me)",
+  "main": "./dist/commonjs/index.js",
+  "type": "module",
+  "exports": {
+    "./package.json": "./package.json",
+    ".": {
+      "import": {
+        "types": "./dist/esm/index.d.ts",
+        "default": "./dist/esm/index.js"
+      },
+      "require": {
+        "types": "./dist/commonjs/index.d.ts",
+        "default": "./dist/commonjs/index.js"
+      }
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "license": "BlueOak-1.0.0",
+  "scripts": {
+    "preversion": "npm test",
+    "postversion": "npm publish",
+    "prepublishOnly": "git push origin --follow-tags",
+    "prepare": "tshy",
+    "pretest": "npm run prepare",
+    "presnap": "npm run prepare",
+    "test": "tap",
+    "snap": "tap",
+    "format": "prettier --write . --log-level warn",
+    "typedoc": "typedoc --tsconfig tsconfig-esm.json ./src/*.ts",
+    "bench": "bash ./scripts/bench.sh"
+  },
+  "prettier": {
+    "experimentalTernaries": true,
+    "semi": false,
+    "printWidth": 75,
+    "tabWidth": 2,
+    "useTabs": false,
+    "singleQuote": true,
+    "jsxSingleQuote": false,
+    "bracketSameLine": true,
+    "arrowParens": "avoid",
+    "endOfLine": "lf"
+  },
+  "devDependencies": {
+    "@nodelib/fs.walk": "^2.0.0",
+    "@types/node": "^20.14.10",
+    "mkdirp": "^3.0.0",
+    "prettier": "^3.3.2",
+    "rimraf": "^5.0.8",
+    "tap": "^20.0.3",
+    "ts-node": "^10.9.2",
+    "tshy": "^2.0.1",
+    "typedoc": "^0.26.3",
+    "typescript": "^5.5.3"
+  },
+  "tap": {
+    "typecheck": true
+  },
+  "engines": {
+    "node": "20 || >=22"
+  },
+  "funding": {
+    "url": "https://github.com/sponsors/isaacs"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/isaacs/path-scurry"
+  },
+  "dependencies": {
+    "lru-cache": "^11.0.0",
+    "minipass": "^7.1.2"
+  },
+  "tshy": {
+    "selfLink": false,
+    "exports": {
+      "./package.json": "./package.json",
+      ".": "./src/index.ts"
+    }
+  },
+  "types": "./dist/commonjs/index.d.ts",
+  "module": "./dist/esm/index.js"
+}

package/dist/{monaco-lean4/vscode-lean4/src/utils/batch.d.ts → vscode-lean4/vscode-lean4/src/utils/batchBasics.d.ts}

@@ -1,5 +1,3 @@
-/// <reference types="node" />
-import { ChildProcessWithoutNullStreams } from 'child_process';
 import { OutputChannel } from 'vscode';
 export interface ExecutionChannel {
     combined?: OutputChannel | undefined;
@@ -18,20 +16,25 @@ export interface ExecutionResult {
     stderr: string;
     combined: string;
 }
-export declare function batchExecuteWithProc(executablePath: string, args: string[], workingDirectory?: string | undefined, channel?: ExecutionChannel | undefined): [ChildProcessWithoutNullStreams | 'CannotLaunch', Promise<ExecutionResult>];
-export declare function batchExecute(executablePath: string, args: string[], workingDirectory?: string | undefined, channel?: ExecutionChannel | undefined): Promise<ExecutionResult>;
-interface ProgressExecutionOptions {
+export declare function createCannotLaunchExecutionResult(message: string): ExecutionResult;
+export interface ProgressExecutionOptions {
     cwd?: string | undefined;
     channel?: OutputChannel | undefined;
     translator?: ((line: string) => string | undefined) | undefined;
+    envExtensions?: {
+        [key: string]: string;
+    } | undefined;
     allowCancellation?: boolean;
 }
-export declare function batchExecuteWithProgress(executablePath: string, args: string[], title: string, options?: ProgressExecutionOptions): Promise<ExecutionResult>;
-type ExecutionHandler = () => Promise<ExecutionResult>;
+export type ExecutionHandler = () => Promise<ExecutionResult>;
 export interface BatchExecution {
     execute: ExecutionHandler;
     optional?: boolean | undefined;
 }
 export declare function executeAll(executions: BatchExecution[]): Promise<ExecutionResult[]>;
 export declare function displayResultError(result: ExecutionResult, message: string): void;
-export {};
+export declare function formatErrorMessage(error: ExecutionResult, message: string): string;
+export declare function batchExecuteDummy(executablePath: string, args: string[], workingDirectory?: string | undefined, channel?: ExecutionChannel | undefined, envExtensions?: {
+    [key: string]: string;
+} | undefined): Promise<ExecutionResult>;
+export declare function batchExecuteWithProgressDummy(executablePath: string, args: string[], context: string | undefined, title: string, options?: ProgressExecutionOptions): Promise<ExecutionResult>;

package/dist/vscode-lean4/vscode-lean4/src/utils/batchBasics.js

@@ -0,0 +1,48 @@
+import { displayNotificationWithOutput } from './notifs';
+export var ExecutionExitCode;
+(function (ExecutionExitCode) {
+    ExecutionExitCode[ExecutionExitCode["Success"] = 0] = "Success";
+    ExecutionExitCode[ExecutionExitCode["CannotLaunch"] = 1] = "CannotLaunch";
+    ExecutionExitCode[ExecutionExitCode["ExecutionError"] = 2] = "ExecutionError";
+    ExecutionExitCode[ExecutionExitCode["Cancelled"] = 3] = "Cancelled";
+})(ExecutionExitCode || (ExecutionExitCode = {}));
+export function createCannotLaunchExecutionResult(message) {
+    return {
+        exitCode: ExecutionExitCode.CannotLaunch,
+        stdout: message,
+        stderr: '',
+        combined: message,
+    };
+}
+export async function executeAll(executions) {
+    const results = [];
+    for (const execution of executions) {
+        const result = await execution.execute();
+        results.push(result);
+        if (execution.optional !== true && result.exitCode !== ExecutionExitCode.Success) {
+            break;
+        }
+    }
+    return results;
+}
+export function displayResultError(result, message) {
+    if (result.exitCode === ExecutionExitCode.Success) {
+        throw Error();
+    }
+    const errorMessage = formatErrorMessage(result, message);
+    displayNotificationWithOutput('Error', errorMessage);
+}
+export function formatErrorMessage(error, message) {
+    if (error.combined === '') {
+        return `${message}`;
+    }
+    return `${message} Command output: ${error.combined}`;
+}
+export async function batchExecuteDummy(executablePath, args, workingDirectory, channel, envExtensions) {
+    return { exitCode: ExecutionExitCode.Success, stdout: "sample stdout", stderr: "sample stderr", combined: "sample stdout and stderr" };
+    // const [_, execPromise] = batchExecuteWithProc(executablePath, args, workingDirectory, channel, envExtensions)
+    // return execPromise
+}
+export async function batchExecuteWithProgressDummy(executablePath, args, context, title, options = {}) {
+    return { exitCode: ExecutionExitCode.Success, stdout: "sample stdout", stderr: "sample stderr", combined: "sample stdout and stderr" };
+}

package/dist/vscode-lean4/vscode-lean4/src/utils/batchTypes.d.ts

@@ -0,0 +1,14 @@
+export declare enum ExecutionExitCode {
+    Success = 0,
+    CannotLaunch = 1,
+    ExecutionError = 2,
+    Cancelled = 3
+}
+export interface ExecutionResult {
+    exitCode: ExecutionExitCode;
+    stdout: string;
+    stderr: string;
+    combined: string;
+}
+export declare function displayResultError(result: ExecutionResult, message: string): void;
+export declare const dummyExecutionResult: ExecutionResult;

package/dist/vscode-lean4/vscode-lean4/src/utils/batchTypes.js

@@ -0,0 +1,22 @@
+import { displayNotificationWithOutput } from './notifs';
+export var ExecutionExitCode;
+(function (ExecutionExitCode) {
+    ExecutionExitCode[ExecutionExitCode["Success"] = 0] = "Success";
+    ExecutionExitCode[ExecutionExitCode["CannotLaunch"] = 1] = "CannotLaunch";
+    ExecutionExitCode[ExecutionExitCode["ExecutionError"] = 2] = "ExecutionError";
+    ExecutionExitCode[ExecutionExitCode["Cancelled"] = 3] = "Cancelled";
+})(ExecutionExitCode || (ExecutionExitCode = {}));
+export function displayResultError(result, message) {
+    if (result.exitCode === ExecutionExitCode.Success) {
+        throw Error();
+    }
+    const errorMessage = formatErrorMessage(result, message);
+    displayNotificationWithOutput('Error', errorMessage);
+}
+function formatErrorMessage(error, message) {
+    if (error.combined === '') {
+        return `${message}`;
+    }
+    return `${message} Command output: ${error.combined}`;
+}
+export const dummyExecutionResult = { exitCode: ExecutionExitCode.ExecutionError, stdout: "", stderr: "", combined: "" };

package/dist/vscode-lean4/vscode-lean4/src/utils/groupBy.d.ts

@@ -0,0 +1,2 @@
+export declare function groupByKey<K, V>(values: V[], key: (value: V) => K): Map<K, V[]>;
+export declare function groupByUniqueKey<K, V>(values: V[], key: (value: V) => K): Map<K, V>;

package/dist/vscode-lean4/vscode-lean4/src/utils/groupBy.js

@@ -0,0 +1,17 @@
+export function groupByKey(values, key) {
+    const r = new Map();
+    for (const v of values) {
+        const k = key(v);
+        const group = r.get(k) ?? [];
+        group.push(v);
+        r.set(k, group);
+    }
+    return r;
+}
+export function groupByUniqueKey(values, key) {
+    const r = new Map();
+    for (const v of values) {
+        r.set(key(v), v);
+    }
+    return r;
+}