Hojun-Cho
b795c320c9
@test was parsed then dropped (no consumer); `ww test` needed a hand-written
main listing each test by hand, so adding a @test and forgetting the call
silently skipped it. -T makes the checker collect @test N_FNDECLs in source
order, loud-reject a user main, and append a synthetic
`export fn main() i32 { t0(); ...; return 0; }` at the install->body-check seam;
the existing cgfn emits it (cgen untouched) -> byte-identical by construction.
Mirrors harec's checker-side is_test placement.
Plan-9-lean reduction (user-sanctioned, reinstatable post-CSP): sequential,
abort/nonzero=fail; no setjmp isolation, no fnmatch filter, no file:line.
910/997 rewired from a regex scanner to driving `w6c -T` directly (thin trusted
drivers; the @test content stays ww), with a cross-stage byte-id assert on the
-T output. attest_userman/attest_badsig pin the user-main and bad-signature
rejects.
18 lines
424 B
Plaintext
18 lines
424 B
Plaintext
// #15 negative fixture: @test fns PLUS an explicit user `main`. Under
|
|
// `-T` the entry is synthesized, so a hand-written main collides — both
|
|
// stages MUST loud-reject (nonzero exit), mirroring harec's hosted-main
|
|
// suppression under is_test (ref/harec/src/check.c:4000).
|
|
|
|
package data;
|
|
|
|
@test fn check_ok() void = {
|
|
let a: i32 = 1;
|
|
if (a != 1) {
|
|
let _: i32 = 1 / 0;
|
|
};
|
|
};
|
|
|
|
export fn main() i32 = {
|
|
return 0;
|
|
};
|