Skip to content

Commit 6fe7509

Browse files
committed
fix(resolve): seed trunc builtin in resolver context (#135)
`trunc` is a genuine runtime builtin (interp.ml:674, kernel_sublang builtin set) but was absent from the resolver's builtin-seed list while its siblings floor/ceil/round are present, so math.affine failed resolution with UndefinedVariable "trunc". Add `def "trunc"`. Verified on origin/main @651cc12: math.affine now passes the resolve stage (its remaining Int/Float TypeMismatch is a separate pre-existing math.affine typecheck issue, out of scope). Full stdlib sweep 11/8 → 11/8, zero regression. Refs #128
1 parent 651cc12 commit 6fe7509

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

lib/resolve.ml

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -64,6 +64,7 @@ let create_context () : context =
6464
(* Numeric coercions and math *)
6565
def "int"; def "float";
6666
def "sqrt"; def "cbrt"; def "pow_float"; def "floor"; def "ceil"; def "round";
67+
def "trunc";
6768
def "abs"; def "max"; def "min";
6869
def "sin"; def "cos"; def "tan"; def "atan"; def "atan2";
6970
def "exp"; def "log"; def "log10"; def "log2";

0 commit comments

Comments
 (0)