@harmoniclabs/pebble 0.1.10 → 0.3.0

package/dist/utils/semverSatisfies.js

@@ -0,0 +1,161 @@
+// Tiny npm-style semver range matcher. Supports exact versions, comparator
+// prefixes (>=, >, <=, <, =), caret (^), tilde (~), wildcards (*, x, X),
+// hyphen ranges (a - b), AND (whitespace), and OR (||). Prerelease/build
+// metadata is dropped; only the numeric MAJOR.MINOR.PATCH is compared.
+function parseLoose(input) {
+    let s = input.trim().replace(/^v/i, "");
+    if (s.length === 0)
+        return null;
+    s = s.split(/[-+]/)[0];
+    if (s === "" || s === "*" || s === "x" || s === "X") {
+        return [undefined, undefined, undefined];
+    }
+    const m = s.match(/^(\d+|x|X|\*)(?:\.(\d+|x|X|\*))?(?:\.(\d+|x|X|\*))?$/);
+    if (!m)
+        return null;
+    const conv = (p) => p === undefined || p === "x" || p === "X" || p === "*"
+        ? undefined
+        : parseInt(p, 10);
+    return [conv(m[1]), conv(m[2]), conv(m[3])];
+}
+function parseStrict(input) {
+    const p = parseLoose(input);
+    if (!p)
+        return null;
+    if (p[0] === undefined || p[1] === undefined || p[2] === undefined)
+        return null;
+    return [p[0], p[1], p[2]];
+}
+function fillLow(p) {
+    return [p[0] ?? 0, p[1] ?? 0, p[2] ?? 0];
+}
+function cmp(a, b) {
+    if (a[0] !== b[0])
+        return a[0] < b[0] ? -1 : 1;
+    if (a[1] !== b[1])
+        return a[1] < b[1] ? -1 : 1;
+    if (a[2] !== b[2])
+        return a[2] < b[2] ? -1 : 1;
+    return 0;
+}
+function satisfiesComp(v, c) {
+    const r = cmp(v, c.v);
+    switch (c.op) {
+        case ">": return r > 0;
+        case ">=": return r >= 0;
+        case "<": return r < 0;
+        case "<=": return r <= 0;
+        case "=": return r === 0;
+    }
+}
+function caretUpper(p) {
+    const [a, b, c] = p;
+    if ((a ?? 0) !== 0)
+        return [(a ?? 0) + 1, 0, 0];
+    if ((b ?? 0) !== 0)
+        return [0, (b ?? 0) + 1, 0];
+    return [0, 0, (c ?? 0) + 1];
+}
+function tildeUpper(p) {
+    const [a, b] = p;
+    if (b !== undefined)
+        return [a ?? 0, b + 1, 0];
+    return [(a ?? 0) + 1, 0, 0];
+}
+function expandToken(tok) {
+    tok = tok.trim();
+    if (tok === "" || tok === "*" || tok === "x" || tok === "X") {
+        return [{ op: ">=", v: [0, 0, 0] }];
+    }
+    const cmpMatch = tok.match(/^(>=|<=|>|<|=)\s*(.+)$/);
+    if (cmpMatch) {
+        const op = cmpMatch[1];
+        const p = parseLoose(cmpMatch[2]);
+        if (!p)
+            return null;
+        return [{ op, v: fillLow(p) }];
+    }
+    if (tok.startsWith("^")) {
+        const p = parseLoose(tok.slice(1));
+        if (!p)
+            return null;
+        return [
+            { op: ">=", v: fillLow(p) },
+            { op: "<", v: caretUpper(p) }
+        ];
+    }
+    if (tok.startsWith("~")) {
+        const p = parseLoose(tok.slice(1));
+        if (!p)
+            return null;
+        return [
+            { op: ">=", v: fillLow(p) },
+            { op: "<", v: tildeUpper(p) }
+        ];
+    }
+    const p = parseLoose(tok);
+    if (!p)
+        return null;
+    const [a, b, c] = p;
+    if (a === undefined)
+        return [{ op: ">=", v: [0, 0, 0] }];
+    if (b === undefined)
+        return [
+            { op: ">=", v: [a, 0, 0] },
+            { op: "<", v: [a + 1, 0, 0] }
+        ];
+    if (c === undefined)
+        return [
+            { op: ">=", v: [a, b, 0] },
+            { op: "<", v: [a, b + 1, 0] }
+        ];
+    return [{ op: "=", v: [a, b, c] }];
+}
+function expandRangePart(part) {
+    const hyphen = part.match(/^(\S+)\s+-\s+(\S+)$/);
+    if (hyphen) {
+        const lo = parseLoose(hyphen[1]);
+        const hi = parseLoose(hyphen[2]);
+        if (!lo || !hi)
+            return null;
+        const lower = { op: ">=", v: fillLow(lo) };
+        const [ha, hb, hc] = hi;
+        if (ha === undefined)
+            return [lower];
+        if (hb === undefined)
+            return [lower, { op: "<", v: [ha + 1, 0, 0] }];
+        if (hc === undefined)
+            return [lower, { op: "<", v: [ha, hb + 1, 0] }];
+        return [lower, { op: "<=", v: [ha, hb, hc] }];
+    }
+    const tokens = part.split(/\s+/).filter(t => t.length > 0);
+    if (tokens.length === 0)
+        return null;
+    const result = [];
+    for (const tok of tokens) {
+        const cmps = expandToken(tok);
+        if (!cmps)
+            return null;
+        result.push(...cmps);
+    }
+    return result;
+}
+export function semverSatisfies(version, range) {
+    if (typeof version !== "string" || typeof range !== "string")
+        return false;
+    const v = parseStrict(version);
+    if (!v)
+        return false;
+    const trimmed = range.trim();
+    if (trimmed.length === 0)
+        return false;
+    const ors = trimmed.split("||").map(s => s.trim());
+    for (const part of ors) {
+        const cmps = expandRangePart(part);
+        if (!cmps)
+            continue;
+        if (cmps.every(c => satisfiesComp(v, c)))
+            return true;
+    }
+    return false;
+}

package/dist/version.generated.d.ts

@@ -0,0 +1 @@
+export declare const COMPILER_VERSION = "0.3.0";

package/dist/version.generated.js

@@ -0,0 +1,2 @@
+// This file is auto-generated by scripts/genVersion.js. Do not edit.
+export const COMPILER_VERSION = "0.3.0";

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@harmoniclabs/pebble",
-  "version": "0.1.10",
+  "version": "0.3.0",
   "description": "A simple, yet rock solid, functional language with an imperative bias, targeting UPLC",
   "main": "./dist/index.js",
   "types": "./dist/index.d.ts",
@@ -17,9 +17,10 @@
     "prepublishOnly": "npm run ci",
     "buidl": "npm run build",
     "build": "rm -rf ./dist && npm run build:light",
-    "build:light": "npm run genDiagnosticMessages && tsc --project ./tsconfig.json && tsc-alias -p ./tsconfig.json",
+    "build:light": "npm run genDiagnosticMessages && npm run --silent genVersion && tsc --project ./tsconfig.json && tsc-alias -p ./tsconfig.json",
     "build-and-replace": "npm run build && cp -r ./dist ../pebble-cli/node_modules/@harmoniclabs/pebble",
     "genDiagnosticMessages": "node ./scripts/genDiagnosticMessages.js",
+    "genVersion": "node ./scripts/genVersion.js",
     "test": "jest",
     "test-dbg": "node --nolazy --inspect-brk ./node_modules/jest/bin/jest.js --runInBand --colors --verbose",
     "test:debug": "node --nolazy --inspect-brk ./node_modules/jest/bin/jest.js --runInBand --colors --verbose",
@@ -52,12 +53,12 @@
   "homepage": "https://github.com/HarmonicLabs/pebble#readme",
   "dependencies": {
     "@harmoniclabs/bigint-utils": "^1.0.0",
-    "@harmoniclabs/cardano-costmodels-ts": "^1.4.0",
+    "@harmoniclabs/cardano-costmodels-ts": "^1.6.1",
     "@harmoniclabs/cbor": "^2.0.1",
     "@harmoniclabs/crypto": "^0.3.0",
     "@harmoniclabs/obj-utils": "^1.0.0",
     "@harmoniclabs/plutus-data": "^2.0.1",
-    "@harmoniclabs/plutus-machine": "^3.0.0",
+    "@harmoniclabs/plutus-machine": "^3.0.3",
     "@harmoniclabs/uint8array-utils": "^1.0.4",
     "@harmoniclabs/uplc": "^2.0.5"
   },

package/dist/IR/tree_utils/_ir_lazyChooseList.d.ts

@@ -1,3 +0,0 @@
-import { IRForced } from "../IRNodes/IRForced.js";
-import type { IRTerm } from "../IRTerm.js";
-export declare function _ir_lazyChooseList(listTerm: IRTerm, caseNil: IRTerm, caseCons: IRTerm): IRForced;

package/dist/IR/tree_utils/_ir_lazyChooseList.js

@@ -1,7 +0,0 @@
-import { _ir_apps } from "../IRNodes/IRApp.js";
-import { IRDelayed } from "../IRNodes/IRDelayed.js";
-import { IRForced } from "../IRNodes/IRForced.js";
-import { IRNative } from "../IRNodes/IRNative/index.js";
-export function _ir_lazyChooseList(listTerm, caseNil, caseCons) {
-    return new IRForced(_ir_apps(IRNative.strictChooseList, listTerm, new IRDelayed(caseNil), new IRDelayed(caseCons)));
-}