]>
git.immae.eu Git - github/fretlink/ansible-clever.git/blob - scripts/dhall_check.sh
4 command pushd "$@" > /dev
/null
8 command popd "$@" > /dev
/null
13 for file in $(find -type f -name "*.dhall"); do
14 pushd $(dirname $file);
15 cat $(basename $file) | dhall
--explain resolve
> /dev
/null
;
16 echo "Typechecking ${file}"
17 if [ "$?" -ne "0" ]; then
18 echo "Failed to resolve $file"