scripts/dhall_check.sh

   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;
  16     echo "Type checking ${file}"
  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