From 16bebef339ee390b77e5b5505126aba74019a8f8 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 29 Mar 2024 16:23:03 +0100
Subject: Add an error message

---
 compiler/Contexts.ml | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'compiler')

diff --git a/compiler/Contexts.ml b/compiler/Contexts.ml
index edda4260..0a62f5ef 100644
--- a/compiler/Contexts.ml
+++ b/compiler/Contexts.ml
@@ -404,9 +404,7 @@ let ctx_push_vars (meta : Meta.meta) (ctx : eval_ctx)
        (fun (var, (value : typed_value)) ->
          TypesUtils.ty_is_ety var.var_ty && var.var_ty = value.ty)
        vars)
-    meta
-    "The pushed variables and their values do not have the same type TODO: \
-     Error message";
+    meta "The pushed variables and their values do not have the same type";
   let vars =
     List.map
       (fun (var, value) -> EBinding (BVar (var_to_binder var), value))
-- 
cgit v1.2.3