]>
Commit | Line | Data |
---|---|---|
77e27a11 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; | |
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 |