From 62c6eed502bb35250f692bbca5f928e88700e254 Mon Sep 17 00:00:00 2001
From: RayPals <raypals@noreply.codeberg.org>
Date: Mon, 1 Jun 2026 00:52:13 +0200
Subject: [PATCH] Add tests/semantic_check_demo.claro from Claro v1.17.26 zip

---
 tests/semantic_check_demo.claro | 7 +++++++
 1 file changed, 7 insertions(+)
 create mode 100644 tests/semantic_check_demo.claro

diff --git a/tests/semantic_check_demo.claro b/tests/semantic_check_demo.claro
new file mode 100644
index 0000000..fceedd5
--- /dev/null
+++ b/tests/semantic_check_demo.claro
@@ -0,0 +1,7 @@
+TEACH add TAKES a, b
+    RETURN a + b
+LEARNED
+
+CALL add WITH 1, 2
+CALL add WITH 1        # warning: missing arg
+CALL missing WITH 1    # error: unknown function