aboutsummaryrefslogblamecommitdiffhomepage
path: root/scripts/dhall_check.sh
blob: a3413ec97662bc8a3fc0839107f0253e66e83dcf (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15














                                                                
                               









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