M2: Explicit ad-hoc overloading (operators + Text comparison) - #32

Merged

assapir merged 6 commits into

mainfrom

worktree-agent-aae1581907489b1c9

Jun 27, 2026

Commits on Jun 27, 2026

M2: Explicit ad-hoc overloading (operators + Text comparison)

assapir
and
claude
committed
5af918c
Merge remote-tracking branch 'origin/main' into worktree-agent-aae1581907489b1c9
assapir
committed
20e84dd
Dedup overloading predicates into the AST crate

assapir
and
claude
committed
b189a5f
Fix AOT link: whole-archive libquilon_rt so all intrinsics are pulled

assapir
and
claude
committed
ab1d161
Retain runtime intrinsics in the staticlib; require Bool from comparison overloads

assapir
and
claude
committed
f90945b
Fix AOT examples gate: always rebuild a fresh libquilon_rt.a (cache-proof)

assapir
and
claude
committed
cecded3