]>
Commit | Line | Data |
---|---|---|
50a9e710 HAL |
1 | #!/usr/bin/env bash |
2 | ||
cc5df7bf | 3 | set -eo pipefail |
50a9e710 HAL |
4 | |
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 |
16 | done < <(find . -type f -name "*.dhall" -print0) | |
50a9e710 HAL |
17 | exit $ERROR; |
18 | } | |
19 | ||
20 | go |