feat(annotations): initial parser crate#266

Open

reo101 wants to merge 87 commits into

fv-upstreamingfrom

feat/new-annotation-parser

Commits on Jul 29, 2025

Commits on Jul 31, 2025

feat(errors): Error propagation in `fv_bridge`
Aristotelis2002
committed

Commits on Aug 18, 2025

refactor(annotations): type-inference algorithm for tuples and arrays

reo101
authored and
Aristotelis2002
committed
fix(annotations): type-infer `IntegerLiteral`s through `UnaryOp`s

reo101
authored and
Aristotelis2002
committed
chore(annotations): remove redundant `.clone()`

reo101
authored and
Aristotelis2002
committed
chore(annotations): remove redundant comment

reo101
authored and
Aristotelis2002
committed
refactor(annotations): in-place mutation when type-inferring

reo101
authored and
Aristotelis2002
committed
fix(annotations): `empty_state` ids for testing

reo101
authored and
Aristotelis2002
committed
chore(annotations): remove old `eprintln!` call

reo101
authored and
Aristotelis2002
committed
chore(annotations): expand the catch-all case in a `match`

reo101
authored and
Aristotelis2002
committed
chore(annotations): remove unused imports

reo101
authored and
Aristotelis2002
committed
refactor(annotations): deduplicate `tuple_elements_from_expr`

reo101
and
Aristotelis2002
committed
feat(monomorphizer): Make `queue_function` public
Aristotelis2002
committed
feat(monomorph): Process monomorphization requests
Aristotelis2002
committed
feat(annotations): assign `LocalId`s to quantified variables
reo101
committed
feat(annotations): Type infer args in func calls

Aristotelis2002
authored and
reo101
committed
fix(annotations): correct `Offset` calculation for `prefix` / `postfix`
reo101
committed
chore(annotations): emit an adequate type errors for array literals
reo101
committed

Commits on Aug 19, 2025

chore(annotation): Correct Location before `parse_attribute`
Aristotelis2002
committed

Commits on Aug 21, 2025

Commits on Aug 22, 2025

Commits on Sep 2, 2025

Commits on Sep 10, 2025