scripts/dhall_check.sh


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#!/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