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

#!/usr/bin/env bash

set -eo pipefail

go() {
  local ERROR=0
  while IFS= read -r -d '' file
  do
    cd "$(dirname "$file")" || exit
    echo "Typechecking ${file}"
    if ! dhall --explain resolve < "$(basename "$file")" >/dev/null; then
      echo "Failed to resolve $file"
      ERROR=1
    fi;
    cd - >/dev/null || exit
  done <   <(find . -type f -name "*.dhall" -print0)
  exit $ERROR;
}

go
Commit	Line	Data
50a9e710 HAL	1	#!/usr/bin/env bash
50a9e710 HAL	2
cc5df7bf	3	set -eo pipefail
50a9e710 HAL	4
50a9e710 HAL	5	go() {
cc5df7bf PB	6	local ERROR=0
	7	while IFS= read -r -d '' file
	8	do
	9	cd "$(dirname "$file")" \|\| exit
8b59c20a	10	echo "Typechecking ${file}"
cc5df7bf	11	if ! dhall --explain resolve < "$(basename "$file")" >/dev/null; then
50a9e710	12	echo "Failed to resolve $file"
cc5df7bf	13	ERROR=1
50a9e710	14	fi;
cc5df7bf PB	15	cd - >/dev/null \|\| exit
cc5df7bf PB	16	done < <(find . -type f -name "*.dhall" -print0)
50a9e710 HAL	17	exit $ERROR;
	18	}
	19
	20	go