redscript-mc 1.2.0 → 1.2.2

package/CHANGELOG.md

@@ -8,18 +8,23 @@ All notable changes to RedScript will be documented in this file.
 - `is` type narrowing for entity checks (`if (e is Player)`)
 - `impl` blocks for struct methods
 - Static method calls (`Type::method()`)
+- Runtime f-strings for output functions
 - Timer OOP API in stdlib
 - `setTimeout(delay, callback)` builtin
 - `setInterval(delay, callback)` builtin
 - `clearInterval(id)` builtin
 - `@on(Event)` static event system
 - PlayerDeath, PlayerJoin, BlockBreak, EntityKill, ItemUse
+- Dead code elimination optimizer pass
 - Automatic namespace prefixing for scoreboard objectives
 - Comprehensive MC tag constants (313 tags)
 
 ### Changed
 - Stdlib timer functions now use OOP API
 
+### Documentation
+- Updated README and docs site for the v1.2 language, stdlib, and builtins changes
+
 ## [1.1.0] - 2026-03-12
 
 ### Language Features

package/README.md

@@ -1,13 +1,15 @@
 <div align="center">
 
-<img src="https://img.shields.io/badge/RedScript-1.0-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
+<img src="./logo.png" alt="RedScript Logo" width="64" />
+
+<img src="https://img.shields.io/badge/RedScript-1.2-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
 
 **A typed scripting language that compiles to Minecraft datapacks.**
 
 Write clean game logic. RedScript handles the scoreboard spaghetti.
 
 [![CI](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml)
-[![Tests](https://img.shields.io/badge/tests-510%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
+[![Tests](https://img.shields.io/badge/tests-573%2B%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
 [![npm](https://img.shields.io/npm/v/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![npm downloads](https://img.shields.io/npm/dm/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![VSCode](https://img.shields.io/badge/VSCode-Extension-007ACC?logo=visualstudiocode)](https://marketplace.visualstudio.com/items?itemName=bkmashiro.redscript-vscode)
@@ -70,6 +72,19 @@ One file. Compiles to a ready-to-use datapack in seconds.
 
 ---
 
+### What's New in v1.2
+
+- `impl` blocks and methods for object-style APIs on structs
+- `is` type narrowing for safer entity checks
+- Static events with `@on(Event)`
+- Runtime f-strings for `say`, `title`, `actionbar`, and related output
+- Timer OOP API with `Timer::new(...)` and instance methods
+- `setTimeout(...)` and `setInterval(...)` scheduling helpers
+- Dead code elimination in the optimizer
+- 313 Minecraft tag constants in the standard library
+
+---
+
 ### Quick Start
 
 #### Option 1: Online IDE (No Install)
@@ -83,19 +98,32 @@ One file. Compiles to a ready-to-use datapack in seconds.
 
 #### Option 3: CLI
 
+```mcrs
+struct Timer { _id: int; duration: int; }
+
+impl Timer {
+    fn new(duration: int): Timer {
+        return Timer { _id: 0, duration: duration };
+    }
+    fn done(self): bool { return true; }
+}
+
+@on(PlayerJoin)
+fn welcome(player: Player) {
+    say(f"Welcome {player}!");
+}
+
+@tick fn game_loop() {
+    let timer = Timer::new(100);
+    setTimeout(200, () => { say("Delayed!"); });
+}
+```
+
 ```bash
 npm install -g redscript-mc
 redscript compile game.mcrs -o ./my-datapack
 ```
 
-```
-✓ Compiled pvp_game.mcrs
-  Namespace : pvp_game
-  Functions : 7
-  Commands  : 34  →  28  (optimizer: −18%)
-  Output    : ./my-datapack/
-```
-
 #### Deploy
 
 Drop the output folder into your world's `datapacks/` directory and run `/reload`. Done.
@@ -261,6 +289,21 @@ import "stdlib/mobs.mcrs"       // ZOMBIE, SKELETON, CREEPER, ... (60+ constants
 
 ---
 
+### Changelog Highlights
+
+#### v1.2.0
+
+- Added `impl` blocks, methods, and static constructors
+- Added `is` type narrowing for entity-safe control flow
+- Added `@on(Event)` static events and callback scheduling builtins
+- Added runtime f-strings for output functions
+- Expanded stdlib with Timer OOP APIs and 313 MC tag constants
+- Improved optimization with dead code elimination
+
+See [CHANGELOG.md](./CHANGELOG.md) for the full release notes.
+
+---
+
 <div align="center">
 
 MIT License · Copyright © 2026 [bkmashiro](https://github.com/bkmashiro)

package/README.zh.md

@@ -1,13 +1,15 @@
 <div align="center">
 
-<img src="https://img.shields.io/badge/RedScript-1.0-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
+<img src="./logo.png" alt="RedScript Logo" width="64" />
+
+<img src="https://img.shields.io/badge/RedScript-1.2-red?style=for-the-badge&logo=minecraft&logoColor=white" alt="RedScript" />
 
 **一个编译到 Minecraft Datapack 的类型化脚本语言。**
 
 写干净的游戏逻辑，把记分板的面条代码交给 RedScript 处理。
 
 [![CI](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml/badge.svg?branch=main)](https://github.com/bkmashiro/redscript/actions/workflows/ci.yml)
-[![Tests](https://img.shields.io/badge/tests-510%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
+[![Tests](https://img.shields.io/badge/tests-573%2B%20passing-brightgreen)](https://github.com/bkmashiro/redscript)
 [![npm](https://img.shields.io/npm/v/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![npm downloads](https://img.shields.io/npm/dm/redscript-mc?color=cb3837)](https://www.npmjs.com/package/redscript-mc)
 [![VSCode](https://img.shields.io/badge/VSCode-插件-007ACC?logo=visualstudiocode)](https://marketplace.visualstudio.com/items?itemName=bkmashiro.redscript-vscode)
@@ -70,6 +72,19 @@ fn on_kill() {
 
 ---
 
+### v1.2 新增内容
+
+- `impl` 块与方法，支持围绕结构体构建面向对象风格 API
+- `is` 类型收窄，实体判断更安全
+- 使用 `@on(Event)` 的静态事件系统
+- 面向运行时输出的 f-string
+- `Timer::new(...)` 与实例方法组成的 Timer OOP API
+- `setTimeout(...)` 与 `setInterval(...)` 调度辅助函数
+- 优化器中的死代码消除
+- 标准库新增 313 个 Minecraft 标签常量
+
+---
+
 ### 快速开始
 
 #### 方式 1：在线 IDE（无需安装）
@@ -83,19 +98,32 @@ fn on_kill() {
 
 #### 方式 3：命令行
 
+```mcrs
+struct Timer { _id: int; duration: int; }
+
+impl Timer {
+    fn new(duration: int): Timer {
+        return Timer { _id: 0, duration: duration };
+    }
+    fn done(self): bool { return true; }
+}
+
+@on(PlayerJoin)
+fn welcome(player: Player) {
+    say(f"Welcome {player}!");
+}
+
+@tick fn game_loop() {
+    let timer = Timer::new(100);
+    setTimeout(200, () => { say("Delayed!"); });
+}
+```
+
 ```bash
 npm install -g redscript-mc
 redscript compile game.mcrs -o ./my-datapack
 ```
 
-```
-✓ 已编译 pvp_game.mcrs
-  命名空间 : pvp_game
-  函数数量  : 7
-  命令数量  : 34  →  28  (优化器节省了 18%)
-  输出目录  : ./my-datapack/
-```
-
 #### 部署
 
 把输出文件夹丢进存档的 `datapacks/` 目录，游戏内跑 `/reload`，完成。
@@ -261,6 +289,21 @@ import "stdlib/mobs.mcrs"       // ZOMBIE, SKELETON, CREEPER ... (60+ 实体常
 
 ---
 
+### 更新日志亮点
+
+#### v1.2.0
+
+- 新增 `impl` 块、实例方法与静态构造函数
+- 新增 `is` 类型收窄，提升实体相关控制流的类型安全
+- 新增 `@on(Event)` 静态事件与回调调度内置函数
+- 新增运行时输出用 f-string
+- 标准库补充 Timer OOP API 与 313 个 MC 标签常量
+- 优化器支持死代码消除
+
+完整发布说明见 [CHANGELOG.md](./CHANGELOG.md)。
+
+---
+
 <div align="center">
 
 MIT License · Copyright © 2026 [bkmashiro](https://github.com/bkmashiro)

package/dist/__tests__/dce.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/__tests__/dce.test.js

@@ -0,0 +1,137 @@
+"use strict";
+var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    var desc = Object.getOwnPropertyDescriptor(m, k);
+    if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
+      desc = { enumerable: true, get: function() { return m[k]; } };
+    }
+    Object.defineProperty(o, k2, desc);
+}) : (function(o, m, k, k2) {
+    if (k2 === undefined) k2 = k;
+    o[k2] = m[k];
+}));
+var __setModuleDefault = (this && this.__setModuleDefault) || (Object.create ? (function(o, v) {
+    Object.defineProperty(o, "default", { enumerable: true, value: v });
+}) : function(o, v) {
+    o["default"] = v;
+});
+var __importStar = (this && this.__importStar) || (function () {
+    var ownKeys = function(o) {
+        ownKeys = Object.getOwnPropertyNames || function (o) {
+            var ar = [];
+            for (var k in o) if (Object.prototype.hasOwnProperty.call(o, k)) ar[ar.length] = k;
+            return ar;
+        };
+        return ownKeys(o);
+    };
+    return function (mod) {
+        if (mod && mod.__esModule) return mod;
+        var result = {};
+        if (mod != null) for (var k = ownKeys(mod), i = 0; i < k.length; i++) if (k[i] !== "default") __createBinding(result, mod, k[i]);
+        __setModuleDefault(result, mod);
+        return result;
+    };
+})();
+Object.defineProperty(exports, "__esModule", { value: true });
+const fs = __importStar(require("fs"));
+const os = __importStar(require("os"));
+const path = __importStar(require("path"));
+const child_process_1 = require("child_process");
+const index_1 = require("../index");
+function getFileContent(files, suffix) {
+    const file = files.find(candidate => candidate.path.endsWith(suffix));
+    if (!file) {
+        throw new Error(`Missing file: ${suffix}`);
+    }
+    return file.content;
+}
+describe('AST dead code elimination', () => {
+    it('removes unused functions reachable from entry points', () => {
+        const source = `
+fn unused() { say("never called"); }
+fn used() { say("called"); }
+@tick fn main() { used(); }
+`;
+        const result = (0, index_1.compile)(source, { namespace: 'test' });
+        expect(result.ast.declarations.map(fn => fn.name)).toEqual(['used', 'main']);
+        expect(result.ir.functions.some(fn => fn.name === 'unused')).toBe(false);
+    });
+    it('removes unused local variables from the AST body', () => {
+        const source = `
+fn helper() {
+  let unused: int = 10;
+  let used: int = 20;
+  say_int(used);
+}
+@tick fn main() { helper(); }
+`;
+        const result = (0, index_1.compile)(source, { namespace: 'test' });
+        const helper = result.ast.declarations.find(fn => fn.name === 'helper');
+        expect(helper?.body.filter(stmt => stmt.kind === 'let')).toHaveLength(1);
+        expect(helper?.body.some(stmt => stmt.kind === 'let' && stmt.name === 'unused')).toBe(false);
+    });
+    it('removes unused constants', () => {
+        const source = `
+const UNUSED: int = 10;
+const USED: int = 20;
+
+@tick fn main() {
+  say_int(USED);
+}
+`;
+        const result = (0, index_1.compile)(source, { namespace: 'test' });
+        expect(result.ast.consts.map(constDecl => constDecl.name)).toEqual(['USED']);
+    });
+    it('eliminates dead branches with constant conditions', () => {
+        const source = `
+@tick fn main() {
+  if (false) {
+    say("dead code");
+  } else {
+    say("live code");
+  }
+}
+`;
+        const result = (0, index_1.compile)(source, { namespace: 'test' });
+        const output = getFileContent(result.files, 'data/test/function/main.mcfunction');
+        expect(output).not.toContain('dead code');
+        expect(output).toContain('live code');
+    });
+    it('keeps decorated entry points', () => {
+        const source = `
+@tick fn ticker() { }
+@load fn loader() { }
+@on(PlayerDeath) fn handler(player: Player) { say("event"); }
+`;
+        const result = (0, index_1.compile)(source, { namespace: 'test' });
+        const names = result.ast.declarations.map(fn => fn.name);
+        expect(names).toContain('ticker');
+        expect(names).toContain('loader');
+        expect(names).toContain('handler');
+    });
+    it('can disable AST DCE through the compile API', () => {
+        const source = `
+fn unused() { say("never called"); }
+@tick fn main() { say("live"); }
+`;
+        const result = (0, index_1.compile)(source, { namespace: 'test', dce: false });
+        expect(result.ast.declarations.map(fn => fn.name)).toEqual(['unused', 'main']);
+        expect(result.ir.functions.some(fn => fn.name === 'unused')).toBe(true);
+    });
+});
+describe('CLI --no-dce', () => {
+    it('preserves unused functions when requested', () => {
+        const tempDir = fs.mkdtempSync(path.join(os.tmpdir(), 'redscript-dce-cli-'));
+        const inputPath = path.join(tempDir, 'main.mcrs');
+        const outputDir = path.join(tempDir, 'out');
+        fs.writeFileSync(inputPath, [
+            'fn unused() { say("keep me"); }',
+            '@tick fn main() { say("live"); }',
+            '',
+        ].join('\n'));
+        (0, child_process_1.execFileSync)(process.execPath, ['-r', 'ts-node/register', 'src/cli.ts', 'compile', inputPath, '-o', outputDir, '--namespace', 'test', '--no-dce'], { cwd: path.resolve(process.cwd()) });
+        const unusedPath = path.join(outputDir, 'data', 'test', 'function', 'unused.mcfunction');
+        expect(fs.existsSync(unusedPath)).toBe(true);
+    });
+});
+//# sourceMappingURL=dce.test.js.map

package/dist/__tests__/lexer.test.js

@@ -78,6 +78,13 @@ describe('Lexer', () => {
                 ['eof', ''],
             ]);
         });
+        it('tokenizes f-strings as a dedicated token', () => {
+            const tokens = tokenize('f"Hello {name}!"');
+            expect(tokens.map(t => [t.kind, t.value])).toEqual([
+                ['f_string', 'Hello {name}!'],
+                ['eof', ''],
+            ]);
+        });
         it('tokenizes byte literals (b suffix)', () => {
             const tokens = tokenize('20b 0B 127b');
             expect(tokens.map(t => [t.kind, t.value])).toEqual([
@@ -152,8 +159,18 @@ describe('Lexer', () => {
     });
     describe('operators', () => {
         it('tokenizes arithmetic operators', () => {
-            const tokens = tokenize('+ - * / % ~ ^');
-            expect(kinds(tokens)).toEqual(['+', '-', '*', '/', '%', '~', '^', 'eof']);
+            const tokens = tokenize('+ - * / %');
+            expect(kinds(tokens)).toEqual(['+', '-', '*', '/', '%', 'eof']);
+        });
+        it('tokenizes relative and local coordinates', () => {
+            const tokens = tokenize('~ ~5 ~-3 ^ ^10 ^-2');
+            expect(kinds(tokens)).toEqual(['rel_coord', 'rel_coord', 'rel_coord', 'local_coord', 'local_coord', 'local_coord', 'eof']);
+            expect(tokens[0].value).toBe('~');
+            expect(tokens[1].value).toBe('~5');
+            expect(tokens[2].value).toBe('~-3');
+            expect(tokens[3].value).toBe('^');
+            expect(tokens[4].value).toBe('^10');
+            expect(tokens[5].value).toBe('^-2');
         });
         it('tokenizes comparison operators', () => {
             const tokens = tokenize('== != < <= > >=');

package/dist/__tests__/lowering.test.js

@@ -498,6 +498,14 @@ fn choose(dir: Direction) {
             const rawCmds = getRawCommands(fn);
             expect(rawCmds).toContain('tellraw @a ["",{"text":"You have "},{"score":{"name":"$score","objective":"rs"}},{"text":" points"}]');
         });
+        it('lowers f-string output builtins to tellraw/title JSON components', () => {
+            const ir = compile('fn test() { let score: int = 7; say(f"Score: {score}"); tellraw(@a, f"Score: {score}"); actionbar(@s, f"Score: {score}"); title(@s, f"Score: {score}"); }');
+            const fn = getFunction(ir, 'test');
+            const rawCmds = getRawCommands(fn);
+            expect(rawCmds).toContain('tellraw @a ["",{"text":"Score: "},{"score":{"name":"$score","objective":"rs"}}]');
+            expect(rawCmds).toContain('title @s actionbar ["",{"text":"Score: "},{"score":{"name":"$score","objective":"rs"}}]');
+            expect(rawCmds).toContain('title @s title ["",{"text":"Score: "},{"score":{"name":"$score","objective":"rs"}}]');
+        });
         it('lowers summon()', () => {
             const ir = compile('fn test() { summon("zombie"); }');
             const fn = getFunction(ir, 'test');

package/dist/__tests__/mc-syntax.test.js

@@ -80,6 +80,18 @@ fn chat() {
 `, 'interpolation');
         expect(errors).toHaveLength(0);
     });
+    test('f-strings generate valid tellraw/title commands', () => {
+        const errors = validateSource(validator, `
+fn chat() {
+    let score: int = 7;
+    say(f"You have {score} points");
+    tellraw(@a, f"Score: {score}");
+    actionbar(@s, f"Score: {score}");
+    title(@s, f"Score: {score}");
+}
+`, 'f-string');
+        expect(errors).toHaveLength(0);
+    });
     test('array operations generate valid data commands', () => {
         const errors = validateSource(validator, `
 fn arrays() {

package/dist/__tests__/parser.test.js

@@ -429,6 +429,16 @@ impl Point {
                     ],
                 });
             });
+            it('parses f-string literal', () => {
+                const expr = parseExpr('f"Score: {x}"');
+                expect(expr).toEqual({
+                    kind: 'f_string',
+                    parts: [
+                        { kind: 'text', value: 'Score: ' },
+                        { kind: 'expr', expr: { kind: 'ident', name: 'x' } },
+                    ],
+                });
+            });
             it('parses boolean literals', () => {
                 expect(parseExpr('true')).toEqual({ kind: 'bool_lit', value: true });
                 expect(parseExpr('false')).toEqual({ kind: 'bool_lit', value: false });

package/dist/__tests__/runtime.test.js

@@ -107,6 +107,19 @@ fn chat() {
     let score: int = 7;
     say("You have \${score} points");
 }
+`);
+        runtime.load();
+        runtime.execFunction('chat');
+        expect(runtime.getChatLog()).toEqual([
+            'You have 7 points',
+        ]);
+    });
+    it('renders f-strings through tellraw score components', () => {
+        const runtime = loadCompiledProgram(`
+fn chat() {
+    let score: int = 7;
+    say(f"You have {score} points");
+}
 `);
         runtime.load();
         runtime.execFunction('chat');

package/dist/__tests__/typechecker.test.js

@@ -110,6 +110,36 @@ fn test() {
 `);
             expect(errors).toHaveLength(0);
         });
+        it('allows f-strings in runtime output builtins', () => {
+            const errors = typeCheck(`
+fn test() {
+    let score: int = 5;
+    say(f"Score: {score}");
+    tellraw(@a, f"Score: {score}");
+    actionbar(@s, f"Score: {score}");
+    title(@s, f"Score: {score}");
+}
+`);
+            expect(errors).toHaveLength(0);
+        });
+        it('rejects f-strings outside runtime output builtins', () => {
+            const errors = typeCheck(`
+fn test() {
+    let msg: string = f"Score";
+}
+`);
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain('expected string, got format_string');
+        });
+        it('rejects unsupported f-string placeholder types', () => {
+            const errors = typeCheck(`
+fn test() {
+    say(f"Flag: {true}");
+}
+`);
+            expect(errors.length).toBeGreaterThan(0);
+            expect(errors[0].message).toContain('f-string placeholder must be int or string');
+        });
         it('detects too many arguments', () => {
             const errors = typeCheck(`
 fn greet() {

package/dist/ast/types.d.ts

@@ -11,7 +11,7 @@ export interface Span {
     endLine?: number;
     endCol?: number;
 }
-export type PrimitiveType = 'int' | 'bool' | 'float' | 'string' | 'void' | 'BlockPos' | 'byte' | 'short' | 'long' | 'double';
+export type PrimitiveType = 'int' | 'bool' | 'float' | 'string' | 'void' | 'BlockPos' | 'byte' | 'short' | 'long' | 'double' | 'format_string';
 export type EntityTypeName = 'entity' | 'Player' | 'Mob' | 'HostileMob' | 'PassiveMob' | 'Zombie' | 'Skeleton' | 'Creeper' | 'Spider' | 'Enderman' | 'Pig' | 'Cow' | 'Sheep' | 'Chicken' | 'Villager' | 'ArmorStand' | 'Item' | 'Arrow';
 export type TypeNode = {
     kind: 'named';
@@ -45,6 +45,18 @@ export interface LambdaExpr {
     returnType?: TypeNode;
     body: Expr | Block;
 }
+export type FStringPart = {
+    kind: 'text';
+    value: string;
+} | {
+    kind: 'expr';
+    expr: Expr;
+};
+export interface FStringExpr {
+    kind: 'f_string';
+    parts: FStringPart[];
+    span?: Span;
+}
 export interface RangeExpr {
     min?: number;
     max?: number;
@@ -111,6 +123,14 @@ export type Expr = {
     kind: 'double_lit';
     value: number;
     span?: Span;
+} | {
+    kind: 'rel_coord';
+    value: string;
+    span?: Span;
+} | {
+    kind: 'local_coord';
+    value: string;
+    span?: Span;
 } | {
     kind: 'bool_lit';
     value: boolean;
@@ -127,7 +147,7 @@ export type Expr = {
     kind: 'str_interp';
     parts: Array<string | Expr>;
     span?: Span;
-} | {
+} | FStringExpr | {
     kind: 'range_lit';
     range: RangeExpr;
     span?: Span;

package/dist/cli.js

@@ -57,7 +57,7 @@ function printUsage() {
 RedScript Compiler
 
 Usage:
-  redscript compile <file> [-o <out>] [--output-nbt <file>] [--namespace <ns>] [--target <target>]
+  redscript compile <file> [-o <out>] [--output-nbt <file>] [--namespace <ns>] [--target <target>] [--no-dce]
   redscript watch <dir> [-o <outdir>] [--namespace <ns>] [--hot-reload <url>]
   redscript check <file>
   redscript fmt <file.mcrs> [file2.mcrs ...]
@@ -77,6 +77,7 @@ Options:
   --output-nbt <file>    Output .nbt file path for structure target
   --namespace <ns>       Datapack namespace (default: derived from filename)
   --target <target>      Output target: datapack (default), cmdblock, or structure
+  --no-dce               Disable AST dead code elimination
   --stats                Print optimizer statistics
   --hot-reload <url>     After each successful compile, POST to <url>/reload
                          (use with redscript-testharness; e.g. http://localhost:25561)
@@ -99,7 +100,7 @@ function printVersion() {
     }
 }
 function parseArgs(args) {
-    const result = {};
+    const result = { dce: true };
     let i = 0;
     while (i < args.length) {
         const arg = args[i];
@@ -127,6 +128,10 @@ function parseArgs(args) {
             result.stats = true;
             i++;
         }
+        else if (arg === '--no-dce') {
+            result.dce = false;
+            i++;
+        }
         else if (arg === '--hot-reload') {
             result.hotReload = args[++i];
             i++;
@@ -174,7 +179,7 @@ function printOptimizationStats(stats) {
     console.log(`  constant folding: ${stats.constantFolds} constants folded`);
     console.log(`  Total mcfunction commands: ${stats.totalCommandsBefore} -> ${stats.totalCommandsAfter} (${formatReduction(stats.totalCommandsBefore, stats.totalCommandsAfter)} reduction)`);
 }
-function compileCommand(file, output, namespace, target = 'datapack', showStats = false) {
+function compileCommand(file, output, namespace, target = 'datapack', showStats = false, dce = true) {
     // Read source file
     if (!fs.existsSync(file)) {
         console.error(`Error: File not found: ${file}`);
@@ -183,7 +188,7 @@ function compileCommand(file, output, namespace, target = 'datapack', showStats
     const source = fs.readFileSync(file, 'utf-8');
     try {
         if (target === 'cmdblock') {
-            const result = (0, index_1.compile)(source, { namespace, filePath: file });
+            const result = (0, index_1.compile)(source, { namespace, filePath: file, dce });
             printWarnings(result.warnings);
             // Generate command block JSON
             const hasTick = result.files.some(f => f.path.includes('__tick.mcfunction'));
@@ -201,7 +206,7 @@ function compileCommand(file, output, namespace, target = 'datapack', showStats
             }
         }
         else if (target === 'structure') {
-            const structure = (0, structure_1.compileToStructure)(source, namespace, file);
+            const structure = (0, structure_1.compileToStructure)(source, namespace, file, { dce });
             fs.mkdirSync(path.dirname(output), { recursive: true });
             fs.writeFileSync(output, structure.buffer);
             console.log(`✓ Generated structure for ${file}`);
@@ -212,7 +217,7 @@ function compileCommand(file, output, namespace, target = 'datapack', showStats
             }
         }
         else {
-            const result = (0, index_1.compile)(source, { namespace, filePath: file });
+            const result = (0, index_1.compile)(source, { namespace, filePath: file, dce });
             printWarnings(result.warnings);
             // Default: generate datapack
             // Create output directory
@@ -266,7 +271,7 @@ async function hotReload(url) {
         console.warn(`⚠  Hot reload failed (is the server running?): ${e.message}`);
     }
 }
-function watchCommand(dir, output, namespace, hotReloadUrl) {
+function watchCommand(dir, output, namespace, hotReloadUrl, dce = true) {
     // Check if directory exists
     if (!fs.existsSync(dir)) {
         console.error(`Error: Directory not found: ${dir}`);
@@ -297,7 +302,7 @@ function watchCommand(dir, output, namespace, hotReloadUrl) {
             try {
                 source = fs.readFileSync(file, 'utf-8');
                 const ns = namespace ?? deriveNamespace(file);
-                const result = (0, index_1.compile)(source, { namespace: ns, filePath: file });
+                const result = (0, index_1.compile)(source, { namespace: ns, filePath: file, dce });
                 printWarnings(result.warnings);
                 // Create output directory
                 fs.mkdirSync(output, { recursive: true });
@@ -374,7 +379,7 @@ async function main() {
                 const output = target === 'structure'
                     ? (parsed.outputNbt ?? parsed.output ?? `./${namespace}.nbt`)
                     : (parsed.output ?? './dist');
-                compileCommand(parsed.file, output, namespace, target, parsed.stats);
+                compileCommand(parsed.file, output, namespace, target, parsed.stats, parsed.dce);
             }
             break;
         case 'watch':
@@ -383,7 +388,7 @@ async function main() {
                 printUsage();
                 process.exit(1);
             }
-            watchCommand(parsed.file, parsed.output ?? './dist', parsed.namespace, parsed.hotReload);
+            watchCommand(parsed.file, parsed.output ?? './dist', parsed.namespace, parsed.hotReload, parsed.dce);
             break;
         case 'check':
             if (!parsed.file) {