a dedicated type for loop index

xiyuzhai-husky-lang / husky

Empowering everyone towards next generation AI and software.

MIT License

80 stars 7 forks source link

a dedicated type for loop index #278

Open xiyuzhai opened 1 week ago

xiyuzhai commented 1 week ago

fn eval_loop_inner(
    &mut self,
    stmt: VmirStmtIdx<LinketImpl>,
    stmts: VmirStmtIdxRange<LinketImpl>,
    loop_index: usize,
    f: impl FnOnce(&mut Self) -> LinketImplVmControlFlowThawed<LinketImpl, ()>,
) -> LinketImplVmControlFlowThawed<LinketImpl, ()> {

xiyuzhai commented 1 week ago

/home/xiyuzhai/repos/husky/crates/vm/husky-vm/src/eval.rs