From 5c31e2539bae080178a08b5886e97dc215a7dfc0 Mon Sep 17 00:00:00 2001
From: Ryota Kobayashi <ryota5884@icloud.com>
Date: Mon, 19 Dec 2022 17:55:58 +0900
Subject: [PATCH] Variable names are displayed in variable shadowing

---
 src/simpleChecker.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/simpleChecker.ml b/src/simpleChecker.ml
index 6e6382c9..9a1c838c 100644
--- a/src/simpleChecker.ml
+++ b/src/simpleChecker.ml
@@ -185,7 +185,7 @@ let init_tyenv fenv { name; args; _ } =
 
 let add_var v t ctxt =
   if StringMap.mem v ctxt.tyenv then
-    failwith "variable shadowing"
+    failwith ("variable shadowing: " ^ v)
   else
     { ctxt with tyenv = StringMap.add v t ctxt.tyenv }