#!/usr/bin/env bash

ERR=0
function report {
    if [[ "$1" -eq 0 ]]
    then
        echo "ok - $2"
    else
        echo "not ok - $2"
        ERR=1
    fi
}

cabal build
report "$?" "cabal build"

cabal test --show-details=streaming
report "$?" "cabal test"

for F in test/data/*.json
do
    OUTPUT=$(NIX_EVAL_EXTRA_IMPORTS='[("runtime-arbitrary", "TestInstances")]' \
               cabal run -v0 reduce-equations < "$F")
    report "$?" "Reducing $F"

    echo "$OUTPUT" | grep '^{'
    report "$?" "Got equations from $F"
done

exit "$ERR"