diff --git a/tests/typecheck_bad.claro b/tests/typecheck_bad.claro
new file mode 100644
index 0000000..d893505
--- /dev/null
+++ b/tests/typecheck_bad.claro
@@ -0,0 +1,4 @@
+SET score NUMBER 10
+SET score "hello"
+SET name TEXT 5
+CHECK TYPE score IS TEXT