Variable names are displayed in variable shadowing

SoftwareFoundationGroupAtKyotoU · Dec 19, 2022 · 5c31e25 · 5c31e25
1 parent ab43ff8
commit 5c31e25
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 }