lemmascript 0.0.1 → 0.1.0

package/tools/dist/typedir.js

@@ -0,0 +1,7 @@
+/**
+ * Typed IR — Raw IR annotated with resolved types and classifications.
+ *
+ * Produced by the resolve pass. Consumed by the transform.
+ * Still TS-shaped (not Lean-shaped).
+ */
+export {};

package/tools/dist/types.js

@@ -0,0 +1,38 @@
+/**
+ * Type mapping — TS types → Lean types.
+ *
+ * Single source of truth for type-related decisions.
+ * The transform phase imports this.
+ */
+export function tyToLean(ty) {
+    switch (ty.kind) {
+        case "nat": return "Nat";
+        case "int": return "Int";
+        case "bool": return "Bool";
+        case "string": return "String";
+        case "void": return "Unit";
+        case "array": {
+            const elem = tyToLean(ty.elem);
+            return elem.includes(" ") ? `Array (${elem})` : `Array ${elem}`;
+        }
+        case "user": return ty.name;
+        case "unknown": return "_";
+    }
+}
+export function parseTsType(tsType) {
+    const t = tsType.trim();
+    if (t === "number")
+        return { kind: "int" };
+    if (t === "nat")
+        return { kind: "nat" };
+    if (t === "boolean")
+        return { kind: "bool" };
+    if (t === "string")
+        return { kind: "string" };
+    if (t === "void" || t === "undefined")
+        return { kind: "void" };
+    const m = t.match(/^(?:Array<(.+)>|(.+)\[\])$/);
+    if (m)
+        return { kind: "array", elem: parseTsType(m[1] || m[2]) };
+    return { kind: "user", name: t };
+}

package/dist/index.d.ts

@@ -1 +0,0 @@
-export declare const VERSION = "0.0.1";

package/dist/index.js

@@ -1,4 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.VERSION = void 0;
-exports.VERSION = "0.0.1";

package/src/index.ts

@@ -1 +0,0 @@
-export const VERSION = "0.0.1";

package/tsconfig.json

@@ -1,14 +0,0 @@
-{
-  "compilerOptions": {
-    "target": "ES2022",
-    "module": "Node16",
-    "moduleResolution": "Node16",
-    "outDir": "dist",
-    "rootDir": "src",
-    "declaration": true,
-    "strict": true,
-    "esModuleInterop": true,
-    "skipLibCheck": true
-  },
-  "include": ["src"]
-}