@starpak/lang 0.0.0-stage → 0.1.2

package/LICENSE

@@ -0,0 +1,22 @@
+MIT License
+
+Copyright (c) 2024-present Spak Team
+Copyright (c) 2019-present Shigma
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/lib/ast.d.ts

@@ -0,0 +1,334 @@
+/**
+ * Spak Lang - AST definitions
+ *
+ * Every node is a discriminated union member with a `kind` field and a
+ * 1-based `loc` position pointing at the first token of the node.
+ */
+export interface Position {
+    line: number;
+    column: number;
+}
+export interface NodeBase {
+    loc: Position;
+}
+export type TypeAnn = NamedType | ArrayType | DictType | RecordType | UnionType | FnType | OptionalType;
+export interface NamedType extends NodeBase {
+    kind: 'named';
+    name: string;
+}
+export interface ArrayType extends NodeBase {
+    kind: 'array';
+    element: TypeAnn;
+}
+/** `{ string: number }` */
+export interface DictType extends NodeBase {
+    kind: 'dict';
+    key: TypeAnn;
+    value: TypeAnn;
+}
+/** `{ x: number, y: number }` */
+export interface RecordType extends NodeBase {
+    kind: 'record';
+    fields: TypeField[];
+}
+export interface TypeField {
+    name: string;
+    type: TypeAnn;
+}
+export interface UnionType extends NodeBase {
+    kind: 'union';
+    types: TypeAnn[];
+}
+export interface FnType extends NodeBase {
+    kind: 'fn';
+    params: TypeAnn[];
+    returns: TypeAnn;
+}
+export interface OptionalType extends NodeBase {
+    kind: 'optional';
+    type: TypeAnn;
+    /** Alias of `type`, kept for consumers that expect the `inner` spelling. */
+    inner?: TypeAnn;
+}
+export interface Decorator extends NodeBase {
+    kind: 'Decorator';
+    name: string;
+    args: Expr[];
+}
+export interface Param {
+    name: string;
+    type?: TypeAnn;
+    default?: Expr;
+    rest?: boolean;
+}
+export interface VarName {
+    name: string;
+    type?: TypeAnn;
+}
+export interface ElifBranch {
+    cond: Expr;
+    body: Block;
+}
+export interface MatchArm extends NodeBase {
+    patterns: Expr[];
+    guard?: Expr;
+    body: Block;
+}
+export interface ImportClause {
+    name: string;
+    alias?: string;
+}
+export interface TableField {
+    key?: Expr;
+    value: Expr;
+}
+/** Entry of a table destructuring pattern: `{ x }`, `{ a = alias }`, `{ a = 1 }`. */
+export interface TablePatternEntry {
+    /** Key read from the source table. */
+    key: string;
+    /** Variable the value is bound to when renamed (`{ a = first }`), else `key`. */
+    target?: string;
+    /** Default value used when the key is absent. */
+    default?: Expr;
+}
+/** Destructuring pattern, only valid as an assignment target. */
+export type Pattern = TablePattern | ArrayPattern;
+export interface TablePattern extends NodeBase {
+    kind: 'TablePattern';
+    entries: TablePatternEntry[];
+}
+export interface ArrayPattern extends NodeBase {
+    kind: 'ArrayPattern';
+    elements: string[];
+}
+export type Statement = VarDecl | Assign | FnDecl | ClassDecl | IfStmt | UnlessStmt | WhileStmt | RepeatStmt | ForNumeric | ForIn | ReturnStmt | BreakStmt | ContinueStmt | MatchStmt | TryStmt | ImportDecl | ExportDecl | ExportDefault | TypeAliasDecl | ThrowStmt | SpawnStmt | ExprStmt;
+export interface Program extends NodeBase {
+    kind: 'Program';
+    body: Statement[];
+}
+export interface Block extends NodeBase {
+    kind: 'Block';
+    body: Statement[];
+}
+export interface VarDecl extends NodeBase {
+    kind: 'VarDecl';
+    names: VarName[];
+    values: Expr[];
+    scope: 'local' | 'global' | 'const';
+    export?: boolean;
+    /** Doc comment (`---`) directly above the declaration. */
+    doc?: string;
+    /** Member decorators, only used inside a class body. */
+    decorators?: Decorator[];
+}
+export interface Assign extends NodeBase {
+    kind: 'Assign';
+    targets: Array<Expr | Pattern>;
+    values: Expr[];
+}
+export interface FnDecl extends NodeBase {
+    kind: 'FnDecl';
+    name: string;
+    /** Receiver of `fn Point:len()`, i.e. `Point`. */
+    receiver?: string;
+    params: Param[];
+    returnType?: TypeAnn;
+    body?: Block;
+    exprBody?: Expr;
+    isMethod: boolean;
+    decorators: Decorator[];
+    async?: boolean;
+    /** Doc comment (`---`) directly above the declaration. */
+    doc?: string;
+}
+export interface ClassDecl extends NodeBase {
+    kind: 'ClassDecl';
+    name: string;
+    superClass?: string;
+    members: Array<FnDecl | VarDecl>;
+    decorators: Decorator[];
+    /** Doc comment (`---`) directly above the declaration. */
+    doc?: string;
+}
+export interface IfStmt extends NodeBase {
+    kind: 'IfStmt';
+    cond: Expr;
+    then: Block;
+    elifs: ElifBranch[];
+    else?: Block;
+}
+export interface UnlessStmt extends NodeBase {
+    kind: 'UnlessStmt';
+    cond: Expr;
+    body: Block;
+}
+export interface WhileStmt extends NodeBase {
+    kind: 'WhileStmt';
+    cond: Expr;
+    body: Block;
+}
+export interface RepeatStmt extends NodeBase {
+    kind: 'RepeatStmt';
+    body: Block;
+    cond: Expr;
+}
+export interface ForNumeric extends NodeBase {
+    kind: 'ForNumeric';
+    varName: string;
+    from: Expr;
+    to: Expr;
+    step?: Expr;
+    inclusive: boolean;
+    body: Block;
+}
+export interface ForIn extends NodeBase {
+    kind: 'ForIn';
+    vars: string[];
+    iter: Expr;
+    body: Block;
+}
+export interface ReturnStmt extends NodeBase {
+    kind: 'ReturnStmt';
+    values: Expr[];
+}
+export interface BreakStmt extends NodeBase {
+    kind: 'BreakStmt';
+}
+export interface ContinueStmt extends NodeBase {
+    kind: 'ContinueStmt';
+}
+export interface MatchStmt extends NodeBase {
+    kind: 'MatchStmt';
+    subject: Expr;
+    arms: MatchArm[];
+    elseBody?: Block;
+}
+export interface TryStmt extends NodeBase {
+    kind: 'TryStmt';
+    body: Block;
+    catchVar?: string;
+    catchType?: TypeAnn;
+    catchBody?: Block;
+    finallyBody?: Block;
+}
+export interface ImportDecl extends NodeBase {
+    kind: 'ImportDecl';
+    clauses: ImportClause[];
+    source: string;
+    /** Doc comment (`---`) directly above the declaration. */
+    doc?: string;
+}
+export interface ExportDecl extends NodeBase {
+    kind: 'ExportDecl';
+    declaration: Statement;
+    /** Doc comment (`---`) directly above the declaration. */
+    doc?: string;
+}
+export interface ExportDefault extends NodeBase {
+    kind: 'ExportDefault';
+    expr: Expr;
+}
+export interface TypeAliasDecl extends NodeBase {
+    kind: 'TypeAliasDecl';
+    name: string;
+    type: TypeAnn;
+    /** Doc comment (`---`) directly above the declaration. */
+    doc?: string;
+}
+export interface ThrowStmt extends NodeBase {
+    kind: 'ThrowStmt';
+    value: Expr;
+}
+export interface SpawnStmt extends NodeBase {
+    kind: 'SpawnStmt';
+    value: Expr;
+}
+export interface ExprStmt extends NodeBase {
+    kind: 'ExprStmt';
+    expr: Expr;
+}
+export type Expr = NumberLit | StringLit | BoolLit | NilLit | Ident | SelfExpr | Member | Index | Call | Binary | Unary | Table | FunctionExpr | Range | AwaitExpr | Spread;
+export interface NumberLit extends NodeBase {
+    kind: 'NumberLit';
+    value: number;
+}
+export interface StringLit extends NodeBase {
+    kind: 'StringLit';
+    value: string;
+    multiline?: boolean;
+    fstring?: boolean;
+    /** Interpolated segments of an f-string; plain strings and parsed expressions. */
+    parts?: Array<string | Expr>;
+}
+export interface BoolLit extends NodeBase {
+    kind: 'BoolLit';
+    value: boolean;
+}
+export interface NilLit extends NodeBase {
+    kind: 'NilLit';
+}
+export interface Ident extends NodeBase {
+    kind: 'Ident';
+    name: string;
+}
+export interface SelfExpr extends NodeBase {
+    kind: 'SelfExpr';
+}
+export interface Member extends NodeBase {
+    kind: 'Member';
+    object: Expr;
+    property: string;
+    optional?: boolean;
+}
+export interface Index extends NodeBase {
+    kind: 'Index';
+    object: Expr;
+    index: Expr;
+    isRange?: boolean;
+}
+export interface Call extends NodeBase {
+    kind: 'Call';
+    callee: Expr;
+    args: Expr[];
+    isMethod?: boolean;
+}
+export interface Binary extends NodeBase {
+    kind: 'Binary';
+    op: string;
+    left: Expr;
+    right: Expr;
+}
+export interface Unary extends NodeBase {
+    kind: 'Unary';
+    op: string;
+    argument: Expr;
+}
+export interface Table extends NodeBase {
+    kind: 'Table';
+    fields: TableField[];
+}
+export interface FunctionExpr extends NodeBase {
+    kind: 'FunctionExpr';
+    params: Param[];
+    returnType?: TypeAnn;
+    body?: Block;
+    exprBody?: Expr;
+    async?: boolean;
+}
+export interface Range extends NodeBase {
+    kind: 'Range';
+    from: Expr;
+    to: Expr;
+    inclusive: boolean;
+}
+export interface AwaitExpr extends NodeBase {
+    kind: 'AwaitExpr';
+    argument: Expr;
+}
+/** `f(a, ...rest, ...)`; `argument` is absent for a bare spread. */
+export interface Spread extends NodeBase {
+    kind: 'Spread';
+    argument?: Expr;
+}
+export type Node = Program | Statement | Expr | Decorator | Pattern;
+//# sourceMappingURL=ast.d.ts.map

package/lib/ast.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,WAAW,QAAQ;IACvB,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,QAAQ;IACvB,GAAG,EAAE,QAAQ,CAAA;CACd;AAMD,MAAM,MAAM,OAAO,GACf,SAAS,GACT,SAAS,GACT,QAAQ,GACR,UAAU,GACV,SAAS,GACT,MAAM,GACN,YAAY,CAAA;AAEhB,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,OAAO,CAAA;IACb,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,2BAA2B;AAC3B,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,MAAM,CAAA;IACZ,GAAG,EAAE,OAAO,CAAA;IACZ,KAAK,EAAE,OAAO,CAAA;CACf;AAED,iCAAiC;AACjC,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,QAAQ,CAAA;IACd,MAAM,EAAE,SAAS,EAAE,CAAA;CACpB;AAED,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,OAAO,CAAA;CACd;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,OAAO,CAAA;IACb,KAAK,EAAE,OAAO,EAAE,CAAA;CACjB;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,IAAI,CAAA;IACV,MAAM,EAAE,OAAO,EAAE,CAAA;IACjB,OAAO,EAAE,OAAO,CAAA;CACjB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,OAAO,CAAA;IACb,4EAA4E;IAC5E,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAMD,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,IAAI,EAAE,CAAA;CACb;AAED,MAAM,WAAW,KAAK;IACpB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,OAAO,CAAA;IACd,OAAO,CAAC,EAAE,IAAI,CAAA;IACd,IAAI,CAAC,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,OAAO;IACtB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,CAAC,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,IAAI,CAAA;IACV,IAAI,EAAE,KAAK,CAAA;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,QAAQ,EAAE,IAAI,EAAE,CAAA;IAChB,KAAK,CAAC,EAAE,IAAI,CAAA;IACZ,IAAI,EAAE,KAAK,CAAA;CACZ;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,CAAC,EAAE,MAAM,CAAA;CACf;AAED,MAAM,WAAW,UAAU;IACzB,GAAG,CAAC,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,IAAI,CAAA;CACZ;AAED,qFAAqF;AACrF,MAAM,WAAW,iBAAiB;IAChC,sCAAsC;IACtC,GAAG,EAAE,MAAM,CAAA;IACX,iFAAiF;IACjF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,iDAAiD;IACjD,OAAO,CAAC,EAAE,IAAI,CAAA;CACf;AAED,iEAAiE;AACjE,MAAM,MAAM,OAAO,GAAG,YAAY,GAAG,YAAY,CAAA;AAEjD,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,OAAO,EAAE,iBAAiB,EAAE,CAAA;CAC7B;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,QAAQ,EAAE,MAAM,EAAE,CAAA;CACnB;AAMD,MAAM,MAAM,SAAS,GACjB,OAAO,GACP,MAAM,GACN,MAAM,GACN,SAAS,GACT,MAAM,GACN,UAAU,GACV,SAAS,GACT,UAAU,GACV,UAAU,GACV,KAAK,GACL,UAAU,GACV,SAAS,GACT,YAAY,GACZ,SAAS,GACT,OAAO,GACP,UAAU,GACV,UAAU,GACV,aAAa,GACb,aAAa,GACb,SAAS,GACT,SAAS,GACT,QAAQ,CAAA;AAEZ,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,SAAS,EAAE,CAAA;CAClB;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,SAAS,EAAE,CAAA;CAClB;AAED,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,OAAO,EAAE,CAAA;IAChB,MAAM,EAAE,IAAI,EAAE,CAAA;IACd,KAAK,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAA;IACnC,MAAM,CAAC,EAAE,OAAO,CAAA;IAChB,0DAA0D;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAA;IACZ,wDAAwD;IACxD,UAAU,CAAC,EAAE,SAAS,EAAE,CAAA;CACzB;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;IACd,OAAO,EAAE,KAAK,CAAC,IAAI,GAAG,OAAO,CAAC,CAAA;IAC9B,MAAM,EAAE,IAAI,EAAE,CAAA;CACf;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,MAAM,CAAA;IACZ,kDAAkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,IAAI,CAAA;IACf,QAAQ,EAAE,OAAO,CAAA;IACjB,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB,KAAK,CAAC,EAAE,OAAO,CAAA;IACf,0DAA0D;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,MAAM,CAAA;IACZ,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,OAAO,EAAE,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,CAAA;IAChC,UAAU,EAAE,SAAS,EAAE,CAAA;IACvB,0DAA0D;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,IAAI,EAAE,KAAK,CAAA;IACX,KAAK,EAAE,UAAU,EAAE,CAAA;IACnB,IAAI,CAAC,EAAE,KAAK,CAAA;CACb;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,IAAI,CAAA;IACV,IAAI,EAAE,KAAK,CAAA;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,IAAI,CAAA;IACV,IAAI,EAAE,KAAK,CAAA;CACZ;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,IAAI,EAAE,KAAK,CAAA;IACX,IAAI,EAAE,IAAI,CAAA;CACX;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,IAAI,CAAA;IACV,EAAE,EAAE,IAAI,CAAA;IACR,IAAI,CAAC,EAAE,IAAI,CAAA;IACX,SAAS,EAAE,OAAO,CAAA;IAClB,IAAI,EAAE,KAAK,CAAA;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,EAAE,CAAA;IACd,IAAI,EAAE,IAAI,CAAA;IACV,IAAI,EAAE,KAAK,CAAA;CACZ;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,MAAM,EAAE,IAAI,EAAE,CAAA;CACf;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;CAClB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;CACrB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,OAAO,EAAE,IAAI,CAAA;IACb,IAAI,EAAE,QAAQ,EAAE,CAAA;IAChB,QAAQ,CAAC,EAAE,KAAK,CAAA;CACjB;AAED,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,IAAI,EAAE,KAAK,CAAA;IACX,QAAQ,CAAC,EAAE,MAAM,CAAA;IACjB,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,SAAS,CAAC,EAAE,KAAK,CAAA;IACjB,WAAW,CAAC,EAAE,KAAK,CAAA;CACpB;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,OAAO,EAAE,YAAY,EAAE,CAAA;IACvB,MAAM,EAAE,MAAM,CAAA;IACd,0DAA0D;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,UAAW,SAAQ,QAAQ;IAC1C,IAAI,EAAE,YAAY,CAAA;IAClB,WAAW,EAAE,SAAS,CAAA;IACtB,0DAA0D;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,IAAI,CAAA;CACX;AAED,MAAM,WAAW,aAAc,SAAQ,QAAQ;IAC7C,IAAI,EAAE,eAAe,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,OAAO,CAAA;IACb,0DAA0D;IAC1D,GAAG,CAAC,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,IAAI,CAAA;CACZ;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,IAAI,CAAA;CACZ;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,UAAU,CAAA;IAChB,IAAI,EAAE,IAAI,CAAA;CACX;AAMD,MAAM,MAAM,IAAI,GACZ,SAAS,GACT,SAAS,GACT,OAAO,GACP,MAAM,GACN,KAAK,GACL,QAAQ,GACR,MAAM,GACN,KAAK,GACL,IAAI,GACJ,MAAM,GACN,KAAK,GACL,KAAK,GACL,YAAY,GACZ,KAAK,GACL,SAAS,GACT,MAAM,CAAA;AAEV,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,MAAM,CAAA;CACd;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,KAAK,EAAE,MAAM,CAAA;IACb,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,OAAO,CAAC,EAAE,OAAO,CAAA;IACjB,kFAAkF;IAClF,KAAK,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC,CAAA;CAC7B;AAED,MAAM,WAAW,OAAQ,SAAQ,QAAQ;IACvC,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,OAAO,CAAA;CACf;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;CACf;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,MAAM,CAAA;CACb;AAED,MAAM,WAAW,QAAS,SAAQ,QAAQ;IACxC,IAAI,EAAE,UAAU,CAAA;CACjB;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;IACd,MAAM,EAAE,IAAI,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;IAChB,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,MAAM,EAAE,IAAI,CAAA;IACZ,KAAK,EAAE,IAAI,CAAA;IACX,OAAO,CAAC,EAAE,OAAO,CAAA;CAClB;AAED,MAAM,WAAW,IAAK,SAAQ,QAAQ;IACpC,IAAI,EAAE,MAAM,CAAA;IACZ,MAAM,EAAE,IAAI,CAAA;IACZ,IAAI,EAAE,IAAI,EAAE,CAAA;IACZ,QAAQ,CAAC,EAAE,OAAO,CAAA;CACnB;AAED,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;IACd,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,IAAI,CAAA;IACV,KAAK,EAAE,IAAI,CAAA;CACZ;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,EAAE,EAAE,MAAM,CAAA;IACV,QAAQ,EAAE,IAAI,CAAA;CACf;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,MAAM,EAAE,UAAU,EAAE,CAAA;CACrB;AAED,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,IAAI,EAAE,cAAc,CAAA;IACpB,MAAM,EAAE,KAAK,EAAE,CAAA;IACf,UAAU,CAAC,EAAE,OAAO,CAAA;IACpB,IAAI,CAAC,EAAE,KAAK,CAAA;IACZ,QAAQ,CAAC,EAAE,IAAI,CAAA;IACf,KAAK,CAAC,EAAE,OAAO,CAAA;CAChB;AAED,MAAM,WAAW,KAAM,SAAQ,QAAQ;IACrC,IAAI,EAAE,OAAO,CAAA;IACb,IAAI,EAAE,IAAI,CAAA;IACV,EAAE,EAAE,IAAI,CAAA;IACR,SAAS,EAAE,OAAO,CAAA;CACnB;AAED,MAAM,WAAW,SAAU,SAAQ,QAAQ;IACzC,IAAI,EAAE,WAAW,CAAA;IACjB,QAAQ,EAAE,IAAI,CAAA;CACf;AAED,oEAAoE;AACpE,MAAM,WAAW,MAAO,SAAQ,QAAQ;IACtC,IAAI,EAAE,QAAQ,CAAA;IACd,QAAQ,CAAC,EAAE,IAAI,CAAA;CAChB;AAED,MAAM,MAAM,IAAI,GAAG,OAAO,GAAG,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,OAAO,CAAA"}

package/lib/ast.js

@@ -0,0 +1,9 @@
+"use strict";
+/**
+ * Spak Lang - AST definitions
+ *
+ * Every node is a discriminated union member with a `kind` field and a
+ * 1-based `loc` position pointing at the first token of the node.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+//# sourceMappingURL=ast.js.map

package/lib/ast.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ast.js","sourceRoot":"","sources":["../src/ast.ts"],"names":[],"mappings":";AAAA;;;;;GAKG"}

package/lib/checker.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Spak Lang - Static checker (M2)
+ *
+ * Walks the AST and reports diagnostics from `diagnostics.ts`.
+ * Types are erased after checking; nothing here affects code generation.
+ */
+import type { Program } from './ast';
+import { CODES, type Diagnostic } from './diagnostics';
+export interface CheckOptions {
+    /** Report implicit `any` as an error instead of a warning. */
+    strictAny?: boolean;
+    /** Emit W001 for unused locals. Default true. */
+    reportUnused?: boolean;
+}
+export declare function check(program: Program, options?: CheckOptions): Diagnostic[];
+export { CODES };
+//# sourceMappingURL=checker.d.ts.map

package/lib/checker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checker.d.ts","sourceRoot":"","sources":["../src/checker.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,KAAK,EAQV,OAAO,EAMR,MAAM,OAAO,CAAA;AACd,OAAO,EAAE,KAAK,EAAkB,KAAK,UAAU,EAAE,MAAM,eAAe,CAAA;AAOtE,MAAM,WAAW,YAAY;IAC3B,8DAA8D;IAC9D,SAAS,CAAC,EAAE,OAAO,CAAA;IACnB,iDAAiD;IACjD,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB;AAgCD,wBAAgB,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,GAAE,YAAiB,GAAG,UAAU,EAAE,CAsahF;AAiED,OAAO,EAAE,KAAK,EAAE,CAAA"}