From 214a918e54d49b7641df598ccc24dd09c0849304 Mon Sep 17 00:00:00 2001 From: RayPals Date: Mon, 1 Jun 2026 00:54:06 +0200 Subject: [PATCH] Add docs/V1_14_VALIDATION.md from Claro v1.17.26 zip --- docs/V1_14_VALIDATION.md | 31 +++++++++++++++++++++++++++++++ 1 file changed, 31 insertions(+) create mode 100644 docs/V1_14_VALIDATION.md diff --git a/docs/V1_14_VALIDATION.md b/docs/V1_14_VALIDATION.md new file mode 100644 index 0000000..7e12bf2 --- /dev/null +++ b/docs/V1_14_VALIDATION.md @@ -0,0 +1,31 @@ +# Claro v1.14.26 Validation + +Validated commands: + +```bash +gcc -std=c99 src/claro.c -O0 -o claro -lm +./claro --version +./claro test +./claro typecheck tests/typecheck_good.claro +./claro validate +``` + +Expected version: + +```text +Claro v1.14.26 +``` + +Expected test result: + +```text +PASS: 0 failure(s) +``` + +Expected typecheck result for `tests/typecheck_good.claro`: + +```text +Type check OK +``` + +`tests/typecheck_bad.claro` is intentionally bad and should report type errors.