Skip to content

Commit f71cefb

Browse files
committed
Auto-commit: Sync changes [2026-03-02]
1 parent 6b5ede9 commit f71cefb

9 files changed

Lines changed: 31 additions & 25 deletions

URGENT-RESCRIPT-MIGRATION.md

Lines changed: 31 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,31 @@
1+
# URGENT: ReScript Migration Required
2+
3+
**Generated:** 2026-03-02
4+
**Current stable ReScript:** 12.2.0
5+
**Pre-release:** 13.0.0-alpha.2 (2025-02-27)
6+
7+
This repo has ReScript code that needs migration. Address in priority order.
8+
9+
## CHECK: Version Unknown or Unpinned
10+
11+
- `impl/mcp (no version pinned)`
12+
13+
**Action:** Pin to `"rescript": "^12.2.0"` explicitly.
14+
15+
---
16+
17+
## ReScript 13 Preparation (v13.0.0-alpha.2 available)
18+
19+
v13 is in alpha. These breaking changes are CONFIRMED — prepare now:
20+
21+
1. **`bsconfig.json` support removed** — must use `rescript.json` only
22+
2. **`rescript-legacy` command removed** — only modern build system
23+
3. **`bs-dependencies`/`bs-dev-dependencies`/`bsc-flags` config keys removed**
24+
4. **Uncurried `(. args) => ...` syntax removed** — use standard `(args) => ...`
25+
5. **`es6`/`es6-global` module format names removed** — use `esmodule`
26+
6. **`external-stdlib` config option removed**
27+
7. **`--dev`, `--create-sourcedirs`, `build -w` CLI flags removed**
28+
8. **`Int.fromString`/`Float.fromString` API changes** — no explicit radix arg
29+
9. **`js-post-build` behaviour changed** — now passes correct output paths
30+
31+
**Migration path:** Complete all v12 migration FIRST, then test against v13-alpha.

proofs/lean4/.lake/build/ir/FilesystemModel.c.hash

Lines changed: 0 additions & 1 deletion
This file was deleted.

proofs/lean4/.lake/build/lib/FilesystemModel.ilean

Lines changed: 0 additions & 1 deletion
This file was deleted.

proofs/lean4/.lake/build/lib/FilesystemModel.ilean.hash

Lines changed: 0 additions & 1 deletion
This file was deleted.
-328 KB
Binary file not shown.

proofs/lean4/.lake/build/lib/FilesystemModel.olean.hash

Lines changed: 0 additions & 1 deletion
This file was deleted.

proofs/lean4/.lake/build/lib/FilesystemModel.trace

Lines changed: 0 additions & 17 deletions
This file was deleted.

proofs/lean4/.lake/lakefile.olean

-128 KB
Binary file not shown.

proofs/lean4/.lake/lakefile.olean.trace

Lines changed: 0 additions & 4 deletions
This file was deleted.

0 commit comments

Comments
 (0)