✓
Passing This code compiles and runs correctly.
Code
// MUST_ERROR: Function calls in branch constructors must be rejected
//
// Branch constructors must be pure — no side effects. Calling
// std.fmt.allocPrint inside a branch constructor violates this rule.
// Use event chaining to compute values before constructing the branch.
~import std/compiler
~import std/io
const std = @import("std");
// This should fail: allocPrint is a function call in a branch constructor
~std/compiler:coordinate =
std/compiler:coordinate.default(program_ast, allocator)
| coordinated c => coordinated {
c.ast,
c.code,
metrics: std.fmt.allocPrint(allocator, "done in {d}ms", .{}) catch "error"
}
| error e => error { e.message }
~std/io:print.ln("should not compile")
Must fail at frontend compile:
Parsing or type-checking must reject the program.
Expected compiler error
error[PARSE003]: branch constructor field 'metrics' contains a function call — branch constructors must be pure. Use tor chaining instead.
--> tests/regression/400_RUNTIME_FEATURES/430_COORDINATION/430_006_coordinator_timing/input.kz:19:1
|
19 | }
| ^
Error output must contain
branch constructor field 'metrics' contains a function callFlows
flow ~print.ln click a branch to expand · @labels scroll to their anchor
print.ln (expr: "should not compile")
Test Configuration
Post-validation Script:
#!/bin/bash
# Post-validation: Verify timing instrumentation worked
#
# Checks that:
# 1. Timer output appears in backend.err
# 2. Timing value is reasonable (> 0ms, < 60000ms)
set -e
if [ ! -f "backend.err" ]; then
echo "❌ FAIL: No backend.err file found"
exit 1
fi
# Extract the timing line
TIMING_LINE=$(grep "⏱️ Compilation took" backend.err || true)
if [ -z "$TIMING_LINE" ]; then
echo "❌ FAIL: No timing output found in backend.err"
echo " Expected: ⏱️ Compilation took X.XXms"
exit 1
fi
# Extract the milliseconds value
MS=$(echo "$TIMING_LINE" | sed -n 's/.*took \([0-9.]*\)ms.*/\1/p')
if [ -z "$MS" ]; then
echo "❌ FAIL: Could not parse timing value from: $TIMING_LINE"
exit 1
fi
# Validate timing is reasonable (using awk for float comparison)
VALID=$(awk -v ms="$MS" 'BEGIN { print (ms > 0 && ms < 60000) ? "yes" : "no" }')
if [ "$VALID" != "yes" ]; then
echo "❌ FAIL: Timing value out of range: ${MS}ms"
echo " Expected: 0 < ms < 60000"
exit 1
fi
echo "✅ Timing instrumentation working: ${MS}ms"
exit 0