Src new

.vscode/launch.json

@@ -0,0 +1,21 @@
+{
+    "version": "0.2.0",
+    "configurations": [
+        {
+            "name": "Run _cli.build.ts",
+            "type": "node",
+            "request": "launch",
+            "runtimeExecutable": "bash",
+            "args": [
+                "-lc",
+                "clear; ts-node ${workspaceFolder}/src/next/test/_cli.build.ts ${file}"
+            ],
+            "cwd": "${workspaceFolder}",
+            "console": "integratedTerminal",
+            "internalConsoleOptions": "neverOpen",
+            "env": {
+                "NODE_OPTIONS": "--stack-trace-limit=100000"
+            }
+        }
+    ]
+}

package.json

@@ -119,6 +119,7 @@
     "@types/glob": "^8.1.0",
     "@types/jest": "^29.5.12",
     "@types/node": "^22.5.0",
+    "@types/serialize-javascript": "^5.0.4",
     "@typescript-eslint/eslint-plugin": "^8.21.0",
     "@typescript-eslint/parser": "^8.21.0",
     "allure-commandline": "^2.34.0",
@@ -140,6 +141,7 @@
     "knip": "^5.24.1",
     "prando": "^6.0.1",
     "prettier": "^3.2.5",
+    "serialize-javascript": "^6.0.2",
     "rimraf": "^6.0.1",
     "ts-jest": "^29.0.3",
     "ts-node": "^10.9.1",

spell/cspell-list.txt

@@ -33,6 +33,8 @@ Comptime
 CSBT
 Daniil
 Danil
+dealias
+dealiased
 decompilation
 Decompilation
 decompile
@@ -55,10 +57,12 @@ errno
 Esorat
 Excno
 extracurrency
+Fieldish
 flamegraph
 flamegraphs
 forall
 formedness
+froms
 frontmatter
 funcfiftlib
 funcid
@@ -77,6 +81,7 @@ Hoppity
 idict
 Ikko
 Ilya
+implicits
 infixl
 infixr
 initof
@@ -127,12 +132,14 @@ miscompilation
 misparse
 misparsed
 mktemp
+Monoid
 multiformats
 nanoton
 nanotons
 Nemo
 Neovim
 nextra
+nexts
 nobounce
 nocheck
 noexcept
@@ -151,6 +158,7 @@ pinst
 POSIX
 postpack
 prando
+prevs
 quadtree
 quadtrees
 RANDU
@@ -174,6 +182,7 @@ seti
 shardchains
 shiki
 Shvetc
+Signedness
 skywardboundd
 Stateinit
 statinit
@@ -207,6 +216,7 @@ Topup
 Tradoor
 Trunov
 typechecker
+typedecl
 udict
 uintptr
 uints

src/cli/colors.ts

@@ -4,8 +4,8 @@ export const isColorSupported = () => {
     if (process.platform === "win32") {
         const [major, _, build] = release().split(".").map(Number);
         // Windows 10, Build 10586+
-        return (
-            (major && major > 10) || (major === 10 && build && build >= 10586)
+        return Boolean(
+            (major && major > 10) || (major === 10 && build && build >= 10586),
         );
     }
     if (process.stdout.isTTY && process.env.TERM !== "dumb") {

src/error/logger-util.ts

@@ -92,10 +92,15 @@ const mapBaseLogger = <M1, M2, R>(
     },
 });
 
+/**
+ * `SourceLogger` or top-level `Logger`
+ */
+export interface AnyLogger<M, R> extends Formatter<M>, BaseLogger<M, R> {}
+
 /**
  * Logger that knows about currently compiled file
  */
-export interface SourceLogger<M, R> extends Formatter<M>, BaseLogger<M, R> {
+export interface SourceLogger<M, R> extends AnyLogger<M, R> {
     /**
      * Choose range where an error will be shown
      */
@@ -110,7 +115,7 @@ export interface SourceLogger<M, R> extends Formatter<M>, BaseLogger<M, R> {
 /**
  * Top-level logger
  */
-export interface Logger<M, R> extends Formatter<M>, BaseLogger<M, R> {
+export interface Logger<M, R> extends AnyLogger<M, R> {
     /**
      * Set currently compiled source in logging context
      */

src/imports/path.ts

@@ -1,9 +1,6 @@
 import { throwInternalCompilerError } from "@/error/errors";
 import { repeat } from "@/utils/array";
 
-// Witness tag. Do not use, do not export.
-const pathTag = Symbol("path");
-
 /**
  * Safe relative path
  */
@@ -16,10 +13,6 @@ export type RelativePath = {
      * /-separated strings that go after optional ../
      */
     readonly segments: readonly string[];
-    /**
-     * Proof that path was created by RelativePath constructor
-     */
-    readonly [pathTag]: true;
 };
 
 /**
@@ -33,7 +26,6 @@ const RelativePath = (
         throwInternalCompilerError("Negative number of ../ in path");
     }
     const result: RelativePath = {
-        [pathTag]: true,
         stepsUp,
         segments: Object.freeze(segments),
     };

src/next/ast/allocation.ts

@@ -0,0 +1,121 @@
+import type * as Ast from "@/next/ast";
+// import * as E from "@/next/types/errors";
+
+export type TlbType =
+    | TlbInt
+    | TlbVarInt
+    | TlbBool
+    | TlbAddress
+    | TlbString
+    | TlbUnknown
+    | TlbLiteral
+    | TlbBits
+    | TlbMap
+    | TlbRef
+    | TlbMaybe
+    | TlbFields
+    | TlbUnion;
+
+export type TlbTypeNoRef =
+    | TlbInt
+    | TlbVarInt
+    | TlbBool
+    | TlbAddress
+    | TlbLiteral
+    | TlbBits
+    | TlbMaybeNoRef
+    | TlbFieldsNoRef
+    | TlbUnionNoRef;
+
+export type TlbInt = {
+    readonly kind: "int";
+    readonly sign: Ast.Signedness;
+    readonly width: number;
+};
+
+export type TlbVarInt = {
+    readonly kind: "varint";
+    readonly sign: Ast.Signedness;
+    readonly width: Ast.VarIntWidth;
+};
+
+export type TlbBool = {
+    readonly kind: "bool";
+};
+
+export type TlbAddress = {
+    readonly kind: "address";
+};
+
+export type TlbString = {
+    readonly kind: "string";
+};
+
+export type TlbUnknown = {
+    // aka ^Cell
+    readonly kind: "unknown";
+};
+
+export type TlbLiteral = {
+    readonly kind: "literal";
+    readonly width: number;
+    readonly value: bigint;
+};
+
+export type TlbBits = {
+    readonly kind: "ref";
+    readonly width: number;
+};
+
+export type TlbRef = {
+    readonly kind: "ref";
+    readonly type: TlbType;
+};
+
+export type TlbMap = {
+    readonly kind: "map";
+    readonly key: TlbTypeNoRef;
+    readonly value: TlbType;
+};
+
+export type TlbMaybe = {
+    readonly kind: "maybe";
+    readonly type: TlbType;
+};
+
+export type TlbFields = {
+    readonly kind: "fields";
+    readonly children: readonly TlbType[];
+};
+
+export type TlbUnion = {
+    readonly kind: "union";
+    readonly prefixWidth: number;
+    readonly children: readonly TlbCase[];
+};
+
+export type TlbCase = {
+    readonly prefix: bigint;
+    readonly type: TlbType;
+};
+
+export type TlbMaybeNoRef = {
+    readonly kind: "maybe";
+    readonly type: TlbCaseNoRef;
+};
+
+export type TlbFieldsNoRef = {
+    readonly kind: "fields";
+    readonly children: readonly TlbCaseNoRef[];
+};
+
+export type TlbUnionNoRef = {
+    readonly kind: "union";
+    readonly prefixWidth: number;
+    readonly children: readonly TlbCaseNoRef[];
+};
+
+export type TlbCaseNoRef = {
+    readonly prefix: bigint;
+    readonly type: TlbCaseNoRef;
+};