@enspirit/elo 0.9.0

package/dist/src/compilers/ruby.js

@@ -0,0 +1,326 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileToRuby = compileToRuby;
+exports.compileToRubyWithMeta = compileToRubyWithMeta;
+const ir_1 = require("../ir");
+const transform_1 = require("../transform");
+const ruby_1 = require("../bindings/ruby");
+const runtime_1 = require("../runtime");
+/**
+ * Ruby operator precedence (higher = binds tighter)
+ */
+const RUBY_PRECEDENCE = {
+    '||': 0,
+    '&&': 1,
+    '==': 2, '!=': 2,
+    '<': 3, '>': 3, '<=': 3, '>=': 3,
+    '+': 4, '-': 4,
+    '*': 5, '/': 5, '%': 5,
+    '**': 6,
+};
+/**
+ * Check if an IR expression needs parentheses when used as child of a binary op
+ */
+function needsParens(child, parentOp, side) {
+    if (!(0, ruby_1.isNativeBinaryOp)(child))
+        return false;
+    const call = child;
+    const childOp = ruby_1.RUBY_OP_MAP[call.fn];
+    if (!childOp)
+        return false;
+    const parentPrec = RUBY_PRECEDENCE[parentOp] || 0;
+    const childPrec = RUBY_PRECEDENCE[childOp] || 0;
+    if (childPrec < parentPrec)
+        return true;
+    if (childPrec === parentPrec && side === 'right' && (parentOp === '-' || parentOp === '/')) {
+        return true;
+    }
+    // Non-associative operators in Ruby need parens when chained
+    const nonAssociative = ['==', '!=', '<', '>', '<=', '>='];
+    if (childPrec === parentPrec && nonAssociative.includes(parentOp) && nonAssociative.includes(childOp)) {
+        return true;
+    }
+    return false;
+}
+// Create the Ruby standard library binding
+const rubyLib = (0, ruby_1.createRubyBinding)();
+/**
+ * Compiles Elo expressions to Ruby code
+ *
+ * This compiler works in two phases:
+ * 1. Transform AST to typed IR
+ * 2. Emit Ruby from IR (tracking required helpers)
+ * 3. Wrap with helper definitions if needed
+ *
+ * If the expression uses `_` (input variable), the output is a lambda
+ * that takes `_` as a parameter.
+ */
+function compileToRuby(expr, options) {
+    const result = compileToRubyWithMeta(expr, options);
+    return result.code;
+}
+/**
+ * Compiles Elo expressions to Ruby with metadata about input usage.
+ * Use this when you need to know if the expression uses input.
+ *
+ * Every Elo program compiles to a lambda taking _ as input parameter.
+ * The usesInput field indicates whether _ is actually referenced.
+ */
+function compileToRubyWithMeta(expr, options) {
+    const ir = (0, transform_1.transform)(expr);
+    const actuallyUsesInput = (0, ir_1.usesInput)(ir);
+    const result = emitRubyWithHelpers(ir);
+    // Resolve helper dependencies
+    const allHelpers = new Set(result.requiredHelpers);
+    for (const helper of result.requiredHelpers) {
+        const deps = runtime_1.RUBY_HELPER_DEPS[helper];
+        if (deps) {
+            for (const dep of deps) {
+                allHelpers.add(dep);
+            }
+        }
+    }
+    // Build helper definitions (sorted for deterministic output)
+    const helperDefs = Array.from(allHelpers)
+        .sort()
+        .map(name => runtime_1.RUBY_HELPERS[name].replace(/\n\s*/g, '; ').replace(/; end/, ' end'))
+        .join('; ');
+    // Always wrap as a lambda taking _ as input parameter
+    // When execute is true, add .call(nil) to call the lambda and ; to make it a statement
+    const suffix = options?.execute ? '.call(nil);' : '';
+    if (result.requiredHelpers.size === 0) {
+        return { code: `->(_) { ${result.code} }${suffix}`, usesInput: actuallyUsesInput };
+    }
+    return { code: `->(_) { ${helperDefs}; ${result.code} }${suffix}`, usesInput: actuallyUsesInput };
+}
+/**
+ * Emit Ruby with helper tracking
+ */
+function emitRubyWithHelpers(ir) {
+    // Reset counter for deterministic output
+    typeParserVarCounter = 0;
+    const requiredHelpers = new Set();
+    const code = emitRuby(ir, requiredHelpers);
+    return { code, requiredHelpers };
+}
+/**
+ * Emit Ruby code from IR
+ */
+function emitRuby(ir, requiredHelpers) {
+    const ctx = {
+        emit: (child) => emitRuby(child, requiredHelpers),
+        emitWithParens: (child, parentOp, side) => {
+            const emitted = emitRuby(child, requiredHelpers);
+            if (needsParens(child, parentOp, side)) {
+                return `(${emitted})`;
+            }
+            return emitted;
+        },
+        requireHelper: requiredHelpers ? (name) => requiredHelpers.add(name) : undefined,
+    };
+    switch (ir.type) {
+        case 'int_literal':
+        case 'float_literal':
+            return ir.value.toString();
+        case 'bool_literal':
+            return ir.value.toString();
+        case 'null_literal':
+            return 'nil';
+        case 'string_literal': {
+            // Ruby double-quoted strings: escape backslash and double quote
+            const escaped = ir.value.replace(/\\/g, '\\\\').replace(/"/g, '\\"');
+            return `"${escaped}"`;
+        }
+        case 'date_literal':
+            return `Date.parse('${ir.value}')`;
+        case 'datetime_literal':
+            return `DateTime.parse('${ir.value}')`;
+        case 'duration_literal':
+            return `ActiveSupport::Duration.parse('${ir.value}')`;
+        case 'object_literal': {
+            const props = ir.properties.map(p => `${p.key}: ${ctx.emit(p.value)}`).join(', ');
+            return `{${props}}`;
+        }
+        case 'array_literal': {
+            const elements = ir.elements.map(e => ctx.emit(e)).join(', ');
+            return `[${elements}]`;
+        }
+        case 'variable':
+            return ir.name;
+        case 'member_access': {
+            const object = ctx.emit(ir.object);
+            const needsParensForMember = ir.object.type === 'call' && (0, ruby_1.isNativeBinaryOp)(ir.object);
+            const objectExpr = needsParensForMember ? `(${object})` : object;
+            return `${objectExpr}[:${ir.property}]`;
+        }
+        case 'let': {
+            // Collect all consecutive let bindings for flattened output
+            const allBindings = [];
+            let current = ir;
+            while (current.type === 'let') {
+                for (const b of current.bindings) {
+                    allBindings.push({ name: b.name, value: ctx.emit(b.value) });
+                }
+                current = current.body;
+            }
+            const assignments = allBindings.map(b => `${b.name} = ${b.value}`).join('; ');
+            const body = ctx.emit(current);
+            return `(${assignments}; ${body})`;
+        }
+        case 'call':
+            return rubyLib.emit(ir.fn, ir.args, ir.argTypes, ctx);
+        case 'if': {
+            const cond = ctx.emit(ir.condition);
+            const thenBranch = ctx.emit(ir.then);
+            const elseBranch = ctx.emit(ir.else);
+            return `(${cond}) ? (${thenBranch}) : (${elseBranch})`;
+        }
+        case 'lambda': {
+            const params = ir.params.map(p => p.name).join(', ');
+            const body = ctx.emit(ir.body);
+            return `->(${params}) { ${body} }`;
+        }
+        case 'apply': {
+            const fn = ctx.emit(ir.fn);
+            const args = ir.args.map(a => ctx.emit(a)).join(', ');
+            return `${fn}.call(${args})`;
+        }
+        case 'alternative': {
+            // Compile to lambda with early returns for non-nil values
+            const alts = ir.alternatives;
+            const parts = alts.slice(0, -1).map((alt) => {
+                const code = ctx.emit(alt);
+                return `v = ${code}; return v unless v.nil?`;
+            });
+            // Last alternative is just returned directly
+            const last = ctx.emit(alts[alts.length - 1]);
+            parts.push(last);
+            return `->() { ${parts.join('; ')} }.call`;
+        }
+        case 'datapath': {
+            // Compile datapath as an array of segments (symbols for strings, integers for numbers)
+            const segments = ir.segments.map(s => typeof s === 'string' ? `:${s}` : s.toString());
+            return `[${segments.join(', ')}]`;
+        }
+        case 'typedef': {
+            // Generate parser lambda for the type and bind it
+            const parserCode = emitTypeExprParser(ir.typeExpr, ctx);
+            ctx.requireHelper?.('p_unwrap');
+            const body = ctx.emit(ir.body);
+            // The type name becomes a lambda that calls the parser and unwraps
+            return `(_p_${ir.name} = ${parserCode}; ${ir.name} = ->(v) { p_unwrap(_p_${ir.name}.call(v, '')) }; ${body})`;
+        }
+    }
+}
+/**
+ * Counter for generating unique variable names in nested type parsers
+ */
+let typeParserVarCounter = 0;
+/**
+ * Get a unique variable suffix for type parser variables
+ */
+function nextVarSuffix() {
+    return `_${typeParserVarCounter++}`;
+}
+/**
+ * Emit a parser lambda for a type expression in Ruby
+ */
+function emitTypeExprParser(typeExpr, ctx) {
+    switch (typeExpr.kind) {
+        case 'type_ref': {
+            // Map type name to parser helper
+            const parserMap = {
+                'Any': 'p_any',
+                'String': 'p_string',
+                'Int': 'p_int',
+                'Float': 'p_float',
+                'Bool': 'p_bool',
+                'Boolean': 'p_bool',
+                'Datetime': 'p_datetime',
+            };
+            const parserName = parserMap[typeExpr.name];
+            if (parserName) {
+                ctx.requireHelper?.(parserName);
+                return `method(:${parserName})`;
+            }
+            // Check if it's a user-defined type (uppercase identifier not in built-ins)
+            // User-defined types are referenced as _p_TypeName
+            const firstChar = typeExpr.name.charAt(0);
+            if (firstChar === firstChar.toUpperCase() && firstChar !== firstChar.toLowerCase()) {
+                return `_p_${typeExpr.name}`;
+            }
+            throw new Error(`Unknown type in type definition: ${typeExpr.name}`);
+        }
+        case 'type_schema': {
+            // Object schema: generate inline parser lambda
+            // Use unique variable names to avoid Ruby closure issues with nested schemas
+            ctx.requireHelper?.('p_ok');
+            ctx.requireHelper?.('p_fail');
+            const suffix = nextVarSuffix();
+            const oVar = `_o${suffix}`;
+            const propParsers = typeExpr.properties.map(prop => {
+                const propParser = emitTypeExprParser(prop.typeExpr, ctx);
+                return { key: prop.key, parser: propParser, optional: prop.optional };
+            });
+            const knownKeys = typeExpr.properties.map(p => p.key);
+            // Generate object parser with unique variable names
+            const propChecks = propParsers.map(({ key, parser, optional }) => {
+                const rVar = `_r_${key}${suffix}`;
+                if (optional) {
+                    // Optional: if value is null/undefined, skip attribute; otherwise parse
+                    return `unless v[:${key}].nil?; ${rVar} = (${parser}).call(v[:${key}], p + '.${key}'); return p_fail(p, nil, [${rVar}]) unless ${rVar}[:success]; ${oVar}[:${key}] = ${rVar}[:value]; end`;
+                }
+                // Required: parse and fail if not successful
+                return `${rVar} = (${parser}).call(v[:${key}], p + '.${key}'); return p_fail(p, nil, [${rVar}]) unless ${rVar}[:success]; ${oVar}[:${key}] = ${rVar}[:value]`;
+            }).join('; ');
+            // Handle extras based on the extras mode
+            let extrasCheck;
+            const knownKeysArr = knownKeys.map(k => `:${k}`).join(', ');
+            const ksVar = `_ks${suffix}`;
+            if (typeExpr.extras === undefined || typeExpr.extras === 'closed') {
+                // Closed: fail if any extra keys exist
+                extrasCheck = `${ksVar} = [${knownKeysArr}]; v.each_key { |_k| return p_fail(p + '.' + _k.to_s, 'unexpected attribute') unless ${ksVar}.include?(_k) }`;
+            }
+            else if (typeExpr.extras === 'ignored') {
+                // Ignored: no check, extras are silently ignored
+                extrasCheck = '';
+            }
+            else {
+                // Typed extras: parse each extra key with the given type
+                const extrasParser = emitTypeExprParser(typeExpr.extras, ctx);
+                const epVar = `_ep${suffix}`;
+                const reVar = `_re${suffix}`;
+                extrasCheck = `${ksVar} = [${knownKeysArr}]; ${epVar} = ${extrasParser}; v.each_key { |_k| unless ${ksVar}.include?(_k); ${reVar} = ${epVar}.call(v[_k], p + '.' + _k.to_s); return p_fail(p, nil, [${reVar}]) unless ${reVar}[:success]; ${oVar}[_k] = ${reVar}[:value]; end }`;
+            }
+            return `->(v, p) { return p_fail(p, 'expected object, got ' + (v.nil? ? 'Null' : v.class.to_s)) unless v.is_a?(Hash); ${oVar} = {}; ${propChecks}; ${extrasCheck}; p_ok(${oVar}, p) }`;
+        }
+        case 'subtype_constraint': {
+            // Subtype constraint: Int(i | i > 0)
+            // First parse with base type, then check constraint
+            ctx.requireHelper?.('p_ok');
+            ctx.requireHelper?.('p_fail');
+            const baseParser = emitTypeExprParser(typeExpr.baseType, ctx);
+            const constraintCode = ctx.emit(typeExpr.constraint);
+            const varName = typeExpr.variable;
+            return `->(v, p) { _r = (${baseParser}).call(v, p); return _r unless _r[:success]; ${varName} = _r[:value]; return p_fail(p, 'constraint violated') unless (${constraintCode}); _r }`;
+        }
+        case 'array_type': {
+            // Array type: [Int]
+            // Parse each element with the element type
+            ctx.requireHelper?.('p_ok');
+            ctx.requireHelper?.('p_fail');
+            const elemParser = emitTypeExprParser(typeExpr.elementType, ctx);
+            return `->(v, p) { return p_fail(p, 'expected array, got ' + (v.nil? ? 'Null' : v.class.to_s)) unless v.is_a?(Array); _el = ${elemParser}; _a = []; v.each_with_index { |_e, _i| _r = _el.call(_e, p + '.' + _i.to_s); return p_fail(p, nil, [_r]) unless _r[:success]; _a << _r[:value] }; p_ok(_a, p) }`;
+        }
+        case 'union_type': {
+            // Union type: Int|String
+            // Try each type in order, return first successful parse (PEG-style)
+            ctx.requireHelper?.('p_fail');
+            const parsers = typeExpr.types.map(t => emitTypeExprParser(t, ctx));
+            // Generate tries: call each parser directly in order
+            const tries = parsers.map(p => `_r = (${p}).call(v, p); return _r if _r[:success]; _causes << _r`).join('; ');
+            return `->(v, p) { _causes = []; ${tries}; p_fail(p, 'no union alternative matched', _causes) }`;
+        }
+    }
+}
+//# sourceMappingURL=ruby.js.map

package/dist/src/compilers/ruby.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ruby.js","sourceRoot":"","sources":["../../../src/compilers/ruby.ts"],"names":[],"mappings":";;AAwFA,sCAGC;AASD,sDA6BC;AAhID,8BAAkD;AAClD,4CAAyC;AAEzC,2CAAoF;AACpF,wCAA4D;AAsB5D;;GAEG;AACH,MAAM,eAAe,GAA2B;IAC9C,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC;IACP,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAChB,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAChC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IACd,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IACtB,IAAI,EAAE,CAAC;CACR,CAAC;AAEF;;GAEG;AACH,SAAS,WAAW,CAAC,KAAa,EAAE,QAAgB,EAAE,IAAsB;IAC1E,IAAI,CAAC,IAAA,uBAAgB,EAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE3C,MAAM,IAAI,GAAG,KAAe,CAAC;IAC7B,MAAM,OAAO,GAAG,kBAAW,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAEhD,IAAI,SAAS,GAAG,UAAU;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,SAAS,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IACD,6DAA6D;IAC7D,MAAM,cAAc,GAAG,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IAC1D,IAAI,SAAS,KAAK,UAAU,IAAI,cAAc,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,cAAc,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QACtG,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2CAA2C;AAC3C,MAAM,OAAO,GAAG,IAAA,wBAAiB,GAAE,CAAC;AAUpC;;;;;;;;;;GAUG;AACH,SAAgB,aAAa,CAAC,IAAU,EAAE,OAA4B;IACpE,MAAM,MAAM,GAAG,qBAAqB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,qBAAqB,CAAC,IAAU,EAAE,OAA4B;IAC5E,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,IAAI,CAAC,CAAC;IAC3B,MAAM,iBAAiB,GAAG,IAAA,cAAS,EAAC,EAAE,CAAC,CAAC;IACxC,MAAM,MAAM,GAAG,mBAAmB,CAAC,EAAE,CAAC,CAAC;IAEvC,8BAA8B;IAC9B,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IACnD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,eAAe,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAG,0BAAgB,CAAC,MAAM,CAAC,CAAC;QACtC,IAAI,IAAI,EAAE,CAAC;YACT,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;gBACvB,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YACtB,CAAC;QACH,CAAC;IACH,CAAC;IAED,6DAA6D;IAC7D,MAAM,UAAU,GAAG,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC;SACtC,IAAI,EAAE;SACN,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,sBAAY,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;SAChF,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,sDAAsD;IACtD,uFAAuF;IACvF,MAAM,MAAM,GAAG,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IACrD,IAAI,MAAM,CAAC,eAAe,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACtC,OAAO,EAAE,IAAI,EAAE,WAAW,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;IACrF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,UAAU,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,EAAE,SAAS,EAAE,iBAAiB,EAAE,CAAC;AACpG,CAAC;AAED;;GAEG;AACH,SAAS,mBAAmB,CAAC,EAAU;IACrC,yCAAyC;IACzC,oBAAoB,GAAG,CAAC,CAAC;IACzB,MAAM,eAAe,GAAG,IAAI,GAAG,EAAU,CAAC;IAC1C,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC;IAC3C,OAAO,EAAE,IAAI,EAAE,eAAe,EAAE,CAAC;AACnC,CAAC;AAED;;GAEG;AACH,SAAS,QAAQ,CAAC,EAAU,EAAE,eAA6B;IACzD,MAAM,GAAG,GAAwB;QAC/B,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;QACjD,cAAc,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;YACxC,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;YACjD,IAAI,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;gBACvC,OAAO,IAAI,OAAO,GAAG,CAAC;YACxB,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,aAAa,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;KACjF,CAAC;IAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe;YAClB,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAE7B,KAAK,cAAc;YACjB,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAE7B,KAAK,cAAc;YACjB,OAAO,KAAK,CAAC;QAEf,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,gEAAgE;YAChE,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACrE,OAAO,IAAI,OAAO,GAAG,CAAC;QACxB,CAAC;QAED,KAAK,cAAc;YACjB,OAAO,eAAe,EAAE,CAAC,KAAK,IAAI,CAAC;QAErC,KAAK,kBAAkB;YACrB,OAAO,mBAAmB,EAAE,CAAC,KAAK,IAAI,CAAC;QAEzC,KAAK,kBAAkB;YACrB,OAAO,kCAAkC,EAAE,CAAC,KAAK,IAAI,CAAC;QAExD,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,MAAM,KAAK,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClF,OAAO,IAAI,KAAK,GAAG,CAAC;QACtB,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,OAAO,IAAI,QAAQ,GAAG,CAAC;QACzB,CAAC;QAED,KAAK,UAAU;YACb,OAAO,EAAE,CAAC,IAAI,CAAC;QAEjB,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACnC,MAAM,oBAAoB,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,IAAA,uBAAgB,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACtF,MAAM,UAAU,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YACjE,OAAO,GAAG,UAAU,KAAK,EAAE,CAAC,QAAQ,GAAG,CAAC;QAC1C,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,4DAA4D;YAC5D,MAAM,WAAW,GAA2C,EAAE,CAAC;YAC/D,IAAI,OAAO,GAAW,EAAE,CAAC;YAEzB,OAAO,OAAO,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;oBACjC,WAAW,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC/D,CAAC;gBACD,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;YACzB,CAAC;YAED,MAAM,WAAW,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC/B,OAAO,IAAI,WAAW,KAAK,IAAI,GAAG,CAAC;QACrC,CAAC;QAED,KAAK,MAAM;YACT,OAAO,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAExD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACpC,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACrC,MAAM,UAAU,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACrC,OAAO,IAAI,IAAI,QAAQ,UAAU,QAAQ,UAAU,GAAG,CAAC;QACzD,CAAC;QAED,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC/B,OAAO,MAAM,MAAM,OAAO,IAAI,IAAI,CAAC;QACrC,CAAC;QAED,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YAC3B,MAAM,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtD,OAAO,GAAG,EAAE,SAAS,IAAI,GAAG,CAAC;QAC/B,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,0DAA0D;YAC1D,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC;YAC7B,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC1C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC3B,OAAO,OAAO,IAAI,0BAA0B,CAAC;YAC/C,CAAC,CAAC,CAAC;YACH,6CAA6C;YAC7C,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7C,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,OAAO,UAAU,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;QAC7C,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,uFAAuF;YACvF,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACnC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAC/C,CAAC;YACF,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACpC,CAAC;QAED,KAAK,SAAS,CAAC,CAAC,CAAC;YACf,kDAAkD;YAClD,MAAM,UAAU,GAAG,kBAAkB,CAAC,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YACxD,GAAG,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC;YAChC,MAAM,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC/B,mEAAmE;YACnE,OAAO,OAAO,EAAE,CAAC,IAAI,MAAM,UAAU,KAAK,EAAE,CAAC,IAAI,0BAA0B,EAAE,CAAC,IAAI,oBAAoB,IAAI,GAAG,CAAC;QAChH,CAAC;IACH,CAAC;AACH,CAAC;AAED;;GAEG;AACH,IAAI,oBAAoB,GAAG,CAAC,CAAC;AAE7B;;GAEG;AACH,SAAS,aAAa;IACpB,OAAO,IAAI,oBAAoB,EAAE,EAAE,CAAC;AACtC,CAAC;AAED;;GAEG;AACH,SAAS,kBAAkB,CACzB,QAAoC,EACpC,GAAwB;IAExB,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACtB,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,iCAAiC;YACjC,MAAM,SAAS,GAA2B;gBACxC,KAAK,EAAE,OAAO;gBACd,QAAQ,EAAE,UAAU;gBACpB,KAAK,EAAE,OAAO;gBACd,OAAO,EAAE,SAAS;gBAClB,MAAM,EAAE,QAAQ;gBAChB,SAAS,EAAE,QAAQ;gBACnB,UAAU,EAAE,YAAY;aACzB,CAAC;YACF,MAAM,UAAU,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5C,IAAI,UAAU,EAAE,CAAC;gBACf,GAAG,CAAC,aAAa,EAAE,CAAC,UAAU,CAAC,CAAC;gBAChC,OAAO,WAAW,UAAU,GAAG,CAAC;YAClC,CAAC;YACD,4EAA4E;YAC5E,mDAAmD;YACnD,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;YAC1C,IAAI,SAAS,KAAK,SAAS,CAAC,WAAW,EAAE,IAAI,SAAS,KAAK,SAAS,CAAC,WAAW,EAAE,EAAE,CAAC;gBACnF,OAAO,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAC;YAC/B,CAAC;YACD,MAAM,IAAI,KAAK,CAAC,oCAAoC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QAED,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,+CAA+C;YAC/C,6EAA6E;YAC7E,GAAG,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;YAC5B,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;YAC9B,MAAM,MAAM,GAAG,aAAa,EAAE,CAAC;YAC/B,MAAM,IAAI,GAAG,KAAK,MAAM,EAAE,CAAC;YAC3B,MAAM,WAAW,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE;gBACjD,MAAM,UAAU,GAAG,kBAAkB,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;gBAC1D,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACxE,CAAC,CAAC,CAAC;YACH,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAEtD,oDAAoD;YACpD,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE;gBAC/D,MAAM,IAAI,GAAG,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC;gBAClC,IAAI,QAAQ,EAAE,CAAC;oBACb,wEAAwE;oBACxE,OAAO,aAAa,GAAG,WAAW,IAAI,OAAO,MAAM,aAAa,GAAG,YAAY,GAAG,8BAA8B,IAAI,aAAa,IAAI,eAAe,IAAI,KAAK,GAAG,OAAO,IAAI,eAAe,CAAC;gBAC7L,CAAC;gBACD,6CAA6C;gBAC7C,OAAO,GAAG,IAAI,OAAO,MAAM,aAAa,GAAG,YAAY,GAAG,8BAA8B,IAAI,aAAa,IAAI,eAAe,IAAI,KAAK,GAAG,OAAO,IAAI,UAAU,CAAC;YAChK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAEd,yCAAyC;YACzC,IAAI,WAAmB,CAAC;YACxB,MAAM,YAAY,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;YAC7B,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAClE,uCAAuC;gBACvC,WAAW,GAAG,GAAG,KAAK,OAAO,YAAY,wFAAwF,KAAK,iBAAiB,CAAC;YAC1J,CAAC;iBAAM,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzC,iDAAiD;gBACjD,WAAW,GAAG,EAAE,CAAC;YACnB,CAAC;iBAAM,CAAC;gBACN,yDAAyD;gBACzD,MAAM,YAAY,GAAG,kBAAkB,CAAC,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAC9D,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;gBAC7B,MAAM,KAAK,GAAG,MAAM,MAAM,EAAE,CAAC;gBAC7B,WAAW,GAAG,GAAG,KAAK,OAAO,YAAY,MAAM,KAAK,MAAM,YAAY,8BAA8B,KAAK,kBAAkB,KAAK,MAAM,KAAK,2DAA2D,KAAK,aAAa,KAAK,eAAe,IAAI,UAAU,KAAK,iBAAiB,CAAC;YACnR,CAAC;YAED,OAAO,iHAAiH,IAAI,UAAU,UAAU,KAAK,WAAW,UAAU,IAAI,QAAQ,CAAC;QACzL,CAAC;QAED,KAAK,oBAAoB,CAAC,CAAC,CAAC;YAC1B,qCAAqC;YACrC,oDAAoD;YACpD,GAAG,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;YAC5B,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;YAC9B,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;YAC9D,MAAM,cAAc,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC;YAElC,OAAO,oBAAoB,UAAU,gDAAgD,OAAO,kEAAkE,cAAc,SAAS,CAAC;QACxL,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,oBAAoB;YACpB,2CAA2C;YAC3C,GAAG,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;YAC5B,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;YAC9B,MAAM,UAAU,GAAG,kBAAkB,CAAC,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;YAEjE,OAAO,uHAAuH,UAAU,kKAAkK,CAAC;QAC7S,CAAC;QAED,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,yBAAyB;YACzB,oEAAoE;YACpE,GAAG,CAAC,aAAa,EAAE,CAAC,QAAQ,CAAC,CAAC;YAC9B,MAAM,OAAO,GAAG,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;YAEpE,qDAAqD;YACrD,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,wDAAwD,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAE9G,OAAO,4BAA4B,KAAK,wDAAwD,CAAC;QACnG,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/src/compilers/sql.d.ts

@@ -0,0 +1,37 @@
+import { Expr } from '../ast';
+/**
+ * SQL compilation options
+ */
+export interface SQLCompileOptions {
+    /** If true, always mark as using input (even if _ is not used) */
+    asFunction?: boolean;
+}
+/**
+ * Result of SQL compilation
+ */
+export interface SQLCompileResult {
+    /** The generated SQL code */
+    code: string;
+    /** Whether the code uses the input parameter $1 */
+    usesInput: boolean;
+}
+/**
+ * Compiles Elo expressions to PostgreSQL SQL
+ *
+ * This compiler works in two phases:
+ * 1. Transform AST to typed IR
+ * 2. Emit SQL from IR
+ *
+ * If the expression uses `_` (input variable), it is compiled as `$1`
+ * (PostgreSQL parameter placeholder).
+ */
+export declare function compileToSQL(expr: Expr, options?: SQLCompileOptions): string;
+/**
+ * Compiles Elo expressions to SQL with metadata about input usage.
+ * Use this when you need to know if the expression uses input parameter $1.
+ *
+ * Note: SQL compilation allows undefined variables since they represent
+ * database column names, not program variables with potential global access.
+ */
+export declare function compileToSQLWithMeta(expr: Expr, options?: SQLCompileOptions): SQLCompileResult;
+//# sourceMappingURL=sql.d.ts.map

package/dist/src/compilers/sql.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql.d.ts","sourceRoot":"","sources":["../../../src/compilers/sql.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AAO9B;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC,kEAAkE;IAClE,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB;AAED;;GAEG;AACH,MAAM,WAAW,gBAAgB;IAC/B,6BAA6B;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,SAAS,EAAE,OAAO,CAAC;CACpB;AAsCD;;;;;;;;;GASG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,MAAM,CAG5E;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,iBAAiB,GAAG,gBAAgB,CAO9F"}

package/dist/src/compilers/sql.js

@@ -0,0 +1,164 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.compileToSQL = compileToSQL;
+exports.compileToSQLWithMeta = compileToSQLWithMeta;
+const ir_1 = require("../ir");
+const transform_1 = require("../transform");
+const sql_1 = require("../bindings/sql");
+/**
+ * SQL operator precedence (higher = binds tighter)
+ */
+const SQL_PRECEDENCE = {
+    'OR': 0,
+    'AND': 1,
+    '=': 2, '<>': 2,
+    '<': 3, '>': 3, '<=': 3, '>=': 3,
+    '+': 4, '-': 4,
+    '*': 5, '/': 5, '%': 5,
+};
+/**
+ * Check if an IR expression needs parentheses when used as child of a binary op
+ */
+function needsParens(child, parentOp, side) {
+    if (!(0, sql_1.isNativeBinaryOp)(child))
+        return false;
+    const call = child;
+    const childOp = sql_1.SQL_OP_MAP[call.fn];
+    if (!childOp)
+        return false;
+    const parentPrec = SQL_PRECEDENCE[parentOp] || 0;
+    const childPrec = SQL_PRECEDENCE[childOp] || 0;
+    if (childPrec < parentPrec)
+        return true;
+    if (childPrec === parentPrec && side === 'right' && (parentOp === '-' || parentOp === '/')) {
+        return true;
+    }
+    return false;
+}
+// Create the SQL standard library binding
+const sqlLib = (0, sql_1.createSQLBinding)();
+/**
+ * Compiles Elo expressions to PostgreSQL SQL
+ *
+ * This compiler works in two phases:
+ * 1. Transform AST to typed IR
+ * 2. Emit SQL from IR
+ *
+ * If the expression uses `_` (input variable), it is compiled as `$1`
+ * (PostgreSQL parameter placeholder).
+ */
+function compileToSQL(expr, options) {
+    const result = compileToSQLWithMeta(expr, options);
+    return result.code;
+}
+/**
+ * Compiles Elo expressions to SQL with metadata about input usage.
+ * Use this when you need to know if the expression uses input parameter $1.
+ *
+ * Note: SQL compilation allows undefined variables since they represent
+ * database column names, not program variables with potential global access.
+ */
+function compileToSQLWithMeta(expr, options) {
+    // SQL allows undefined variables since they represent column names
+    const ir = (0, transform_1.transform)(expr, new Map(), new Set(), { allowUndefinedVariables: true });
+    const needsInput = (0, ir_1.usesInput)(ir) || options?.asFunction;
+    const code = emitSQL(ir);
+    return { code, usesInput: needsInput || false };
+}
+/**
+ * Emit SQL code from IR
+ */
+function emitSQL(ir) {
+    const ctx = {
+        emit: emitSQL,
+        emitWithParens: (child, parentOp, side) => {
+            const emitted = emitSQL(child);
+            if (needsParens(child, parentOp, side)) {
+                return `(${emitted})`;
+            }
+            return emitted;
+        },
+    };
+    switch (ir.type) {
+        case 'int_literal':
+        case 'float_literal':
+            return ir.value.toString();
+        case 'bool_literal':
+            return ir.value ? 'TRUE' : 'FALSE';
+        case 'null_literal':
+            return 'NULL';
+        case 'string_literal': {
+            // SQL strings use single quotes, escape single quotes by doubling
+            const escaped = ir.value.replace(/'/g, "''");
+            return `'${escaped}'`;
+        }
+        case 'date_literal':
+            return `DATE '${ir.value}'`;
+        case 'datetime_literal': {
+            // Convert ISO8601 to PostgreSQL TIMESTAMP format
+            const formatted = ir.value.replace('T', ' ').replace('Z', '').split('.')[0];
+            return `TIMESTAMP '${formatted}'`;
+        }
+        case 'duration_literal':
+            return `INTERVAL '${ir.value}'`;
+        case 'object_literal': {
+            if (ir.properties.length === 0) {
+                return `'{}'::jsonb`;
+            }
+            const args = ir.properties
+                .map(p => `'${p.key}', ${emitSQL(p.value)}`)
+                .join(', ');
+            return `jsonb_build_object(${args})`;
+        }
+        case 'array_literal': {
+            const elements = ir.elements.map(e => emitSQL(e)).join(', ');
+            return `ARRAY[${elements}]`;
+        }
+        case 'variable':
+            // Map _ to $1 (PostgreSQL parameter placeholder for input)
+            return ir.name === '_' ? '$1' : ir.name;
+        case 'member_access': {
+            const object = emitSQL(ir.object);
+            const objectType = (0, ir_1.inferType)(ir.object);
+            const needsParensForMember = ir.object.type === 'call' && (0, sql_1.isNativeBinaryOp)(ir.object);
+            const objectExpr = needsParensForMember ? `(${object})` : object;
+            // Use JSON access for object types
+            if (objectType.kind === 'object') {
+                return `${objectExpr}->>'${ir.property}'`;
+            }
+            return `${objectExpr}.${ir.property}`;
+        }
+        case 'let': {
+            const bindingCols = ir.bindings
+                .map(b => `${emitSQL(b.value)} AS ${b.name}`)
+                .join(', ');
+            const body = emitSQL(ir.body);
+            return `(SELECT ${body} FROM (SELECT ${bindingCols}) AS _let)`;
+        }
+        case 'call':
+            return sqlLib.emit(ir.fn, ir.args, ir.argTypes, ctx);
+        case 'if': {
+            const cond = emitSQL(ir.condition);
+            const thenBranch = emitSQL(ir.then);
+            const elseBranch = emitSQL(ir.else);
+            return `CASE WHEN ${cond} THEN ${thenBranch} ELSE ${elseBranch} END`;
+        }
+        case 'lambda':
+            throw new Error('Lambda expressions are not supported in SQL target');
+        case 'apply':
+            throw new Error('Lambda invocation is not supported in SQL target');
+        case 'alternative': {
+            // Compile to COALESCE - returns first non-NULL value
+            const alts = ir.alternatives.map(emitSQL).join(', ');
+            return `COALESCE(${alts})`;
+        }
+        case 'datapath': {
+            // Compile datapath as an array of path segments for use with fetch
+            const segments = ir.segments.map(s => typeof s === 'string' ? `'${s}'` : s.toString());
+            return `ARRAY[${segments.join(', ')}]`;
+        }
+        case 'typedef':
+            throw new Error('Type definitions are not yet supported in SQL compilation');
+    }
+}
+//# sourceMappingURL=sql.js.map

package/dist/src/compilers/sql.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sql.js","sourceRoot":"","sources":["../../../src/compilers/sql.ts"],"names":[],"mappings":";;AAuEA,oCAGC;AASD,oDAOC;AAzFD,8BAA6D;AAC7D,4CAAyC;AAGzC,yCAAiF;AAoBjF;;GAEG;AACH,MAAM,cAAc,GAA2B;IAC7C,IAAI,EAAE,CAAC;IACP,KAAK,EAAE,CAAC;IACR,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IACf,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;IAChC,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;IACd,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,SAAS,WAAW,CAAC,KAAa,EAAE,QAAgB,EAAE,IAAsB;IAC1E,IAAI,CAAC,IAAA,sBAAgB,EAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE3C,MAAM,IAAI,GAAG,KAAe,CAAC;IAC7B,MAAM,OAAO,GAAG,gBAAU,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpC,IAAI,CAAC,OAAO;QAAE,OAAO,KAAK,CAAC;IAE3B,MAAM,UAAU,GAAG,cAAc,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACjD,MAAM,SAAS,GAAG,cAAc,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;IAE/C,IAAI,SAAS,GAAG,UAAU;QAAE,OAAO,IAAI,CAAC;IACxC,IAAI,SAAS,KAAK,UAAU,IAAI,IAAI,KAAK,OAAO,IAAI,CAAC,QAAQ,KAAK,GAAG,IAAI,QAAQ,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3F,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED,0CAA0C;AAC1C,MAAM,MAAM,GAAG,IAAA,sBAAgB,GAAE,CAAC;AAElC;;;;;;;;;GASG;AACH,SAAgB,YAAY,CAAC,IAAU,EAAE,OAA2B;IAClE,MAAM,MAAM,GAAG,oBAAoB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACnD,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,oBAAoB,CAAC,IAAU,EAAE,OAA2B;IAC1E,mEAAmE;IACnE,MAAM,EAAE,GAAG,IAAA,qBAAS,EAAC,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,GAAG,EAAE,EAAE,EAAE,uBAAuB,EAAE,IAAI,EAAE,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,IAAA,cAAS,EAAC,EAAE,CAAC,IAAI,OAAO,EAAE,UAAU,CAAC;IACxD,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAEzB,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,UAAU,IAAI,KAAK,EAAE,CAAC;AAClD,CAAC;AAED;;GAEG;AACH,SAAS,OAAO,CAAC,EAAU;IACzB,MAAM,GAAG,GAAwB;QAC/B,IAAI,EAAE,OAAO;QACb,cAAc,EAAE,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE;YACxC,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,WAAW,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;gBACvC,OAAO,IAAI,OAAO,GAAG,CAAC;YACxB,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;IAEF,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,aAAa,CAAC;QACnB,KAAK,eAAe;YAClB,OAAO,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAE7B,KAAK,cAAc;YACjB,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;QAErC,KAAK,cAAc;YACjB,OAAO,MAAM,CAAC;QAEhB,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,kEAAkE;YAClE,MAAM,OAAO,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC7C,OAAO,IAAI,OAAO,GAAG,CAAC;QACxB,CAAC;QAED,KAAK,cAAc;YACjB,OAAO,SAAS,EAAE,CAAC,KAAK,GAAG,CAAC;QAE9B,KAAK,kBAAkB,CAAC,CAAC,CAAC;YACxB,iDAAiD;YACjD,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5E,OAAO,cAAc,SAAS,GAAG,CAAC;QACpC,CAAC;QAED,KAAK,kBAAkB;YACrB,OAAO,aAAa,EAAE,CAAC,KAAK,GAAG,CAAC;QAElC,KAAK,gBAAgB,CAAC,CAAC,CAAC;YACtB,IAAI,EAAE,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC/B,OAAO,aAAa,CAAC;YACvB,CAAC;YACD,MAAM,IAAI,GAAG,EAAE,CAAC,UAAU;iBACvB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,GAAG,MAAM,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;iBAC3C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,OAAO,sBAAsB,IAAI,GAAG,CAAC;QACvC,CAAC;QAED,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC7D,OAAO,SAAS,QAAQ,GAAG,CAAC;QAC9B,CAAC;QAED,KAAK,UAAU;YACb,2DAA2D;YAC3D,OAAO,EAAE,CAAC,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC;QAE1C,KAAK,eAAe,CAAC,CAAC,CAAC;YACrB,MAAM,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YAClC,MAAM,UAAU,GAAG,IAAA,cAAS,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACxC,MAAM,oBAAoB,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,MAAM,IAAI,IAAA,sBAAgB,EAAC,EAAE,CAAC,MAAM,CAAC,CAAC;YACtF,MAAM,UAAU,GAAG,oBAAoB,CAAC,CAAC,CAAC,IAAI,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;YAEjE,mCAAmC;YACnC,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBACjC,OAAO,GAAG,UAAU,OAAO,EAAE,CAAC,QAAQ,GAAG,CAAC;YAC5C,CAAC;YAED,OAAO,GAAG,UAAU,IAAI,EAAE,CAAC,QAAQ,EAAE,CAAC;QACxC,CAAC;QAED,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,WAAW,GAAG,EAAE,CAAC,QAAQ;iBAC5B,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;iBAC5C,IAAI,CAAC,IAAI,CAAC,CAAC;YACd,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YAC9B,OAAO,WAAW,IAAI,iBAAiB,WAAW,YAAY,CAAC;QACjE,CAAC;QAED,KAAK,MAAM;YACT,OAAO,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAEvD,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;YACnC,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,MAAM,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;YACpC,OAAO,aAAa,IAAI,SAAS,UAAU,SAAS,UAAU,MAAM,CAAC;QACvE,CAAC;QAED,KAAK,QAAQ;YACX,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QAExE,KAAK,OAAO;YACV,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QAEtE,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,qDAAqD;YACrD,MAAM,IAAI,GAAG,EAAE,CAAC,YAAY,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACrD,OAAO,YAAY,IAAI,GAAG,CAAC;QAC7B,CAAC;QAED,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,mEAAmE;YACnE,MAAM,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CACnC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAChD,CAAC;YACF,OAAO,SAAS,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACzC,CAAC;QAED,KAAK,SAAS;YACZ,MAAM,IAAI,KAAK,CAAC,2DAA2D,CAAC,CAAC;IACjF,CAAC;AACH,CAAC"}

package/dist/src/elo.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=elo.d.ts.map

package/dist/src/elo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"elo.d.ts","sourceRoot":"","sources":["../../src/elo.ts"],"names":[],"mappings":""}