lean4monaco 1.0.43 → 1.0.46

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

@@ -1,98 +0,0 @@
-{
-  "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

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

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

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

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

@@ -1,94 +0,0 @@
-{
-  "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

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

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

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

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

@@ -1,115 +0,0 @@
-{
-  "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

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

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

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

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

@@ -1,80 +0,0 @@
-{
-  "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

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

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

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

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

@@ -1,88 +0,0 @@
-{
-  "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/vscode-lean4/vscode-lean4/src/utils/batchBasics.d.ts

@@ -1,40 +0,0 @@
-import { OutputChannel } from 'vscode';
-export interface ExecutionChannel {
-    combined?: OutputChannel | undefined;
-    stdout?: OutputChannel | undefined;
-    stderr?: OutputChannel | undefined;
-}
-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 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 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 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

@@ -1,48 +0,0 @@
-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

@@ -1,14 +0,0 @@
-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

@@ -1,22 +0,0 @@
-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

@@ -1,2 +0,0 @@
-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

@@ -1,17 +0,0 @@
-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;
-}