@virune/compiler 1.1.0-rc.0

package/dist/src/types/types.d.ts

@@ -0,0 +1,97 @@
+import type { ForeignTypeRef, ForeignTypeSnapshot } from '../interop/types.js';
+import type { TypeId } from '../source.js';
+export type Type = {
+    readonly kind: 'primitive';
+    readonly name: 'Bool' | 'Int' | 'Float' | 'BigInt' | 'String' | 'Unit' | 'Unknown' | 'Never' | 'InvalidType';
+} | {
+    readonly kind: 'named';
+    readonly name: string;
+    readonly definitionId: string;
+    readonly declarationKind: 'record' | 'enum' | 'newtype' | 'alias';
+    readonly arguments: readonly TypeId[];
+    readonly fields?: ReadonlyMap<string, TypeId>;
+    readonly variants?: ReadonlyMap<string, readonly TypeId[]>;
+    readonly underlying?: TypeId;
+    readonly derives?: ReadonlySet<string>;
+    readonly mustUse?: boolean;
+} | {
+    readonly kind: 'function';
+    readonly parameters: readonly TypeId[];
+    readonly result: TypeId;
+    readonly typeParameters: readonly string[];
+    readonly async: boolean;
+    readonly effects: readonly string[];
+} | {
+    readonly kind: 'list';
+    readonly element: TypeId;
+} | {
+    readonly kind: 'map';
+    readonly key: TypeId;
+    readonly value: TypeId;
+} | {
+    readonly kind: 'set';
+    readonly element: TypeId;
+} | {
+    readonly kind: 'tuple';
+    readonly items: readonly TypeId[];
+} | {
+    readonly kind: 'option';
+    readonly value: TypeId;
+} | {
+    readonly kind: 'result';
+    readonly value: TypeId;
+    readonly error: TypeId;
+} | {
+    readonly kind: 'future';
+    readonly value: TypeId;
+} | {
+    readonly kind: 'typeVariable';
+    readonly name: string;
+} | {
+    readonly kind: 'foreign';
+    readonly ref: ForeignTypeRef;
+    readonly snapshot: ForeignTypeSnapshot;
+};
+export declare class TypeArena {
+    #private;
+    readonly bool: number;
+    readonly int: number;
+    readonly float: number;
+    readonly bigint: number;
+    readonly string: number;
+    readonly unit: number;
+    readonly unknown: number;
+    readonly never: number;
+    readonly invalid: number;
+    /** @internal Compatibility alias for checker code; not a user-visible type. */
+    readonly error: number;
+    add(type: Type): TypeId;
+    setNamedDetails(id: TypeId, details: {
+        readonly fields?: ReadonlyMap<string, TypeId>;
+        readonly variants?: ReadonlyMap<string, readonly TypeId[]>;
+        readonly underlying?: TypeId;
+        readonly derives?: ReadonlySet<string>;
+        readonly mustUse?: boolean;
+    }): void;
+    get(id: TypeId): Type;
+    option(value: TypeId): TypeId;
+    result(value: TypeId, error: TypeId): TypeId;
+    future(value: TypeId): TypeId;
+    list(element: TypeId): TypeId;
+    map(key: TypeId, value: TypeId): TypeId;
+    set(element: TypeId): TypeId;
+    tuple(items: readonly TypeId[]): TypeId;
+    function(parameters: readonly TypeId[], result: TypeId, typeParameters?: readonly string[], async?: boolean, effects?: readonly string[]): TypeId;
+    variable(name: string): TypeId;
+    foreign(snapshot: ForeignTypeSnapshot): TypeId;
+    namedInstance(base: Extract<Type, {
+        readonly kind: 'named';
+    }>, argumentsList: readonly TypeId[], details?: Partial<Pick<Extract<Type, {
+        readonly kind: 'named';
+    }>, 'fields' | 'variants' | 'underlying' | 'derives' | 'mustUse'>>): TypeId;
+    display(id: TypeId): string;
+    equals(left: TypeId, right: TypeId): boolean;
+    private arrayEquals;
+    private intern;
+}
+//# sourceMappingURL=types.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/types/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC/E,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3C,MAAM,MAAM,IAAI,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,KAAK,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,GAAG,aAAa,CAAA;CAAE,GAC5I;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,eAAe,EAAE,QAAQ,GAAG,MAAM,GAAG,SAAS,GAAG,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,GACvY;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GACxM;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACtE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,mBAAmB,CAAA;CAAE,CAAC;AAEtG,qBAAa,SAAS;;IAGrB,QAAQ,CAAC,IAAI,SAAiD;IAC9D,QAAQ,CAAC,GAAG,SAAgD;IAC5D,QAAQ,CAAC,KAAK,SAAkD;IAChE,QAAQ,CAAC,MAAM,SAAmD;IAClE,QAAQ,CAAC,MAAM,SAAmD;IAClE,QAAQ,CAAC,IAAI,SAAiD;IAC9D,QAAQ,CAAC,OAAO,SAAoD;IACpE,QAAQ,CAAC,KAAK,SAAkD;IAChE,QAAQ,CAAC,OAAO,SAAwD;IACxE,+EAA+E;IAC/E,QAAQ,CAAC,KAAK,SAAgB;IAEvB,GAAG,CAAC,IAAI,EAAE,IAAI,GAAG,MAAM;IACvB,eAAe,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;QAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;QAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,IAAI;IAM3P,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IACrB,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAC7B,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IAC5C,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM;IAC7B,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAC7B,GAAG,CAAC,GAAG,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM;IACvC,GAAG,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM;IAC5B,KAAK,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,GAAE,SAAS,MAAM,EAAO,EAAE,KAAK,UAAQ,EAAE,OAAO,GAAE,SAAS,MAAM,EAAO,GAAG,MAAM;IAIvJ,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAC9B,OAAO,CAAC,QAAQ,EAAE,mBAAmB,GAAG,MAAM;IAC9C,aAAa,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,EAAE,OAAO,GAAE,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;KAAE,CAAC,EAAE,QAAQ,GAAG,UAAU,GAAG,YAAY,GAAG,SAAS,GAAG,SAAS,CAAC,CAAM,GAAG,MAAM;IAS9O,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAkB3B,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO;IAmBnD,OAAO,CAAC,WAAW;IACnB,OAAO,CAAC,MAAM;CAOd"}

package/dist/src/types/types.js

@@ -0,0 +1,105 @@
+export class TypeArena {
+    #types = [];
+    #interned = new Map();
+    bool = this.add({ kind: 'primitive', name: 'Bool' });
+    int = this.add({ kind: 'primitive', name: 'Int' });
+    float = this.add({ kind: 'primitive', name: 'Float' });
+    bigint = this.add({ kind: 'primitive', name: 'BigInt' });
+    string = this.add({ kind: 'primitive', name: 'String' });
+    unit = this.add({ kind: 'primitive', name: 'Unit' });
+    unknown = this.add({ kind: 'primitive', name: 'Unknown' });
+    never = this.add({ kind: 'primitive', name: 'Never' });
+    invalid = this.add({ kind: 'primitive', name: 'InvalidType' });
+    /** @internal Compatibility alias for checker code; not a user-visible type. */
+    error = this.invalid;
+    add(type) { const id = this.#types.length; this.#types.push(type); return id; }
+    setNamedDetails(id, details) {
+        const type = this.get(id);
+        if (type.kind !== 'named')
+            return;
+        Object.assign(type, details);
+    }
+    get(id) { return this.#types[id] ?? this.#types[this.invalid]; }
+    option(value) { return this.intern(`option:${value}`, { kind: 'option', value }); }
+    result(value, error) { return this.intern(`result:${value}:${error}`, { kind: 'result', value, error }); }
+    future(value) { return this.intern(`future:${value}`, { kind: 'future', value }); }
+    list(element) { return this.intern(`list:${element}`, { kind: 'list', element }); }
+    map(key, value) { return this.intern(`map:${key}:${value}`, { kind: 'map', key, value }); }
+    set(element) { return this.intern(`set:${element}`, { kind: 'set', element }); }
+    tuple(items) { return this.intern(`tuple:${items.join(',')}`, { kind: 'tuple', items }); }
+    function(parameters, result, typeParameters = [], async = false, effects = []) {
+        const normalizedEffects = [...effects].sort();
+        return this.intern(`fn:${parameters.join(',')}=>${result}:${typeParameters.join(',')}:${async ? 1 : 0}:${normalizedEffects.join(',')}`, { kind: 'function', parameters, result, typeParameters, async, effects: normalizedEffects });
+    }
+    variable(name) { return this.add({ kind: 'typeVariable', name }); }
+    foreign(snapshot) { return this.intern(`foreign:${snapshot.ref.providerId}:${snapshot.ref.generation}:${snapshot.ref.id}`, { kind: 'foreign', ref: snapshot.ref, snapshot }); }
+    namedInstance(base, argumentsList, details = {}) {
+        const key = `named:${base.definitionId}<${argumentsList.join(',')}>`;
+        const existing = this.#interned.get(key);
+        if (existing !== undefined)
+            return existing;
+        const id = this.add({ ...base, ...details, arguments: argumentsList });
+        this.#interned.set(key, id);
+        return id;
+    }
+    display(id) {
+        const type = this.get(id);
+        switch (type.kind) {
+            case 'primitive': return type.name === 'InvalidType' ? '<invalid>' : type.name;
+            case 'named': return type.arguments.length === 0 ? type.name : `${type.name}<${type.arguments.map(item => this.display(item)).join(', ')}>`;
+            case 'function': return `fn(${type.parameters.map(item => this.display(item)).join(', ')}) -> ${this.display(type.result)}${type.effects.length === 0 ? '' : ` uses ${type.effects.join(', ')}`}`;
+            case 'list': return `List<${this.display(type.element)}>`;
+            case 'map': return `Map<${this.display(type.key)}, ${this.display(type.value)}>`;
+            case 'set': return `Set<${this.display(type.element)}>`;
+            case 'tuple': return `(${type.items.map(item => this.display(item)).join(', ')})`;
+            case 'option': return `Option<${this.display(type.value)}>`;
+            case 'result': return `Result<${this.display(type.value)}, ${this.display(type.error)}>`;
+            case 'future': return `Future<${this.display(type.value)}>`;
+            case 'typeVariable': return type.name;
+            case 'foreign': return `js ${type.snapshot.display}`;
+        }
+    }
+    equals(left, right) {
+        if (left === right)
+            return true;
+        const a = this.get(left);
+        const b = this.get(right);
+        if (a.kind !== b.kind)
+            return false;
+        if (a.kind === 'primitive' && b.kind === 'primitive')
+            return a.name === b.name;
+        if (a.kind === 'typeVariable' && b.kind === 'typeVariable')
+            return a.name === b.name;
+        if (a.kind === 'named' && b.kind === 'named')
+            return a.definitionId === b.definitionId && this.arrayEquals(a.arguments, b.arguments);
+        if (a.kind === 'list' && b.kind === 'list')
+            return this.equals(a.element, b.element);
+        if (a.kind === 'set' && b.kind === 'set')
+            return this.equals(a.element, b.element);
+        if (a.kind === 'map' && b.kind === 'map')
+            return this.equals(a.key, b.key) && this.equals(a.value, b.value);
+        if (a.kind === 'option' && b.kind === 'option')
+            return this.equals(a.value, b.value);
+        if (a.kind === 'result' && b.kind === 'result')
+            return this.equals(a.value, b.value) && this.equals(a.error, b.error);
+        if (a.kind === 'future' && b.kind === 'future')
+            return this.equals(a.value, b.value);
+        if (a.kind === 'tuple' && b.kind === 'tuple')
+            return this.arrayEquals(a.items, b.items);
+        if (a.kind === 'function' && b.kind === 'function')
+            return this.arrayEquals(a.parameters, b.parameters) && this.equals(a.result, b.result) && a.async === b.async && a.effects.length === b.effects.length && a.effects.every((effect, index) => effect === b.effects[index]);
+        if (a.kind === 'foreign' && b.kind === 'foreign')
+            return a.ref.providerId === b.ref.providerId && a.ref.generation === b.ref.generation && a.ref.id === b.ref.id;
+        return false;
+    }
+    arrayEquals(left, right) { return left.length === right.length && left.every((item, index) => this.equals(item, right[index])); }
+    intern(key, type) {
+        const existing = this.#interned.get(key);
+        if (existing !== undefined)
+            return existing;
+        const id = this.add(type);
+        this.#interned.set(key, id);
+        return id;
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/src/types/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/types/types.ts"],"names":[],"mappings":"AAiBA,MAAM,OAAO,SAAS;IACZ,MAAM,GAAW,EAAE,CAAC;IACpB,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IACtC,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACrD,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;IACnD,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACvD,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzD,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;IACzD,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IACrD,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3D,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACvD,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC;IACxE,+EAA+E;IACtE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC;IAEvB,GAAG,CAAC,IAAU,IAAY,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7F,eAAe,CAAC,EAAU,EAAE,OAAwN;QAC1P,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO;QAClC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAC9B,CAAC;IAEM,GAAG,CAAC,EAAU,IAAU,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,CAAC,KAAa,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACnG,MAAM,CAAC,KAAa,EAAE,KAAa,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IAClI,MAAM,CAAC,KAAa,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,UAAU,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACnG,IAAI,CAAC,OAAe,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,QAAQ,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IACnG,GAAG,CAAC,GAAW,EAAE,KAAa,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,GAAG,IAAI,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACnH,GAAG,CAAC,OAAe,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,OAAO,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;IAChG,KAAK,CAAC,KAAwB,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACrH,QAAQ,CAAC,UAA6B,EAAE,MAAc,EAAE,iBAAoC,EAAE,EAAE,KAAK,GAAG,KAAK,EAAE,UAA6B,EAAE;QACpJ,MAAM,iBAAiB,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;QAC9C,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,UAAU,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,MAAM,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC,CAAC;IACtO,CAAC;IACM,QAAQ,CAAC,IAAY,IAAY,OAAO,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;IACnF,OAAO,CAAC,QAA6B,IAAY,OAAO,IAAI,CAAC,MAAM,CAAC,WAAW,QAAQ,CAAC,GAAG,CAAC,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,GAAG,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;IAC5M,aAAa,CAAC,IAA+C,EAAE,aAAgC,EAAE,UAAkI,EAAE;QAC3O,MAAM,GAAG,GAAG,SAAS,IAAI,CAAC,YAAY,IAAI,aAAa,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QACrE,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,OAAO,EAAE,SAAS,EAAE,aAAa,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5B,OAAO,EAAE,CAAC;IACX,CAAC;IAEM,OAAO,CAAC,EAAU;QACxB,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAC1B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,WAAW,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;YAC/E,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAC5I,KAAK,UAAU,CAAC,CAAC,OAAO,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;YAClM,KAAK,MAAM,CAAC,CAAC,OAAO,QAAQ,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YAC1D,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YACjF,KAAK,KAAK,CAAC,CAAC,OAAO,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC;YACxD,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YAClF,KAAK,QAAQ,CAAC,CAAC,OAAO,UAAU,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAC5D,KAAK,QAAQ,CAAC,CAAC,OAAO,UAAU,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YACzF,KAAK,QAAQ,CAAC,CAAC,OAAO,UAAU,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC;YAC5D,KAAK,cAAc,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC;YACtC,KAAK,SAAS,CAAC,CAAC,OAAO,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtD,CAAC;IACF,CAAC;IAEM,MAAM,CAAC,IAAY,EAAE,KAAa;QACxC,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC;QAChC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAAC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;YAAE,OAAO,KAAK,CAAC;QACpC,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QAC/E,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc;YAAE,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC;QACrF,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,CAAC,CAAC,YAAY,KAAK,CAAC,CAAC,YAAY,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC;QACrI,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACrF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;QACnF,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QAC5G,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACrF,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACtH,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACrF,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC;QACxF,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU,IAAI,CAAC,CAAC,IAAI,KAAK,UAAU;YAAE,OAAO,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC;QAC9Q,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,UAAU,KAAK,CAAC,CAAC,GAAG,CAAC,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;QACjK,OAAO,KAAK,CAAC;IACd,CAAC;IAEO,WAAW,CAAC,IAAuB,EAAE,KAAwB,IAAa,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACjL,MAAM,CAAC,GAAW,EAAE,IAAU;QACrC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC;QAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC1B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;QAC5B,OAAO,EAAE,CAAC;IACX,CAAC;CACD"}

package/package.json

@@ -0,0 +1,47 @@
+{
+	"name": "@virune/compiler",
+	"version": "1.1.0-rc.0",
+	"repository": {
+		"type": "git",
+		"url": "git+https://github.com/yaona807/virune.git",
+		"directory": "packages/compiler"
+	},
+	"homepage": "https://github.com/yaona807/virune#readme",
+	"bugs": {
+		"url": "https://github.com/yaona807/virune/issues"
+	},
+	"type": "module",
+	"engines": {
+		"node": ">=24.0.0"
+	},
+	"exports": {
+		".": "./dist/src/index.js",
+		"./experimental": "./dist/src/experimental-api.js",
+		"./diagnostics.schema.json": "./schema/diagnostics-v1.schema.json"
+	},
+	"files": [
+		"LICENSE",
+		"NOTICE",
+		"dist/src",
+		"schema/diagnostics-v1.schema.json"
+	],
+	"dependencies": {
+		"@jridgewell/gen-mapping": "0.3.13",
+		"@jridgewell/trace-mapping": "0.3.31",
+		"@virune/runtime": "1.1.0-rc.0",
+		"chevrotain": "13.0.0"
+	},
+	"scripts": {
+		"build": "tsc -b",
+		"test": "node --test dist/test/**/*.test.js"
+	},
+	"license": "Apache-2.0",
+	"description": "Virune stable compiler API with an explicitly separated experimental analysis API.",
+	"keywords": [
+		"virune",
+		"compiler",
+		"parser",
+		"type-checker",
+		"javascript"
+	]
+}

package/schema/diagnostics-v1.schema.json

@@ -0,0 +1,75 @@
+{
+	"$schema": "https://json-schema.org/draft/2020-12/schema",
+	"$id": "https://github.com/yaona807/virune/blob/main/packages/compiler/schema/diagnostics-v1.schema.json",
+	"title": "Virune diagnostics document v1",
+	"type": "object",
+	"additionalProperties": false,
+	"required": ["schemaVersion", "diagnostics"],
+	"properties": {
+		"schemaVersion": { "const": 1 },
+		"diagnostics": {
+			"type": "array",
+			"items": { "$ref": "#/$defs/diagnostic" }
+		}
+	},
+	"$defs": {
+		"position": {
+			"type": "object",
+			"additionalProperties": false,
+			"required": ["line", "column"],
+			"properties": {
+				"line": { "type": "integer", "minimum": 1 },
+				"column": { "type": "integer", "minimum": 1 }
+			}
+		},
+		"range": {
+			"type": "object",
+			"additionalProperties": false,
+			"required": ["start", "end"],
+			"properties": {
+				"start": { "$ref": "#/$defs/position" },
+				"end": { "$ref": "#/$defs/position" }
+			}
+		},
+		"related": {
+			"type": "object",
+			"additionalProperties": false,
+			"required": ["message", "file", "range"],
+			"properties": {
+				"message": { "type": "string" },
+				"file": { "type": "string" },
+				"range": { "$ref": "#/$defs/range" }
+			}
+		},
+		"cause": {
+			"type": "object",
+			"additionalProperties": false,
+			"required": ["kind", "message"],
+			"properties": {
+				"kind": { "enum": ["unknown", "internal"] },
+				"message": { "type": "string" },
+				"name": { "type": "string" },
+				"stack": { "type": "string" }
+			}
+		},
+		"diagnostic": {
+			"type": "object",
+			"additionalProperties": false,
+			"required": ["source", "code", "qualifiedCode", "category", "severity", "message", "file", "range", "related", "help", "fixIds", "cause"],
+			"properties": {
+				"source": { "const": "virune" },
+				"code": { "type": "string", "pattern": "^L[0-9]{4}$" },
+				"qualifiedCode": { "type": "string", "pattern": "^virune/L[0-9]{4}$" },
+				"category": { "enum": ["syntax", "binding", "type-system", "control-flow", "module", "entry-point", "internal"] },
+				"severity": { "enum": ["error", "warning", "information", "hint"] },
+				"message": { "type": "string" },
+				"file": { "type": "string" },
+				"range": { "$ref": "#/$defs/range" },
+				"related": { "type": "array", "items": { "$ref": "#/$defs/related" } },
+				"help": { "type": ["string", "null"] },
+				"fixIds": { "type": "array", "items": { "type": "string", "minLength": 1 }, "uniqueItems": true },
+				"cause": { "oneOf": [{ "$ref": "#/$defs/cause" }, { "type": "null" }] }
+			}
+		}
+	}
+}