Add docs/V1_14_VALIDATION.md from Claro v1.17.26 zip
This commit is contained in:
@@ -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.
|
||||||
Reference in New Issue
Block a user