From 6324510cab2b76dbdaf624a20ddc17c6adf26464 Mon Sep 17 00:00:00 2001
From: Leo Tenenbaum <pommicket@gmail.com>
Date: Sun, 15 Dec 2019 16:49:50 -0500
Subject: call inference!!!

---
 types.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'types.c')

diff --git a/types.c b/types.c
index 8a097f7..d4bac24 100644
--- a/types.c
+++ b/types.c
@@ -501,11 +501,11 @@ static bool type_resolve(Typer *tr, Type *t, Location where) {
 		Value typeval;
 		if (!types_expr(tr, t->expr))
 			return false;
-		print_expr(t->expr);
-		t->was_expr = t->expr;
+		Expression *expr = t->expr;
 		if (!eval_expr(tr->evalr, t->expr, &typeval))
 			return false;
 		*t = *typeval.type;
+		t->was_expr = expr;
 		assert(t->flags & TYPE_IS_RESOLVED);
 	} break;
 	case TYPE_UNKNOWN:
-- 
cgit v1.2.3