feat: type annotations 📚 - #131

Merged

timfennis merged 14 commits into

feature/type-annotations

May 7, 2026

Commits on May 7, 2026

fix(analyser): restore declarative binding checks 🩹
timfennis
committed
aac45d7
refactor(parser): extract delimited type parsing 🧹
timfennis
committed
f516d2a
fix(lsp): suppress redundant let type inlays 🧭
timfennis
committed
bdfb109
test(analyser): expand annotated binding coverage 🧪
timfennis
committed
e5d0ce9
fix: improve type annotations PR (#128)

timfennis
and
claude
committed
ad19592
fix(parser): split compound `>` tokens in nested generics 🔀

timfennis
and
claude
committed
47b210a
feat(analyser): reject reassignment to annotated bindings 🔒

timfennis
and
claude
committed
c49349f
fix(analyser): reject op-assignment on annotated bindings 🔒

timfennis
and
claude
committed
bdaf72e
feat(parser): support type annotations on function parameters 📝

timfennis
and
claude
committed
9eaff5f
feat: return type annotations and typed arithmetic overloads 🔢

timfennis
and
claude
committed
d168364
fix(analyser): use annotated return type for recursive function placeholders 🔄

timfennis
and
claude
committed
cad6d00
feat(lsp): fix return type and parameter inlay hints 🔍

timfennis
and
claude
committed
97d6ddb
feat(stdlib): annotate `all` return type and add typed fib bench 🦀

timfennis
and
claude
committed
8b928a8
fix(analyser): throw error on tuple arity len mismatch
timfennis
committed
9794545