[github/fretlink/ansible-clever.git] / scripts / dhall_check.sh

#!/usr/bin/env bash

pushd () {
  command pushd "$@" > /dev/null
}

popd () {
  command popd "$@" > /dev/null
}

go() {
  local ERROR=0;
  for file in $(find -type f -name "*.dhall"); do
    pushd $(dirname $file);
    cat $(basename $file) | dhall --explain resolve > /dev/null;
    echo "Typechecking ${file}"
    if [ "$?" -ne "0" ]; then
      echo "Failed to resolve $file"
      ERROR=1;
    fi;
    popd;
  done;
  exit $ERROR;
}

go
Commit	Line	Data
50a9e710 HAL	1	#!/usr/bin/env bash
	2
	3	pushd () {
	4	command pushd "$@" > /dev/null
	5	}
	6
	7	popd () {
	8	command popd "$@" > /dev/null
	9	}
	10
	11	go() {
	12	local ERROR=0;
	13	for file in $(find -type f -name "*.dhall"); do
	14	pushd $(dirname $file);
	15	cat $(basename $file) \| dhall --explain resolve > /dev/null;
8b59c20a	16	echo "Typechecking ${file}"
50a9e710 HAL	17	if [ "$?" -ne "0" ]; then
	18	echo "Failed to resolve $file"
	19	ERROR=1;
	20	fi;
	21	popd;
	22	done;
	23	exit $ERROR;
	24	}
	25
	26	go