Merge pull request #31 from SoftwareFoundationGroupAtKyotoU/feature/v…

…ariable-names-are-also-displayed-in-variable-shadowing Variable names are also displayed in variable shadowing
SoftwareFoundationGroupAtKyotoU · Mar 15, 2023 · c7f3094 · c7f3094
2 parents ab43ff8 + 5c31e25
commit c7f3094
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 }