#!/usr/bin/env bash
#
# The pre-push gate: formatting, lints, and tests at every feature
# configuration gqls ships. Stops at the first failure with a nonzero status.
#
#     script/check.sh
#
# Why a script rather than a chain of cargo commands: a shell pipeline's exit
# status is its LAST command's, so `cargo clippy … | tail -1` reports success
# even when clippy failed, and a `&& echo all-green` after it lies. `pipefail`
# below makes that impossible here; don't filter cargo through head/tail when
# you're gating on the result.
#
# If a build ever fails with an error that contradicts the source — an arity
# mismatch pointing at a signature that plainly has the right number of
# parameters — the target dir has a stale artifact. `cargo clean -p gqls-cli`
# clears it; a full `cargo clean` re-downloads ONNX Runtime, so avoid that.

set -euo pipefail

cd "$(dirname "${BASH_SOURCE[0]}")/.."

step() { printf '\n=== %s\n' "$*"; }

step "fmt"
cargo fmt --check

step "clippy — default features (semantic)"
cargo clippy --all-targets -- -D warnings

step "clippy — fuzzy-only build"
cargo clippy --all-targets --no-default-features -- -D warnings

step "check — semantic-dynamic (what Homebrew builds)"
cargo check --no-default-features --features semantic-dynamic

step "tests — default features"
cargo test

step "tests — fuzzy-only build"
cargo test --no-default-features

printf '\nall green\n'