From 0fd774deba11e3cd5a70840d1ea8efb0bf8ff17b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gustav=20S=C3=B6rn=C3=A4s?= <gustav@sornas.net>
Date: Fri, 15 Jan 2021 16:01:22 +0100
Subject: typecheck: infere type from rhs in assignments

---
 src/vm.rs | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/vm.rs')

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] {
-- 
cgit v1.2.1