From 2aea7ec331f80c72822dedfa2c9c0054a72975d1 Mon Sep 17 00:00:00 2001
From: Leo Tenenbaum <pommicket@gmail.com>
Date: Fri, 10 Jul 2020 16:57:22 -0400
Subject: note

---
 types.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/types.c b/types.c
index fc877af..a008832 100644
--- a/types.c
+++ b/types.c
@@ -2263,7 +2263,7 @@ static Status types_expr(Typer *tr, Expression *e) {
 						expr->kind = EXPR_VAL;
 						expr->flags = EXPR_FOUND_TYPE;
 						expr->val = arg_val;
-						param_decl->expr = *expr;
+						param_decl->expr = *expr; /* this is so that an error occurs if the type of expr doesn't match param_decl->type (we can't check here because param_decl->type isn't resolved yet) */
 						param_decl->flags |= DECL_FOUND_VAL|DECL_HAS_EXPR;
 						copy_val(tr->allocr, &param_decl->val, arg_val, type);
 						if (!(param_decl->flags & DECL_ANNOTATES_TYPE)) {
-- 
cgit v1.2.3