0xd34d10cc/nox-rs

Use typecheck metadata in sm::compile

0xd34d10cc opened this issue · 0 comments

0xd34d10cc commented

https://github.com/0xd34d10cc/nox/blob/55c6f4a5b52e355d454943e894ed5085a24e8d49/src/typecheck.rs#L57-L59

Invariant to maintain: stack of StackMachine should be empty after execution of program.