Colby Mchenry
d1b75a1a27
R7b batch 4 #4 — the FINAL R7b language (docs/design/dart-kernel-port-checklist.md is the authoritative quirk list). The fourth vendored-grammar-C language, with a twist: production dart resolved its wasm from tree-sitter-wasms, whose dart dependency is an UNPINNED github:UserNobody14/tree-sitter-dart — a routine dependency update would have silently changed dart's grammar. This PR byte-copies the shipping 0.1.13 artifact into src/extraction/wasm/ (VENDORED_WASM_LANGS += dart) and compiles the same-commit (d4d8f3e337d8) parser.c/scanner.c in the kernel — table identity proven by the kernel-grammar-parity row. crates.io tree-sitter-dart is the nielsenko fork (different lineage) — rejected. The center of gravity is THE SIBLING-BODY DOUBLE-WALK, reproduced bug-for-bug: dart attaches every function/method body as a NEXT SIBLING of its signature, and the TS walkers consume each body TWICE — once via resolveBody (attributed to the function/method) and once via the enclosing generic walk (attributed to the file/class). Duplicate local-function nodes with the SAME id under different parents, duplicated calls/instantiates refs, and file/class-attributed fn-ref twins all emit in the exact observed interleave (a dedicated fixture pins the duplicate-id rows; the bloc kind-census spot-check pins the counts). Also preserved (probe-pinned): the extractBareCall selector matrix (the first callTypes=[] language — cascades completely invisible, `?.` encodes like `.`, the `ConfigT.load()` calls+references double emission with no callee-of-call skip, capitalized-chain `Foo.create().run` re-encode, const-object callee names); the constructor hooks (unnamed ctor skipped, named ctors/factories renamed to the CTOR name with the class as returnType, `@override (T) m()` record-misparse rescued by class-name validation); operator methods minting `method "<anonymous>"`; static_final_declaration constants via the visitNode hook while instance fields mint NOTHING; the prefixed-return-type prefix bug (`other.OtherClass f()` → returnType `other`); enum `with` mixins silent vs `implements` working; anonymous extensions named after the ON type; deferred imports invisible; named-argument callbacks NOT fn-ref-captured (the Flutter `onPressed:` idiom — future accuracy PR, TS-side first); `async*`/`sync*` NOT async; value-refs with the LIVE dart sibling-body pull and the `$X`-vs-`${X}` interpolation asymmetry; dartdoc kept in all three comment forms with the annotation-broken chain. Gates: parity sweeps first-run 0-diff on shelf/bloc/flutter — 5,815 clean files byte-parity, deferrals 10/21/1341 ≈ the survey's 10/21/~1340 (both-arm grammar reality: empty object patterns — the sealed-class idiom — and unnamed `library;` dominate; --max-deferral 0.3); full-init dumps byte-identical ×3 (shelf 7,959 / bloc 40,026 / flutter 1,855,319 dump lines); bloc per-kind node census identical across arms (the double-walk duplicate rows survive the store identically); kernel-dart-parity suite (7 fixtures + in-memory CRLF variants + double-walk duplicate-id pin + generated-file skip pin + two defer pins); full suite 2,688 green ×2 with CODEGRAPH_KERNEL_EXPECT=1. DEFAULT_ROUTED += dart (20 langs — R7b COMPLETE). Co-authored-by: Claude Fable 5 <noreply@anthropic.com>
88 lines
4.6 KiB
Rust
88 lines
4.6 KiB
Rust
fn main() {
|
|
napi_build::setup();
|
|
|
|
// Kotlin grammar — vendored C, compiled here instead of a crate dep: the
|
|
// crates.io tree-sitter-kotlin 0.3.8 pins `tree-sitter >= 0.21, < 0.23`
|
|
// (the kernel links 0.25) and tree-sitter-kotlin-ng is a DIFFERENT
|
|
// grammar (8 fields vs 0, renamed kinds — extractor-breaking). Sources
|
|
// are the fwcd 0.3.8 tag's checked-in generated artifacts, sha-matched
|
|
// against the crates.io tarball (kotlin checklist §Grammar prep):
|
|
// parser.c 54104a7ef1555c265b746c790e0f8bb953cc17806e9df0c3af82f7f62c06a70a
|
|
// scanner.c 27f73337ec357fc341fa57538f34c14277b0346980c3405dc30beab6202ec6d0
|
|
// Flags crib the tarball's own bindings/rust/build.rs.
|
|
let mut c = cc::Build::new();
|
|
c.include("grammars/kotlin");
|
|
c.file("grammars/kotlin/parser.c");
|
|
c.file("grammars/kotlin/scanner.c");
|
|
c.flag_if_supported("-Wno-unused-parameter");
|
|
c.flag_if_supported("-Wno-unused-but-set-variable");
|
|
c.flag_if_supported("-Wno-trigraphs");
|
|
c.flag_if_supported("-utf-8"); // msvc
|
|
c.compile("tree-sitter-kotlin");
|
|
println!("cargo:rerun-if-changed=grammars/kotlin");
|
|
|
|
// Lua grammar — vendored C (second vendored-grammar-C language): the
|
|
// vendored wasm is tree-sitter-grammars/tree-sitter-lua v0.4.1 (tag
|
|
// 816840c592), which is NOT on crates.io (only 0.1/0.2/0.5 exist; 0.5.0
|
|
// adds Lua-5.5 `global` — a future bump with its own gate). Sources are
|
|
// the v0.4.1 tag's checked-in generated artifacts, sha-recorded in the
|
|
// lua-luau checklist §Grammar prep:
|
|
// parser.c b34a362e43f0311f405721f3089e94f97f31da403b154d456d093e64609a4081
|
|
// scanner.c 35bbd630b5a7421d46d2e91185eeea09bf78565d44cb676b63ca20d0f1b54bbd
|
|
let mut lua = cc::Build::new();
|
|
lua.include("grammars/lua");
|
|
lua.file("grammars/lua/parser.c");
|
|
lua.file("grammars/lua/scanner.c");
|
|
lua.flag_if_supported("-Wno-unused-parameter");
|
|
lua.flag_if_supported("-Wno-unused-but-set-variable");
|
|
lua.flag_if_supported("-Wno-trigraphs");
|
|
lua.flag_if_supported("-utf-8"); // msvc
|
|
lua.compile("tree-sitter-lua");
|
|
println!("cargo:rerun-if-changed=grammars/lua");
|
|
|
|
// Scala grammar — vendored C (third vendored-grammar-C language): the
|
|
// vendored wasm is tree-sitter/tree-sitter-scala master@0aca5d0a6f (the
|
|
// 2026-04-22 generation sync — 30 states PAST the v0.26.0 tag/crate, so a
|
|
// crate pin would be a silent downgrade). Sources are that commit's
|
|
// checked-in generated artifacts, sha-recorded in the scala checklist
|
|
// §Grammar prep:
|
|
// parser.c bc3c3c794f19461d99d04de6c31d57fa3e41243509b9ab023a9b88ed3273d102
|
|
// scanner.c e4ba242568ee3493015598997bf60f613802616eade62717c21109287ef64752
|
|
// parser.c is 35 MB — the biggest grammar in the tree; expect a slow cc
|
|
// step on clean builds.
|
|
let mut scala = cc::Build::new();
|
|
scala.include("grammars/scala");
|
|
scala.file("grammars/scala/parser.c");
|
|
scala.file("grammars/scala/scanner.c");
|
|
scala.flag_if_supported("-Wno-unused-parameter");
|
|
scala.flag_if_supported("-Wno-unused-but-set-variable");
|
|
scala.flag_if_supported("-Wno-trigraphs");
|
|
scala.flag_if_supported("-utf-8"); // msvc
|
|
scala.compile("tree-sitter-scala");
|
|
println!("cargo:rerun-if-changed=grammars/scala");
|
|
|
|
// Dart grammar — vendored C (fourth vendored-grammar-C language): the
|
|
// production wasm is the tree-sitter-wasms 0.1.13 artifact, whose dart
|
|
// dependency is an UNPINNED github:UserNobody14/tree-sitter-dart — the
|
|
// vendored wasm byte-copy (src/extraction/wasm/) plus these same-commit
|
|
// sources kill that hazard. crates.io tree-sitter-dart is the nielsenko
|
|
// FORK (different lineage) — rejected. Sources are
|
|
// UserNobody14/tree-sitter-dart master@d4d8f3e337d8 (dart checklist
|
|
// §Grammar prep):
|
|
// parser.c 5a42b47abb4d494f125dbdee9138979248041689b1aa36355550fa3e28dcb8b8
|
|
// scanner.c 07a7b7818b175e9460523e705dd88d20f7b5141bac95c593d4426e6d52284996
|
|
// scanner.c is load-bearing: string-template char classes and /** */ doc
|
|
// comments are external tokens.
|
|
let mut dart = cc::Build::new();
|
|
dart.include("grammars/dart");
|
|
dart.file("grammars/dart/parser.c");
|
|
dart.file("grammars/dart/scanner.c");
|
|
dart.flag_if_supported("-Wno-unused-parameter");
|
|
dart.flag_if_supported("-Wno-unused-but-set-variable");
|
|
dart.flag_if_supported("-Wno-trigraphs");
|
|
dart.flag_if_supported("-Wno-unused-function");
|
|
dart.flag_if_supported("-utf-8"); // msvc
|
|
dart.compile("tree-sitter-dart");
|
|
println!("cargo:rerun-if-changed=grammars/dart");
|
|
}
|