#!/usr/bin/env bash
# Type-check the library and every example with vetting on.
set -euo pipefail
cd "$(dirname "$0")/.."
echo "== pdf =="
odin check . -no-entry-point -vet-unused -vet-shadowing -vet-using-stmt -warnings-as-errors
for d in examples/*/; do
    [ -f "$d/main.odin" ] || continue
    echo "== $d =="
    odin check "$d" -vet-unused -vet-shadowing -warnings-as-errors
done
echo "OK"