typecheck: infere type from rhs in assignments

1 files changed, 4 insertions, 0 deletions

diff --git a/src/vm.rs b/src/vm.rs
index 3750690..0b9195d 100644
--- a/src/vm.rs
+++ b/src/vm.rs
@@ -69,6 +69,8 @@ pub enum Op {
     ReadLocal(usize),
     Assign(usize),
 
+    Define(Type),
+
     Call(usize),
 
     Print,
@@ -401,6 +403,8 @@ impl VM {
                     self.stack[slot] = self.stack.pop().unwrap();
                 }
 
+                Op::Define(_) => {}
+
                 Op::Call(num_args) => {
                     let new_base = self.stack.len() - 1 - num_args;
                     match &self.stack[new_base] {