@harmoniclabs/pebble 0.1.0-dev1 → 0.1.0-dev2

package/dist/common.js

@@ -1,224 +0,0 @@
-/**
- * @fileoverview Common constants used by various parts of the compiler.
- * @license Apache-2.0
- */
-/** Indicates traits of a {@link AstNode} or {@link Element}. */
-export var CommonFlags;
-(function (CommonFlags) {
-    /** No flags set. */
-    CommonFlags[CommonFlags["None"] = 0] = "None";
-    /** Has a `const` modifier. */
-    CommonFlags[CommonFlags["Const"] = 2] = "Const";
-    /** Has a `let` modifier. */
-    CommonFlags[CommonFlags["Let"] = 4] = "Let";
-    /** (func parameter) has a `var` modifier. */
-    CommonFlags[CommonFlags["Var"] = 8] = "Var";
-    /** Has a `static` method modifier. */
-    CommonFlags[CommonFlags["Static"] = 128] = "Static";
-    /** Has `tagged` struct modifier */
-    // taggedModifier = 1 << 8,
-    /** Has a `data` struct modifier. */
-    CommonFlags[CommonFlags["dataModifier"] = 512] = "dataModifier";
-    /** Has a `runtime` struct modifier. */
-    CommonFlags[CommonFlags["runtimeModifier"] = 1024] = "runtimeModifier";
-})(CommonFlags || (CommonFlags = {}));
-Object.freeze(CommonFlags);
-let hasGlobalThis;
-try {
-    hasGlobalThis = typeof globalThis !== "undefined";
-}
-catch {
-    hasGlobalThis = false;
-}
-export const WIN = hasGlobalThis && globalThis.process && globalThis.process.platform === "win32";
-export const EOL = WIN ? "\r\n" : "\n";
-export const SEP = WIN ? "\\" : "/";
-/** Path delimiter inserted between file system levels. */
-export const PATH_DELIMITER = "/";
-/** Substitution used to indicate the parent directory. */
-export const PARENT_SUBST = "..";
-/** Function name prefix used for getters. */
-export const GETTER_PREFIX = "get:";
-/** Function name prefix used for setters. */
-export const SETTER_PREFIX = "set:";
-/** Delimiter used between class names and instance members. */
-export const INSTANCE_DELIMITER = "#";
-/** Delimiter used between class and namespace names and static members. */
-export const STATIC_DELIMITER = ".";
-/** Delimiter used between a function and its inner elements. */
-export const INNER_DELIMITER = "~";
-/** Substitution used to indicate a library directory. */
-export const LIBRARY_SUBST = "~lib";
-/** Library directory prefix. */
-export const LIBRARY_PREFIX = LIBRARY_SUBST + PATH_DELIMITER;
-/** Path index suffix. */
-export const INDEX_SUFFIX = PATH_DELIMITER + "index";
-/** Stub function delimiter. */
-export const STUB_DELIMITER = "@";
-/** */
-export const extension = ".pebble";
-/** Common names. */
-export var CommonNames;
-(function (CommonNames) {
-    // special
-    CommonNames.Empty = "";
-    // types
-    CommonNames.i8 = "i8";
-    CommonNames.i16 = "i16";
-    // export const number = "number";
-    CommonNames.i64 = "i64";
-    CommonNames.isize = "isize";
-    CommonNames.u8 = "u8";
-    CommonNames.u16 = "u16";
-    // export const number = "number";
-    CommonNames.u64 = "u64";
-    CommonNames.usize = "usize";
-    // export const boolean = "boolean";
-    CommonNames.f32 = "f32";
-    // export const number = "number";
-    CommonNames.v128 = "v128";
-    CommonNames.ref_func = "ref_func";
-    CommonNames.ref_extern = "ref_extern";
-    CommonNames.ref_any = "ref_any";
-    CommonNames.ref_eq = "ref_eq";
-    CommonNames.ref_struct = "ref_struct";
-    CommonNames.ref_array = "ref_array";
-    CommonNames.ref_i31 = "ref_i31";
-    CommonNames.ref_string = "ref_string";
-    CommonNames.ref_stringview_wtf8 = "ref_stringview_wtf8";
-    CommonNames.ref_stringview_wtf16 = "ref_stringview_wtf16";
-    CommonNames.ref_stringview_iter = "ref_stringview_iter";
-    CommonNames.i8x16 = "i8x16";
-    CommonNames.u8x16 = "u8x16";
-    CommonNames.i16x8 = "i16x8";
-    CommonNames.u16x8 = "u16x8";
-    CommonNames.numberx4 = "numberx4";
-    CommonNames.u32x4 = "u32x4";
-    CommonNames.i64x2 = "i64x2";
-    CommonNames.u64x2 = "u64x2";
-    CommonNames.f32x4 = "f32x4";
-    CommonNames.numberx2 = "numberx2";
-    CommonNames.void_ = "void";
-    // export const number = "number";
-    CommonNames.boolean = "boolean";
-    CommonNames.string = "string";
-    CommonNames.native = "native";
-    CommonNames.indexof = "indexof";
-    CommonNames.valueof = "valueof";
-    CommonNames.returnof = "returnof";
-    CommonNames.nonnull = "nonnull";
-    // aliases
-    CommonNames.null_ = "undefined";
-    CommonNames.true_ = "true";
-    CommonNames.false_ = "false";
-    // objects
-    CommonNames.this_ = "this";
-    CommonNames.super_ = "super";
-    CommonNames.constructor = "constructor";
-    // constants
-    CommonNames.ASC_TARGET = "ASC_TARGET";
-    CommonNames.ASC_RUNTIME = "ASC_RUNTIME";
-    CommonNames.ASC_NO_ASSERT = "ASC_NO_ASSERT";
-    CommonNames.ASC_MEMORY_BASE = "ASC_MEMORY_BASE";
-    CommonNames.ASC_TABLE_BASE = "ASC_TABLE_BASE";
-    CommonNames.ASC_OPTIMIZE_LEVEL = "ASC_OPTIMIZE_LEVEL";
-    CommonNames.ASC_SHRINK_LEVEL = "ASC_SHRINK_LEVEL";
-    CommonNames.ASC_LOW_MEMORY_LIMIT = "ASC_LOW_MEMORY_LIMIT";
-    CommonNames.ASC_EXPORT_RUNTIME = "ASC_EXPORT_RUNTIME";
-    CommonNames.ASC_FEATURE_SIGN_EXTENSION = "ASC_FEATURE_SIGN_EXTENSION";
-    CommonNames.ASC_FEATURE_MUTABLE_GLOBALS = "ASC_FEATURE_MUTABLE_GLOBALS";
-    CommonNames.ASC_FEATURE_NONTRAPPING_F2I = "ASC_FEATURE_NONTRAPPING_F2I";
-    CommonNames.ASC_FEATURE_BULK_MEMORY = "ASC_FEATURE_BULK_MEMORY";
-    CommonNames.ASC_FEATURE_SIMD = "ASC_FEATURE_SIMD";
-    CommonNames.ASC_FEATURE_THREADS = "ASC_FEATURE_THREADS";
-    CommonNames.ASC_FEATURE_EXCEPTION_HANDLING = "ASC_FEATURE_EXCEPTION_HANDLING";
-    CommonNames.ASC_FEATURE_TAIL_CALLS = "ASC_FEATURE_TAIL_CALLS";
-    CommonNames.ASC_FEATURE_REFERENCE_TYPES = "ASC_FEATURE_REFERENCE_TYPES";
-    CommonNames.ASC_FEATURE_MULTI_VALUE = "ASC_FEATURE_MULTI_VALUE";
-    CommonNames.ASC_FEATURE_GC = "ASC_FEATURE_GC";
-    CommonNames.ASC_FEATURE_MEMORY64 = "ASC_FEATURE_MEMORY64";
-    CommonNames.ASC_FEATURE_RELAXED_SIMD = "ASC_FEATURE_RELAXED_SIMD";
-    CommonNames.ASC_FEATURE_EXTENDED_CONST = "ASC_FEATURE_EXTENDED_CONST";
-    CommonNames.ASC_FEATURE_STRINGREF = "ASC_FEATURE_STRINGREF";
-    CommonNames.ASC_VERSION_MAJOR = "ASC_VERSION_MAJOR";
-    CommonNames.ASC_VERSION_MINOR = "ASC_VERSION_MINOR";
-    CommonNames.ASC_VERSION_PATCH = "ASC_VERSION_PATCH";
-    // classes
-    CommonNames.I8 = "I8";
-    CommonNames.I16 = "I16";
-    // export const number = "number";
-    CommonNames.I64 = "I64";
-    CommonNames.Isize = "Isize";
-    CommonNames.U8 = "U8";
-    CommonNames.U16 = "U16";
-    CommonNames.U32 = "U32";
-    CommonNames.U64 = "U64";
-    CommonNames.Usize = "Usize";
-    CommonNames.Bool = "Bool";
-    CommonNames.F32 = "F32";
-    CommonNames.number = "number";
-    CommonNames.V128 = "V128";
-    CommonNames.RefFunc = "RefFunc";
-    CommonNames.RefExtern = "RefExtern";
-    CommonNames.RefAny = "RefAny";
-    CommonNames.RefEq = "RefEq";
-    CommonNames.RefStruct = "RefStruct";
-    CommonNames.RefArray = "RefArray";
-    CommonNames.RefI31 = "RefI31";
-    CommonNames.RefString = "RefString";
-    CommonNames.String = "String";
-    CommonNames.RegExp = "RegExp";
-    CommonNames.Object = "Object";
-    CommonNames.Array = "Array";
-    CommonNames.StaticArray = "StaticArray";
-    CommonNames.Set = "Set";
-    CommonNames.Map = "Map";
-    CommonNames.Function = "Function";
-    CommonNames.ArrayBufferView = "ArrayBufferView";
-    CommonNames.ArrayBuffer = "ArrayBuffer";
-    CommonNames.Math = "Math";
-    CommonNames.Mathf = "Mathf";
-    CommonNames.NativeMath = "NativeMath";
-    CommonNames.NativeMathf = "NativeMathf";
-    CommonNames.Int8Array = "Int8Array";
-    CommonNames.Int16Array = "Int16Array";
-    CommonNames.Int32Array = "Int32Array";
-    CommonNames.Int64Array = "Int64Array";
-    CommonNames.Uint8Array = "Uint8Array";
-    CommonNames.Uint8ClampedArray = "Uint8ClampedArray";
-    CommonNames.Uint16Array = "Uint16Array";
-    CommonNames.Uint32Array = "Uint32Array";
-    CommonNames.Uint64Array = "Uint64Array";
-    CommonNames.Float32Array = "Float32Array";
-    CommonNames.Float64Array = "Float64Array";
-    CommonNames.TemplateStringsArray = "TemplateStringsArray";
-    CommonNames.Error = "Error";
-    // runtime
-    CommonNames.abort = "abort";
-    CommonNames.trace = "trace";
-    CommonNames.seed = "seed";
-    CommonNames.pow = "pow";
-    CommonNames.ipow32 = "ipow32";
-    CommonNames.ipow64 = "ipow64";
-    CommonNames.mod = "mod";
-    CommonNames.alloc = "__alloc";
-    CommonNames.realloc = "__realloc";
-    CommonNames.free = "__free";
-    CommonNames.new_ = "__new";
-    CommonNames.renew = "__renew";
-    CommonNames.link = "__link";
-    CommonNames.collect = "__collect";
-    CommonNames.visit = "__visit";
-    CommonNames.newBuffer = "__newBuffer";
-    CommonNames.newArray = "__newArray";
-    CommonNames.BLOCK = "~lib/rt/common/BLOCK";
-    CommonNames.OBJECT = "~lib/rt/common/OBJECT";
-    // memory & table
-    CommonNames.DefaultMemory = "0";
-    CommonNames.DefaultTable = "0";
-})(CommonNames || (CommonNames = {}));
-// shared
-// export { Feature, featureToString } from "../std/assembly/shared/feature";
-// export { Target } from "../std/assembly/shared/target";
-// export { Runtime } from "../std/assembly/shared/runtime";
-// export { Typeinfo, TypeinfoFlags } from "../std/assembly/shared/typeinfo";

package/dist/compiler/AstCompiler/AstCompilationCtx.d.ts

@@ -1,35 +0,0 @@
-import { DiagnosticEmitter } from "../../diagnostics/DiagnosticEmitter.js";
-import { DiagnosticMessage } from "../../diagnostics/DiagnosticMessage.js";
-import { TypedProgram } from "../tir/program/TypedProgram.js";
-import { TirType } from "../tir/types/TirType.js";
-import { AstScope, ScopeInfos } from "./scope/AstScope.js";
-export interface AstCompilationCtxFuncInfo {
-    /** present where the function definition is inside
-     * an other function definiton (closure)
-     *
-     * in which case, only constants from the parent funciton can be used
-    **/
-    parentFunctionCtx: AstCompilationCtxFuncInfo | undefined;
-    returnType: TirType;
-}
-export interface IAstCompilationCtx {
-    scope: AstScope;
-    /** present if the statement is in a function body */
-    functionCtx: AstCompilationCtxFuncInfo | undefined;
-    /** to check if `continue` and `break` are valid in this context */
-    isLoop: boolean;
-}
-export declare class AstCompilationCtx extends DiagnosticEmitter implements IAstCompilationCtx {
-    readonly program: TypedProgram;
-    readonly scope: AstScope;
-    readonly functionCtx: AstCompilationCtxFuncInfo | undefined;
-    readonly isLoop: boolean;
-    diagnostics: DiagnosticMessage[];
-    constructor(program: TypedProgram, scope: AstScope, functionCtx: AstCompilationCtxFuncInfo | undefined, isLoop: boolean, diagnostics: DiagnosticMessage[]);
-    newChildScope(childScopeInfos: ScopeInfos, isLoop: boolean): AstCompilationCtx;
-    newFunctionChildScope(returnType: TirType, isMethod: boolean): AstCompilationCtx;
-    newBranchChildScope(): AstCompilationCtx;
-    newLoopChildScope(): AstCompilationCtx;
-    resolveValue(identifier: string): void;
-    static fromScope(program: TypedProgram, scope: AstScope): AstCompilationCtx;
-}

package/dist/compiler/AstCompiler/AstCompilationCtx.js

@@ -1,43 +0,0 @@
-import { DiagnosticEmitter } from "../../diagnostics/DiagnosticEmitter.js";
-export class AstCompilationCtx extends DiagnosticEmitter {
-    program;
-    scope;
-    functionCtx;
-    isLoop;
-    diagnostics;
-    constructor(program, scope, functionCtx, isLoop, diagnostics) {
-        super(diagnostics);
-        this.program = program;
-        this.scope = scope;
-        this.functionCtx = functionCtx;
-        this.isLoop = isLoop;
-        this.diagnostics = diagnostics;
-    }
-    newChildScope(childScopeInfos, isLoop) {
-        return new AstCompilationCtx(this.program, this.scope.newChildScope(childScopeInfos), this.functionCtx, isLoop, this.diagnostics);
-    }
-    newFunctionChildScope(returnType, isMethod) {
-        return new AstCompilationCtx(this.program, this.scope.newChildScope({
-            ...this.scope.infos,
-            isFunctionDeclScope: true,
-            isMethodScope: isMethod
-        }), {
-            parentFunctionCtx: this.functionCtx,
-            returnType
-        }, false, // isLoop
-        this.diagnostics);
-    }
-    newBranchChildScope() {
-        // same as this, just new block
-        return this.newChildScope({ ...this.scope.infos }, this.isLoop);
-    }
-    newLoopChildScope() {
-        return this.newChildScope({ ...this.scope.infos }, true);
-    }
-    resolveValue(identifier) {
-        const thing = this.scope.variables.get(identifier);
-    }
-    static fromScope(program, scope) {
-        return new AstCompilationCtx(program, scope, undefined, false, program.diagnostics);
-    }
-}

package/dist/compiler/AstCompiler/AstCompiler.d.ts

@@ -1,73 +0,0 @@
-import { Source } from "../../ast/Source/Source.js";
-import { DiagnosticEmitter } from "../../diagnostics/DiagnosticEmitter.js";
-import { DiagnosticMessage } from "../../diagnostics/DiagnosticMessage.js";
-import { CompilerOptions } from "../../IR/toUPLC/CompilerOptions.js";
-import { CompilerIoApi } from "../io/CompilerIoApi.js";
-import { AstFuncName, AstScope, TirFuncName } from "./scope/AstScope.js";
-import { TypedProgram } from "../tir/program/TypedProgram.js";
-import { ResolveStackNode } from "./utils/deps/ResolveStackNode.js";
-import { TirType } from "../tir/types/TirType.js";
-export interface AstTypeDefCompilationResult {
-    sop: TirType | undefined;
-    data: TirType | undefined;
-    methodsNames: Map<AstFuncName, TirFuncName>;
-}
-/**
- * compiles Pebble AST to a Typed IR program (TypedProgram).
- *
- * AST -> TypedProgram (astCompiler.program)
- *
- * The AST is simply the result of tokenization and parsing.
- *
- * Therefore the AST is only syntactically correct, but not necessarily semantically correct.
- *
- * During the compilation from AST to TIR,
- * missing types are inferred and the resulting TIR is checked for semantic correctness.
- *
- * In short, here is where type checking happens.
- */
-export declare class AstCompiler extends DiagnosticEmitter {
-    readonly cfg: CompilerOptions;
-    readonly io: CompilerIoApi;
-    /**
-     * The standard library scope.
-     *
-     * (ScriptContext, built-in functions, etc.)
-    **/
-    get preludeScope(): AstScope;
-    readonly program: TypedProgram;
-    readonly parsedAstSources: Map<string, Source>;
-    get rootPath(): string;
-    constructor(cfg: CompilerOptions, io?: CompilerIoApi, diagnostics?: DiagnosticMessage[]);
-    /**
-     * compiles the entry file specified in the config
-     *
-     * the result is store in `this.program`
-     */
-    compile(): Promise<TypedProgram>;
-    compileFile(path: string, isMain?: boolean): Promise<Source | undefined>;
-    private readonly _srcDonelogUids;
-    /**
-     * translates the source AST statements
-     * to TIR statements; and saves the result in `this.program`
-     */
-    private _compileParsedSource;
-    private _collectAllTopLevelSignatures;
-    private _collectInterfaceImplSigs;
-    private _collectTopLevelFuncDeclSig;
-    private _collectInterfaceDeclarations;
-    private _collectTypeDeclarations;
-    private _compileStructDecl;
-    private _compileTypeAliasDecl;
-    private _consumeImportsAddSymsInScope;
-    private _readFile;
-    /** MUST NOT be used as a "seen" log */
-    private readonly _sourceCache;
-    getAbsoulteProjPathSource(absoluteProjPath: string): Promise<Source | undefined>;
-    /**
-     * @returns `true` if there were no errors. `false` otherwise.
-     */
-    compileAllDeps(_resolveStackNode: ResolveStackNode, isMain?: boolean): Promise<boolean>;
-    private importPathsFromStmts;
-    private _reportCircularDependency;
-}