mirror of
https://github.com/hanzoai/insights.git
synced 2026-10-30 16:15:31 +00:00
The compiler emits its runtime helpers by name and the VM defines them by name, so the two are one contract. It was renamed on one side only: all three engines -- the Python VM, the TypeScript VM, and the JS emitter -- already said `__printScriptValue`, while every committed snapshot still said `__printHogValue`. The snapshots had not been regenerated since. That was not only cosmetic. `catch.script` and `catch2.script` call `HogError(...)`, an STL name that became `ScriptError`, so both had been failing; and `stl.stdout` recorded `__hogInterval__` for a marker the engines stopped writing two renames ago. So: drop the language's name from the helpers, since inside its own runtime every value is a Script value and the infix distinguishes nothing. Both sides move here, together, and the snapshots are regenerated from the compiler rather than edited to agree. Two names could not simply lose the infix, and the collision is the interesting part: __toScriptDate/DateTime -> __newDate/__newDateTime, not __toDate, which already exists and is a different function -- the STL builtin that PARSES a foreign input, where these build a value from its parts. They join `__newError`, which was already named that way. ScriptError stays. Its remaining word is `Error`, also taken, and also a different function: `Error(message)` fixes the type, `ScriptError( type, message)` takes it. Leaving the families orthogonal: `__new*` builds, `__to*` converts, `__is*` tests, `__x__` marks, `__print*` renders. Verified with the two engines this ABI spans, python-VM output against compiled-JS output per test: 31 pass / 4 fail, against 29 / 6 on the commit before this one. The two it fixes are catch and catch2. The four that remain fail identically on both trees and are untouched by this. `insightsqlx.js` is deliberately NOT regenerated and still spells the old names: its source does not compile on either tree (`BytecodeCompiler has no method visit_insights_qlxtag`), and editing a snapshot by hand to agree with a rename is the exact failure this commit exists to undo. Co-authored-by: Hanzo Dev <[email protected]>
226 lines
9.6 KiB
JavaScript
226 lines
9.6 KiB
JavaScript
function toUUID (value) { return __STLToString(value) }
|
|
function toString (value) { return __STLToString(value) }
|
|
function toInt(value) {
|
|
if (__isDateTime(value)) { return Math.floor(value.dt); }
|
|
else if (__isDate(value)) { const date = new Date(Date.UTC(value.year, value.month - 1, value.day)); const epoch = new Date(Date.UTC(1970, 0, 1)); const diffInDays = Math.floor((date - epoch) / (1000 * 60 * 60 * 24)); return diffInDays; }
|
|
return !isNaN(parseInt(value)) ? parseInt(value) : null; }
|
|
function toFloat(value) {
|
|
if (__isDateTime(value)) { return value.dt; }
|
|
else if (__isDate(value)) { const date = new Date(Date.UTC(value.year, value.month - 1, value.day)); const epoch = new Date(Date.UTC(1970, 0, 1)); const diffInDays = (date - epoch) / (1000 * 60 * 60 * 24); return diffInDays; }
|
|
return !isNaN(parseFloat(value)) ? parseFloat(value) : null; }
|
|
function print (...args) { console.log(...args.map(__printStringOutput)) }
|
|
function match (str, pattern) { return !str || !pattern ? false : new RegExp(pattern).test(str) }
|
|
function like (str, pattern) { return __like(str, pattern, false) }
|
|
function jsonStringify (value, spacing) {
|
|
function convert(x, marked) {
|
|
if (!marked) { marked = new Set() }
|
|
if (typeof x === 'object' && x !== null) {
|
|
if (marked.has(x)) { return null }
|
|
marked.add(x)
|
|
try {
|
|
if (x instanceof Map) {
|
|
const obj = {}
|
|
x.forEach((value, key) => { obj[convert(key, marked)] = convert(value, marked) })
|
|
return obj
|
|
}
|
|
if (Array.isArray(x)) { return x.map((v) => convert(v, marked)) }
|
|
if (__isDateTime(x) || __isDate(x) || __isError(x)) { return x }
|
|
if (typeof x === 'function') { return `fn<${x.name || 'lambda'}(${x.length})>` }
|
|
const obj = {}; for (const key in x) { obj[key] = convert(x[key], marked) }
|
|
return obj
|
|
} finally {
|
|
marked.delete(x)
|
|
}
|
|
}
|
|
return x
|
|
}
|
|
if (spacing && typeof spacing === 'number' && spacing > 0) {
|
|
return JSON.stringify(convert(value), null, spacing)
|
|
}
|
|
return JSON.stringify(convert(value), (key, val) => typeof val === 'function' ? `fn<${val.name || 'lambda'}(${val.length})>` : val)
|
|
}
|
|
function ilike (str, pattern) { return __like(str, pattern, true) }
|
|
function concat (...args) { return args.map((arg) => (arg === null ? '' : __STLToString(arg))).join('') }
|
|
function __like(str, pattern, caseInsensitive = false) {
|
|
if (caseInsensitive) {
|
|
str = str.toLowerCase()
|
|
pattern = pattern.toLowerCase()
|
|
}
|
|
pattern = String(pattern)
|
|
.replaceAll(/[-/\\^$*+?.()|[\]{}]/g, '\\$&')
|
|
.replaceAll('%', '.*')
|
|
.replaceAll('_', '.')
|
|
return new RegExp(pattern).test(str)
|
|
}
|
|
function __imatch (str, pattern) { return !str || !pattern ? false : new RegExp(pattern, 'i').test(str) }
|
|
function __STLToString(arg) {
|
|
if (arg && __isDate(arg)) { return `${arg.year}-${arg.month.toString().padStart(2, '0')}-${arg.day.toString().padStart(2, '0')}`; }
|
|
else if (arg && __isDateTime(arg)) { return __DateTimeToString(arg); }
|
|
return __printStringOutput(arg); }
|
|
function __printStringOutput(obj) { if (typeof obj === 'string') { return obj } return __printValue(obj) }
|
|
function __printValue(obj, marked = new Set()) {
|
|
if (typeof obj === 'object' && obj !== null && obj !== undefined) {
|
|
if (marked.has(obj) && !__isDateTime(obj) && !__isDate(obj) && !__isError(obj)) { return 'null'; }
|
|
marked.add(obj);
|
|
try {
|
|
if (Array.isArray(obj)) {
|
|
if (obj.__isTuple) { return obj.length < 2 ? `tuple(${obj.map((o) => __printValue(o, marked)).join(', ')})` : `(${obj.map((o) => __printValue(o, marked)).join(', ')})`; }
|
|
return `[${obj.map((o) => __printValue(o, marked)).join(', ')}]`;
|
|
}
|
|
if (__isDateTime(obj)) { const millis = String(obj.dt); return `DateTime(${millis}${millis.includes('.') ? '' : '.0'}, ${__escapeString(obj.zone)})`; }
|
|
if (__isDate(obj)) return `Date(${obj.year}, ${obj.month}, ${obj.day})`;
|
|
if (__isError(obj)) { return `${String(obj.type)}(${__escapeString(obj.message)}${obj.payload ? `, ${__printValue(obj.payload, marked)}` : ''})`; }
|
|
if (obj instanceof Map) { return `{${Array.from(obj.entries()).map(([key, value]) => `${__printValue(key, marked)}: ${__printValue(value, marked)}`).join(', ')}}`; }
|
|
return `{${Object.entries(obj).map(([key, value]) => `${__printValue(key, marked)}: ${__printValue(value, marked)}`).join(', ')}}`;
|
|
} finally {
|
|
marked.delete(obj);
|
|
}
|
|
} else if (typeof obj === 'boolean') return obj ? 'true' : 'false';
|
|
else if (obj === null || obj === undefined) return 'null';
|
|
else if (typeof obj === 'string') return __escapeString(obj);
|
|
if (typeof obj === 'function') return `fn<${__escapeIdentifier(obj.name || 'lambda')}(${obj.length})>`;
|
|
return obj.toString();
|
|
}
|
|
function __isError(obj) {return obj && obj.__error__ === true}
|
|
function __escapeString(value) {
|
|
const singlequoteEscapeCharsMap = { '\b': '\\b', '\f': '\\f', '\r': '\\r', '\n': '\\n', '\t': '\\t', '\0': '\\0', '\v': '\\v', '\\': '\\\\', "'": "\\'" }
|
|
return `'${value.split('').map((c) => singlequoteEscapeCharsMap[c] || c).join('')}'`;
|
|
}
|
|
function __escapeIdentifier(identifier) {
|
|
const backquoteEscapeCharsMap = { '\b': '\\b', '\f': '\\f', '\r': '\\r', '\n': '\\n', '\t': '\\t', '\0': '\\0', '\v': '\\v', '\\': '\\\\', '`': '``' }
|
|
if (typeof identifier === 'number') return identifier.toString();
|
|
if (/^[A-Za-z_$][A-Za-z0-9_$]*$/.test(identifier)) return identifier;
|
|
return `\`${identifier.split('').map((c) => backquoteEscapeCharsMap[c] || c).join('')}\``;
|
|
}
|
|
function __isDateTime(obj) { return obj && obj.__dateTime__ === true }
|
|
function __isDate(obj) { return obj && obj.__date__ === true }
|
|
function __DateTimeToString(dt) {
|
|
if (__isDateTime(dt)) {
|
|
const date = new Date(dt.dt * 1000);
|
|
const timeZone = dt.zone || 'UTC';
|
|
const milliseconds = Math.floor(dt.dt * 1000 % 1000);
|
|
const options = { timeZone, year: 'numeric', month: '2-digit', day: '2-digit', hour: '2-digit', minute: '2-digit', second: '2-digit', hour12: false };
|
|
const formatter = new Intl.DateTimeFormat('en-US', options);
|
|
const parts = formatter.formatToParts(date);
|
|
let year, month, day, hour, minute, second;
|
|
for (const part of parts) {
|
|
switch (part.type) {
|
|
case 'year': year = part.value; break;
|
|
case 'month': month = part.value; break;
|
|
case 'day': day = part.value; break;
|
|
case 'hour': hour = part.value; break;
|
|
case 'minute': minute = part.value; break;
|
|
case 'second': second = part.value; break;
|
|
default: break;
|
|
}
|
|
}
|
|
const getOffset = (date, timeZone) => {
|
|
const tzDate = new Date(date.toLocaleString('en-US', { timeZone }));
|
|
const utcDate = new Date(date.toLocaleString('en-US', { timeZone: 'UTC' }));
|
|
const offset = (tzDate - utcDate) / 60000; // in minutes
|
|
const sign = offset >= 0 ? '+' : '-';
|
|
const absOffset = Math.abs(offset);
|
|
const hours = Math.floor(absOffset / 60);
|
|
const minutes = absOffset % 60;
|
|
return `${sign}${String(hours).padStart(2, '0')}:${String(minutes).padStart(2, '0')}`;
|
|
};
|
|
let offset = 'Z';
|
|
if (timeZone !== 'UTC') {
|
|
offset = getOffset(date, timeZone);
|
|
}
|
|
let isoString = `${year}-${month}-${day}T${hour}:${minute}:${second}`;
|
|
isoString += `.${milliseconds.toString().padStart(3, '0')}`;
|
|
isoString += offset;
|
|
return isoString;
|
|
}
|
|
}
|
|
|
|
function test(val) {
|
|
print(jsonStringify(val));
|
|
}
|
|
print("-- test the most common expressions --");
|
|
test((1 + 2));
|
|
test((1 - 2));
|
|
test((3 * 2));
|
|
test((3 / 2));
|
|
test((3 % 2));
|
|
test(!!(1 && 2));
|
|
test(!!(1 || 0));
|
|
test(!!(1 && 0));
|
|
test(!!(1 || !!(0 && 1) || 2));
|
|
test(!!(1 && 0 && 1));
|
|
test(!!(!!(1 || 2) && !!(1 || 2)));
|
|
test(true);
|
|
test((!true));
|
|
test(false);
|
|
test(null);
|
|
test(3.14);
|
|
test((1 == 2));
|
|
test((1 == 2));
|
|
test((1 != 2));
|
|
test((1 < 2));
|
|
test((1 <= 2));
|
|
test((1 > 2));
|
|
test((1 >= 2));
|
|
test(like("a", "b"));
|
|
test(like("baa", "%a%"));
|
|
test(like("baa", "%x%"));
|
|
test(ilike("baa", "%A%"));
|
|
test(ilike("baa", "%C%"));
|
|
test(ilike("a", "b"));
|
|
test(!like("a", "b"));
|
|
test(!ilike("a", "b"));
|
|
test(("car".includes("a")));
|
|
test(("foo".includes("a")));
|
|
test((!"car".includes("a")));
|
|
test(like("bax", "b_x"));
|
|
test(!like("baax", "b_x"));
|
|
test(like("baax", "b%x"));
|
|
test(concat("arg", "another"));
|
|
test(concat(1, null));
|
|
test(concat(true, false));
|
|
test(match("test", "e.*"));
|
|
test(match("test", "^e.*"));
|
|
test(match("test", "x.*"));
|
|
test(match("test", "e.*"));
|
|
test(!match("test", "e.*"));
|
|
test(match("test", "^e.*"));
|
|
test(!match("test", "^e.*"));
|
|
test(match("test", "x.*"));
|
|
test(!match("test", "x.*"));
|
|
test(__imatch("test", "EST"));
|
|
test(__imatch("test", "EST"));
|
|
test(!__imatch("test", "EST"));
|
|
test(toString(1));
|
|
test(toString(1.5));
|
|
test(toString(true));
|
|
test(toString(null));
|
|
test(toString("string"));
|
|
test(toInt("1"));
|
|
test(toInt("bla"));
|
|
test(toFloat("1.2"));
|
|
test(toFloat("bla"));
|
|
test(toUUID("asd"));
|
|
test((1 == null));
|
|
test((1 != null));
|
|
test(("1" == 1));
|
|
test((1 == "1"));
|
|
test((1 == true));
|
|
test((0 == true));
|
|
test((2 == true));
|
|
test((1 != false));
|
|
test((1 == "2"));
|
|
test((1 == "2"));
|
|
test((1 != "2"));
|
|
test((1 < "2"));
|
|
test((1 <= "2"));
|
|
test((1 > "2"));
|
|
test((1 >= "2"));
|
|
test(("1" == 2));
|
|
test(("1" == 2));
|
|
test(("1" != 2));
|
|
test(("1" < 2));
|
|
test(("1" <= 2));
|
|
test(("1" > 2));
|
|
test(("1" >= 2));
|