diff --git a/tests/typecheck_good.claro b/tests/typecheck_good.claro
new file mode 100644
index 0000000..56c35a8
--- /dev/null
+++ b/tests/typecheck_good.claro
@@ -0,0 +1,8 @@
+SET score NUMBER 10
+SET score 20
+SET name TEXT "Jon"
+SET happy YESNO YES
+TYPE OF score AS kind
+CHECK TYPE score IS NUMBER
+NEW Player player
+CHECK TYPE player IS OBJECT