Add tests for unused variables

tsoding · May 28, 2024 · cb09d47 · cb09d47
1 parent abeed02
commit cb09d47
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 1 deletion.
diff --git a/tests.list b/tests.list
@@ -17,4 +17,5 @@
 ./tests/real.tula,run
 ./tests/string.tula,run
 ./tests/left-tape.tula,run
-./tests/double-subst.tula,ignore
+./tests/double-subst.tula,ignore
+./tests/unused-vars.tula,run
diff --git a/tests/unused-vars.tula b/tests/unused-vars.tula
@@ -0,0 +1,5 @@
+trace . { . }
+
+for a b in { 1 2 3 } {
+    case . . . . .
+}
diff --git a/tests/unused-vars.tula.expect b/tests/unused-vars.tula.expect
@@ -0,0 +1,3 @@
+./tests/unused-vars.tula:4:5: ERROR: not all variables in the scope are used in the input of the case
+./tests/unused-vars.tula:3:5: NOTE: unused variable a
+./tests/unused-vars.tula:3:7: NOTE: unused variable b