bonescript-compiler 0.5.2 → 0.5.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +21 -21
- package/dist/algorithm_catalog.js +166 -166
- package/dist/cli.d.ts +1 -2
- package/dist/cli.js +543 -75
- package/dist/cli.js.map +1 -1
- package/dist/emit_capability.d.ts +0 -13
- package/dist/emit_capability.js +128 -292
- package/dist/emit_capability.js.map +1 -1
- package/dist/emit_composition.js +3 -37
- package/dist/emit_composition.js.map +1 -1
- package/dist/emit_deploy.js +162 -162
- package/dist/emit_events.d.ts +0 -1
- package/dist/emit_events.js +275 -342
- package/dist/emit_events.js.map +1 -1
- package/dist/emit_full.js +106 -268
- package/dist/emit_full.js.map +1 -1
- package/dist/emit_maintenance.js +249 -249
- package/dist/emit_runtime.d.ts +11 -17
- package/dist/emit_runtime.js +688 -29
- package/dist/emit_runtime.js.map +1 -1
- package/dist/emit_sourcemap.js +66 -66
- package/dist/emit_tests.js +0 -37
- package/dist/emit_tests.js.map +1 -1
- package/dist/emitter.js +16 -82
- package/dist/emitter.js.map +1 -1
- package/dist/extension_manager.d.ts +2 -2
- package/dist/extension_manager.js +3 -6
- package/dist/extension_manager.js.map +1 -1
- package/dist/ir.d.ts +0 -4
- package/dist/lowering.d.ts +14 -5
- package/dist/lowering.js +417 -66
- package/dist/lowering.js.map +1 -1
- package/dist/module_loader.d.ts +2 -2
- package/dist/module_loader.js +23 -20
- package/dist/module_loader.js.map +1 -1
- package/dist/optimizer.js +1 -1
- package/dist/optimizer.js.map +1 -1
- package/dist/scaffold.d.ts +2 -2
- package/dist/scaffold.js +319 -315
- package/dist/scaffold.js.map +1 -1
- package/dist/source_map.js.map +1 -0
- package/dist/test.js.map +1 -0
- package/dist/test_typechecker.d.ts +5 -0
- package/dist/test_typechecker.js +126 -0
- package/dist/test_typechecker.js.map +1 -0
- package/dist/typechecker.d.ts +0 -5
- package/dist/typechecker.js +13 -68
- package/dist/typechecker.js.map +1 -1
- package/dist/verifier.d.ts +1 -5
- package/dist/verifier.js +35 -140
- package/dist/verifier.js.map +1 -1
- package/package.json +52 -62
- package/src/algorithm_catalog.ts +345 -345
- package/src/ast.d.ts +244 -0
- package/src/ast.ts +334 -334
- package/src/cli.ts +624 -98
- package/src/emit_batch.ts +140 -140
- package/src/emit_capability.ts +436 -617
- package/src/emit_composition.ts +196 -229
- package/src/emit_deploy.ts +190 -190
- package/src/emit_events.ts +307 -377
- package/src/emit_extras.ts +240 -240
- package/src/emit_full.ts +309 -475
- package/src/emit_maintenance.ts +459 -459
- package/src/emit_runtime.ts +730 -17
- package/src/emit_sourcemap.ts +140 -140
- package/src/emit_tests.ts +205 -246
- package/src/emit_websocket.ts +229 -229
- package/src/emitter.ts +578 -642
- package/src/extension_manager.ts +187 -189
- package/src/formatter.ts +297 -297
- package/src/index.ts +88 -88
- package/src/ir.ts +215 -216
- package/src/lexer.d.ts +195 -0
- package/src/lexer.ts +630 -630
- package/src/lowering.ts +556 -168
- package/src/module_loader.ts +114 -112
- package/src/optimizer.ts +196 -196
- package/src/parse_decls.d.ts +13 -0
- package/src/parse_decls.ts +409 -409
- package/src/parse_decls2.d.ts +13 -0
- package/src/parse_decls2.ts +244 -244
- package/src/parse_expr.d.ts +7 -0
- package/src/parse_expr.ts +197 -197
- package/src/parse_types.d.ts +6 -0
- package/src/parse_types.ts +54 -54
- package/src/parser.d.ts +10 -0
- package/src/parser.ts +1 -1
- package/src/parser_base.d.ts +19 -0
- package/src/parser_base.ts +57 -57
- package/src/parser_recovery.ts +153 -153
- package/src/scaffold.ts +375 -371
- package/src/solver.ts +330 -330
- package/src/typechecker.d.ts +52 -0
- package/src/typechecker.ts +591 -657
- package/src/types.d.ts +38 -0
- package/src/types.ts +122 -122
- package/src/verifier.ts +46 -152
- package/README.md +0 -382
- package/dist/commands/check.d.ts +0 -5
- package/dist/commands/check.js +0 -34
- package/dist/commands/check.js.map +0 -1
- package/dist/commands/compile.d.ts +0 -5
- package/dist/commands/compile.js +0 -215
- package/dist/commands/compile.js.map +0 -1
- package/dist/commands/debug.d.ts +0 -5
- package/dist/commands/debug.js +0 -59
- package/dist/commands/debug.js.map +0 -1
- package/dist/commands/diff.d.ts +0 -5
- package/dist/commands/diff.js +0 -125
- package/dist/commands/diff.js.map +0 -1
- package/dist/commands/fmt.d.ts +0 -5
- package/dist/commands/fmt.js +0 -49
- package/dist/commands/fmt.js.map +0 -1
- package/dist/commands/init.d.ts +0 -5
- package/dist/commands/init.js +0 -96
- package/dist/commands/init.js.map +0 -1
- package/dist/commands/ir.d.ts +0 -5
- package/dist/commands/ir.js +0 -27
- package/dist/commands/ir.js.map +0 -1
- package/dist/commands/lex.d.ts +0 -5
- package/dist/commands/lex.js +0 -21
- package/dist/commands/lex.js.map +0 -1
- package/dist/commands/parse.d.ts +0 -5
- package/dist/commands/parse.js +0 -30
- package/dist/commands/parse.js.map +0 -1
- package/dist/commands/test.d.ts +0 -5
- package/dist/commands/test.js +0 -61
- package/dist/commands/test.js.map +0 -1
- package/dist/commands/verify_determinism.d.ts +0 -5
- package/dist/commands/verify_determinism.js +0 -64
- package/dist/commands/verify_determinism.js.map +0 -1
- package/dist/commands/watch.d.ts +0 -5
- package/dist/commands/watch.js +0 -50
- package/dist/commands/watch.js.map +0 -1
- package/dist/emit_auth.d.ts +0 -18
- package/dist/emit_auth.js +0 -507
- package/dist/emit_auth.js.map +0 -1
- package/dist/emit_database.d.ts +0 -7
- package/dist/emit_database.js +0 -74
- package/dist/emit_database.js.map +0 -1
- package/dist/emit_index.d.ts +0 -6
- package/dist/emit_index.js +0 -202
- package/dist/emit_index.js.map +0 -1
- package/dist/emit_models.d.ts +0 -12
- package/dist/emit_models.js +0 -171
- package/dist/emit_models.js.map +0 -1
- package/dist/emit_openapi.d.ts +0 -9
- package/dist/emit_openapi.js +0 -308
- package/dist/emit_openapi.js.map +0 -1
- package/dist/emit_package.d.ts +0 -7
- package/dist/emit_package.js +0 -70
- package/dist/emit_package.js.map +0 -1
- package/dist/emit_router.d.ts +0 -12
- package/dist/emit_router.js +0 -390
- package/dist/emit_router.js.map +0 -1
- package/dist/lowering_channels.d.ts +0 -11
- package/dist/lowering_channels.js +0 -103
- package/dist/lowering_channels.js.map +0 -1
- package/dist/lowering_entities.d.ts +0 -11
- package/dist/lowering_entities.js +0 -232
- package/dist/lowering_entities.js.map +0 -1
- package/dist/lowering_helpers.d.ts +0 -13
- package/dist/lowering_helpers.js +0 -76
- package/dist/lowering_helpers.js.map +0 -1
- package/src/commands/check.ts +0 -33
- package/src/commands/compile.ts +0 -191
- package/src/commands/debug.ts +0 -33
- package/src/commands/diff.ts +0 -108
- package/src/commands/fmt.ts +0 -22
- package/src/commands/init.ts +0 -72
- package/src/commands/ir.ts +0 -23
- package/src/commands/lex.ts +0 -17
- package/src/commands/parse.ts +0 -24
- package/src/commands/test.ts +0 -36
- package/src/commands/verify_determinism.ts +0 -66
- package/src/commands/watch.ts +0 -25
- package/src/emit_auth.ts +0 -513
- package/src/emit_database.ts +0 -75
- package/src/emit_index.ts +0 -210
- package/src/emit_models.ts +0 -176
- package/src/emit_openapi.ts +0 -318
- package/src/emit_package.ts +0 -69
- package/src/emit_router.ts +0 -409
- package/src/lowering_channels.ts +0 -108
- package/src/lowering_entities.ts +0 -258
- package/src/lowering_helpers.ts +0 -75
package/src/commands/diff.ts
DELETED
|
@@ -1,108 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec diff <old.bone> <new.bone>
|
|
3
|
-
* Show SQL schema migration diff between two .bone files.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import * as fs from "fs";
|
|
7
|
-
import * as path from "path";
|
|
8
|
-
import { createHash } from "crypto";
|
|
9
|
-
import { Lexer } from "../lexer";
|
|
10
|
-
import { Parser } from "../parser";
|
|
11
|
-
import { Lowering } from "../lowering";
|
|
12
|
-
import type * as IR from "../ir";
|
|
13
|
-
|
|
14
|
-
const SQL_TYPE_MAP: Record<string, string> = {
|
|
15
|
-
string: "VARCHAR", uint: "BIGINT", int: "BIGINT", float: "DOUBLE PRECISION",
|
|
16
|
-
bool: "BOOLEAN", timestamp: "TIMESTAMPTZ", uuid: "UUID", bytes: "BYTEA", json: "JSONB",
|
|
17
|
-
};
|
|
18
|
-
|
|
19
|
-
function toSnakeCase(s: string): string {
|
|
20
|
-
return s.replace(/([a-z])([A-Z])/g, "$1_$2").toLowerCase();
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
async function compileToIR(filePath: string): Promise<IR.IRSystem[]> {
|
|
24
|
-
const resolved = path.resolve(filePath);
|
|
25
|
-
try {
|
|
26
|
-
await fs.promises.access(resolved);
|
|
27
|
-
} catch {
|
|
28
|
-
console.error(`File not found: ${resolved}`);
|
|
29
|
-
process.exit(1);
|
|
30
|
-
}
|
|
31
|
-
const source = await fs.promises.readFile(resolved, "utf-8");
|
|
32
|
-
const tokens = new Lexer(source).tokenize();
|
|
33
|
-
const ast = new Parser(tokens).parse();
|
|
34
|
-
const hash = createHash("sha256").update(source).digest("hex").slice(0, 16);
|
|
35
|
-
return new Lowering().lower(ast, hash);
|
|
36
|
-
}
|
|
37
|
-
|
|
38
|
-
export async function runDiff(args: string[]): Promise<void> {
|
|
39
|
-
if (args.length < 2) {
|
|
40
|
-
console.error("Usage: bonec diff <old.bone> <new.bone>");
|
|
41
|
-
process.exit(1);
|
|
42
|
-
}
|
|
43
|
-
|
|
44
|
-
const [oldFile, newFile] = args;
|
|
45
|
-
|
|
46
|
-
// Load both files in parallel
|
|
47
|
-
const [oldIR, newIR] = await Promise.all([
|
|
48
|
-
compileToIR(oldFile),
|
|
49
|
-
compileToIR(newFile),
|
|
50
|
-
]);
|
|
51
|
-
|
|
52
|
-
const collectModels = (systems: IR.IRSystem[]) => {
|
|
53
|
-
const models: IR.IRModel[] = [];
|
|
54
|
-
for (const sys of systems)
|
|
55
|
-
for (const mod of sys.modules)
|
|
56
|
-
for (const m of mod.models) models.push(m);
|
|
57
|
-
return models;
|
|
58
|
-
};
|
|
59
|
-
|
|
60
|
-
const oldByName = new Map(collectModels(oldIR).map(m => [m.name, m]));
|
|
61
|
-
const newByName = new Map(collectModels(newIR).map(m => [m.name, m]));
|
|
62
|
-
const statements: string[] = [];
|
|
63
|
-
|
|
64
|
-
for (const [name] of newByName) {
|
|
65
|
-
if (!oldByName.has(name)) {
|
|
66
|
-
statements.push(`-- NEW TABLE: ${name}`);
|
|
67
|
-
statements.push(`-- Run: bonec compile ${newFile} (generates full migration)`);
|
|
68
|
-
}
|
|
69
|
-
}
|
|
70
|
-
|
|
71
|
-
for (const [name] of oldByName) {
|
|
72
|
-
if (!newByName.has(name)) {
|
|
73
|
-
const table = toSnakeCase(name) + "s";
|
|
74
|
-
statements.push(`-- WARNING: Table '${table}' removed from schema`);
|
|
75
|
-
statements.push(`-- Manual: ALTER TABLE ${table} ... (or DROP TABLE ${table})`);
|
|
76
|
-
}
|
|
77
|
-
}
|
|
78
|
-
|
|
79
|
-
for (const [name, newModel] of newByName) {
|
|
80
|
-
const oldModel = oldByName.get(name);
|
|
81
|
-
if (!oldModel) continue;
|
|
82
|
-
const table = toSnakeCase(name) + "s";
|
|
83
|
-
const oldFields = new Map(oldModel.fields.map(f => [f.name, f]));
|
|
84
|
-
const newFields = new Map(newModel.fields.map(f => [f.name, f]));
|
|
85
|
-
|
|
86
|
-
for (const [fname, field] of newFields) {
|
|
87
|
-
if (!oldFields.has(fname)) {
|
|
88
|
-
const sqlType = SQL_TYPE_MAP[field.type] || "JSONB";
|
|
89
|
-
statements.push(`ALTER TABLE ${table} ADD COLUMN IF NOT EXISTS ${fname} ${sqlType};`);
|
|
90
|
-
}
|
|
91
|
-
}
|
|
92
|
-
for (const [fname] of oldFields) {
|
|
93
|
-
if (!newFields.has(fname)) {
|
|
94
|
-
statements.push(`-- WARNING: Column '${table}.${fname}' removed`);
|
|
95
|
-
statements.push(`-- Manual: ALTER TABLE ${table} DROP COLUMN ${fname};`);
|
|
96
|
-
}
|
|
97
|
-
}
|
|
98
|
-
}
|
|
99
|
-
|
|
100
|
-
if (statements.length === 0) {
|
|
101
|
-
console.log("No schema changes detected.");
|
|
102
|
-
} else {
|
|
103
|
-
console.log(`-- BoneScript schema diff: ${path.basename(oldFile)} → ${path.basename(newFile)}`);
|
|
104
|
-
console.log(`-- Generated: ${new Date().toISOString()}`);
|
|
105
|
-
console.log(``);
|
|
106
|
-
console.log(statements.join("\n"));
|
|
107
|
-
}
|
|
108
|
-
}
|
package/src/commands/fmt.ts
DELETED
|
@@ -1,22 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec fmt <file>
|
|
3
|
-
* Format a .bone file in place.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import * as fs from "fs";
|
|
7
|
-
import { Lexer } from "../lexer";
|
|
8
|
-
import { Parser } from "../parser";
|
|
9
|
-
import { Formatter } from "../formatter";
|
|
10
|
-
|
|
11
|
-
export async function runFormat(source: string, resolved: string): Promise<void> {
|
|
12
|
-
try {
|
|
13
|
-
const tokens = new Lexer(source).tokenize();
|
|
14
|
-
const ast = new Parser(tokens).parse();
|
|
15
|
-
const formatted = new Formatter().format(ast);
|
|
16
|
-
await fs.promises.writeFile(resolved, formatted, "utf-8");
|
|
17
|
-
console.log(`v Formatted ${resolved}`);
|
|
18
|
-
} catch (e: any) {
|
|
19
|
-
console.error(`x ${e.message}`);
|
|
20
|
-
process.exit(1);
|
|
21
|
-
}
|
|
22
|
-
}
|
package/src/commands/init.ts
DELETED
|
@@ -1,72 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec init <name> [--domain <domain>] [--out <dir>] [--force]
|
|
3
|
-
* Scaffold a new project from a domain template.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import * as path from "path";
|
|
7
|
-
import * as fs from "fs";
|
|
8
|
-
import { scaffold, ScaffoldDomain } from "../scaffold";
|
|
9
|
-
|
|
10
|
-
const VALID_DOMAINS: ScaffoldDomain[] = [
|
|
11
|
-
"multiplayer_game", "saas_platform", "iot_system",
|
|
12
|
-
"social_network", "marketplace", "realtime_collaboration",
|
|
13
|
-
];
|
|
14
|
-
|
|
15
|
-
export async function runInit(args: string[]): Promise<void> {
|
|
16
|
-
// --list: show available domains
|
|
17
|
-
if (args.includes("--list") || args.includes("-l")) {
|
|
18
|
-
console.log("Available domains:");
|
|
19
|
-
for (const d of VALID_DOMAINS) console.log(` ${d}`);
|
|
20
|
-
return;
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
if (args.length === 0) {
|
|
24
|
-
console.error("Error: bonec init requires a project name.");
|
|
25
|
-
console.error("Example: bonec init my-project --domain saas_platform");
|
|
26
|
-
console.error(" bonec init --list (show available domains)");
|
|
27
|
-
process.exit(1);
|
|
28
|
-
}
|
|
29
|
-
|
|
30
|
-
const name = args[0];
|
|
31
|
-
let domain: ScaffoldDomain = "saas_platform";
|
|
32
|
-
let outDir = path.resolve(name);
|
|
33
|
-
let force = false;
|
|
34
|
-
|
|
35
|
-
for (let i = 1; i < args.length; i++) {
|
|
36
|
-
if (args[i] === "--domain" && args[i + 1]) {
|
|
37
|
-
domain = args[i + 1] as ScaffoldDomain;
|
|
38
|
-
i++;
|
|
39
|
-
} else if (args[i] === "--out" && args[i + 1]) {
|
|
40
|
-
outDir = path.resolve(args[i + 1]);
|
|
41
|
-
i++;
|
|
42
|
-
} else if (args[i] === "--force" || args[i] === "-f") {
|
|
43
|
-
force = true;
|
|
44
|
-
}
|
|
45
|
-
}
|
|
46
|
-
|
|
47
|
-
if (!VALID_DOMAINS.includes(domain)) {
|
|
48
|
-
console.error(`Error: Invalid domain '${domain}'. Valid: ${VALID_DOMAINS.join(", ")}`);
|
|
49
|
-
process.exit(1);
|
|
50
|
-
}
|
|
51
|
-
|
|
52
|
-
// Check if output directory already has files (unless --force)
|
|
53
|
-
if (!force) {
|
|
54
|
-
try {
|
|
55
|
-
const existing = await fs.promises.readdir(outDir);
|
|
56
|
-
if (existing.length > 0) {
|
|
57
|
-
console.error(`Error: Directory '${outDir}' already exists and is not empty.`);
|
|
58
|
-
console.error(`Use --force to overwrite.`);
|
|
59
|
-
process.exit(1);
|
|
60
|
-
}
|
|
61
|
-
} catch {
|
|
62
|
-
// Directory doesn't exist — fine
|
|
63
|
-
}
|
|
64
|
-
}
|
|
65
|
-
|
|
66
|
-
const result = await scaffold({ name, domain, outDir });
|
|
67
|
-
console.log(`✓ Created ${result.created.length} file(s):`);
|
|
68
|
-
for (const f of result.created) console.log(` ${f}`);
|
|
69
|
-
console.log(`\nNext steps:`);
|
|
70
|
-
console.log(` cd ${outDir}`);
|
|
71
|
-
console.log(` bonec compile ${name}.bone`);
|
|
72
|
-
}
|
package/src/commands/ir.ts
DELETED
|
@@ -1,23 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec ir <file>
|
|
3
|
-
* Print the IR as JSON.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import { createHash } from "crypto";
|
|
7
|
-
import { Lexer } from "../lexer";
|
|
8
|
-
import { Parser } from "../parser";
|
|
9
|
-
import { Lowering } from "../lowering";
|
|
10
|
-
|
|
11
|
-
export function runIR(source: string): void {
|
|
12
|
-
try {
|
|
13
|
-
const tokens = new Lexer(source).tokenize();
|
|
14
|
-
const ast = new Parser(tokens).parse();
|
|
15
|
-
const sourceHash = createHash("sha256").update(source).digest("hex").slice(0, 16);
|
|
16
|
-
const irSystems = new Lowering().lower(ast, sourceHash);
|
|
17
|
-
console.log(JSON.stringify(irSystems, null, 2));
|
|
18
|
-
console.log(`\nv Lowered to ${irSystems.length} IR system(s).`);
|
|
19
|
-
} catch (e: any) {
|
|
20
|
-
console.error(`x ${e.message}`);
|
|
21
|
-
process.exit(1);
|
|
22
|
-
}
|
|
23
|
-
}
|
package/src/commands/lex.ts
DELETED
|
@@ -1,17 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec lex <file>
|
|
3
|
-
* Print the token stream as JSON.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import { Lexer } from "../lexer";
|
|
7
|
-
|
|
8
|
-
export function runLex(source: string): void {
|
|
9
|
-
try {
|
|
10
|
-
const tokens = new Lexer(source).tokenize();
|
|
11
|
-
console.log(JSON.stringify(tokens, null, 2));
|
|
12
|
-
console.log(`\nv ${tokens.length} tokens produced.`);
|
|
13
|
-
} catch (e: any) {
|
|
14
|
-
console.error(`x ${e.message}`);
|
|
15
|
-
process.exit(1);
|
|
16
|
-
}
|
|
17
|
-
}
|
package/src/commands/parse.ts
DELETED
|
@@ -1,24 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec parse <file>
|
|
3
|
-
* Print the AST as JSON.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import { Lexer } from "../lexer";
|
|
7
|
-
import { RecoveringParser } from "../parser_recovery";
|
|
8
|
-
|
|
9
|
-
export function runParse(source: string): void {
|
|
10
|
-
try {
|
|
11
|
-
const tokens = new Lexer(source).tokenize();
|
|
12
|
-
const result = new RecoveringParser(tokens).parse();
|
|
13
|
-
if (result.errors.length > 0) {
|
|
14
|
-
console.error(`x ${result.errors.length} parse error(s):`);
|
|
15
|
-
for (const e of result.errors) console.error(` ${e.message}`);
|
|
16
|
-
if (!result.ast) process.exit(1);
|
|
17
|
-
}
|
|
18
|
-
console.log(JSON.stringify(result.ast, null, 2));
|
|
19
|
-
console.log(`\nv Parsed ${result.ast?.systems.length || 0} system(s).`);
|
|
20
|
-
} catch (e: any) {
|
|
21
|
-
console.error(`x ${e.message}`);
|
|
22
|
-
process.exit(1);
|
|
23
|
-
}
|
|
24
|
-
}
|
package/src/commands/test.ts
DELETED
|
@@ -1,36 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec test [output-dir]
|
|
3
|
-
* Run the generated regression test suite against a live server.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import * as fs from "fs";
|
|
7
|
-
import * as path from "path";
|
|
8
|
-
import { execSync } from "child_process";
|
|
9
|
-
|
|
10
|
-
export async function runTest(args: string[]): Promise<void> {
|
|
11
|
-
const outputDir = args[0] ? path.resolve(args[0]) : path.resolve("output");
|
|
12
|
-
const testFile = path.join(outputDir, "src", "tests.ts");
|
|
13
|
-
|
|
14
|
-
try {
|
|
15
|
-
await fs.promises.access(testFile);
|
|
16
|
-
} catch {
|
|
17
|
-
console.error(`No test file found at ${testFile}`);
|
|
18
|
-
console.error("Run 'bonec compile <file>' first to generate tests.");
|
|
19
|
-
process.exit(1);
|
|
20
|
-
}
|
|
21
|
-
|
|
22
|
-
console.log(`Running BoneScript regression tests...`);
|
|
23
|
-
console.log(`Test file: ${testFile}`);
|
|
24
|
-
console.log(`Target: ${process.env.TEST_BASE_URL || "http://localhost:3000"}`);
|
|
25
|
-
console.log(``);
|
|
26
|
-
|
|
27
|
-
try {
|
|
28
|
-
execSync(`npx ts-node ${testFile}`, {
|
|
29
|
-
cwd: outputDir,
|
|
30
|
-
stdio: "inherit",
|
|
31
|
-
env: { ...process.env },
|
|
32
|
-
});
|
|
33
|
-
} catch {
|
|
34
|
-
process.exit(1);
|
|
35
|
-
}
|
|
36
|
-
}
|
|
@@ -1,66 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec verify-determinism <file>
|
|
3
|
-
* Compile twice and assert bitwise-identical output.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import { createHash } from "crypto";
|
|
7
|
-
import { Lexer } from "../lexer";
|
|
8
|
-
import { Parser } from "../parser";
|
|
9
|
-
import { Lowering } from "../lowering";
|
|
10
|
-
import { FullEmitter } from "../emit_full";
|
|
11
|
-
|
|
12
|
-
export function runVerifyDeterminism(source: string): void {
|
|
13
|
-
console.log("Verifying compilation determinism...");
|
|
14
|
-
|
|
15
|
-
const compile = (): string => {
|
|
16
|
-
const tokens = new Lexer(source).tokenize();
|
|
17
|
-
const ast = new Parser(tokens).parse();
|
|
18
|
-
const hash = createHash("sha256").update(source).digest("hex").slice(0, 16);
|
|
19
|
-
const ir = new Lowering().lower(ast, hash);
|
|
20
|
-
const emitter = new FullEmitter();
|
|
21
|
-
const files: { path: string; content: string }[] = [];
|
|
22
|
-
for (const sys of ir) {
|
|
23
|
-
for (const f of emitter.emit(sys)) {
|
|
24
|
-
files.push({ path: f.path, content: f.content });
|
|
25
|
-
}
|
|
26
|
-
}
|
|
27
|
-
files.sort((a, b) => a.path.localeCompare(b.path));
|
|
28
|
-
return JSON.stringify(files);
|
|
29
|
-
};
|
|
30
|
-
|
|
31
|
-
const run1 = compile();
|
|
32
|
-
const run2 = compile();
|
|
33
|
-
|
|
34
|
-
if (run1 === run2) {
|
|
35
|
-
const hash = createHash("sha256").update(run1).digest("hex").slice(0, 16);
|
|
36
|
-
console.log(`v Deterministic. Both runs produced identical output.`);
|
|
37
|
-
console.log(` Output hash: ${hash}`);
|
|
38
|
-
return;
|
|
39
|
-
}
|
|
40
|
-
|
|
41
|
-
const files1: { path: string; content: string }[] = JSON.parse(run1);
|
|
42
|
-
const files2: { path: string; content: string }[] = JSON.parse(run2);
|
|
43
|
-
|
|
44
|
-
for (let i = 0; i < Math.max(files1.length, files2.length); i++) {
|
|
45
|
-
const f1 = files1[i];
|
|
46
|
-
const f2 = files2[i];
|
|
47
|
-
if (!f1 || !f2 || f1.path !== f2.path || f1.content !== f2.content) {
|
|
48
|
-
console.error(`x NON-DETERMINISTIC: First divergence at file ${i}`);
|
|
49
|
-
console.error(` Run 1: ${f1?.path || "(missing)"}`);
|
|
50
|
-
console.error(` Run 2: ${f2?.path || "(missing)"}`);
|
|
51
|
-
if (f1 && f2 && f1.path === f2.path) {
|
|
52
|
-
const lines1 = f1.content.split("\n");
|
|
53
|
-
const lines2 = f2.content.split("\n");
|
|
54
|
-
for (let j = 0; j < Math.max(lines1.length, lines2.length); j++) {
|
|
55
|
-
if (lines1[j] !== lines2[j]) {
|
|
56
|
-
console.error(` First differing line ${j + 1}:`);
|
|
57
|
-
console.error(` Run 1: ${lines1[j]}`);
|
|
58
|
-
console.error(` Run 2: ${lines2[j]}`);
|
|
59
|
-
break;
|
|
60
|
-
}
|
|
61
|
-
}
|
|
62
|
-
}
|
|
63
|
-
process.exit(1);
|
|
64
|
-
}
|
|
65
|
-
}
|
|
66
|
-
}
|
package/src/commands/watch.ts
DELETED
|
@@ -1,25 +0,0 @@
|
|
|
1
|
-
/**
|
|
2
|
-
* bonec watch <file>
|
|
3
|
-
* Recompile on every save.
|
|
4
|
-
*/
|
|
5
|
-
|
|
6
|
-
import * as fs from "fs";
|
|
7
|
-
import { runCompile } from "./compile";
|
|
8
|
-
|
|
9
|
-
export function runWatch(_source: string, resolved: string): void {
|
|
10
|
-
console.log(`Watching ${resolved}...`);
|
|
11
|
-
|
|
12
|
-
const compile = () => {
|
|
13
|
-
fs.promises.readFile(resolved, "utf-8")
|
|
14
|
-
.then(fresh => {
|
|
15
|
-
console.log(`\n[${new Date().toLocaleTimeString()}] Compiling...`);
|
|
16
|
-
return runCompile(fresh, resolved);
|
|
17
|
-
})
|
|
18
|
-
.catch((e: any) => console.error(`x ${e.message}`));
|
|
19
|
-
};
|
|
20
|
-
|
|
21
|
-
compile();
|
|
22
|
-
fs.watchFile(resolved, { interval: 500 }, (curr, prev) => {
|
|
23
|
-
if (curr.mtimeMs !== prev.mtimeMs) compile();
|
|
24
|
-
});
|
|
25
|
-
}
|