feat(server): add builtin function typechecking + BuiltinFn enum - #149

Open

Khanathan wants to merge 7 commits into

beava-dev:mainfrom

Khanathan:feat/issue-56-builtin-typechecking

Commits on Jun 1, 2026

tests added, covers every components to be added in this PR
Khanathan
committed
f639b02
edited tests, added comments, added small types the tests use, added reusable typecheck primitives
Khanathan
committed
3766f61
added BuiltinFn enum
Khanathan
committed
e7fb0ed
refactored Expr::Call to hold the BuiltinFn enum instead, updated parser, normalizer, evaluator, added Expr::Cast variant
Khanathan
committed
d172438
refactor(builtins): rename + simplify inference helpers

Khanathan
and
claude
committed
c3a0ad3
feat(builtins): reject illegal casts in expression-form cast inference

Khanathan
and
claude
committed
70e4392
fix(runtime-core): use i64 statfs magic constants to match f_type

hoang
authored and
Khanathan
committed
e834104