diff options
Diffstat (limited to 'update-tests.sh')
-rwxr-xr-x | update-tests.sh | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/update-tests.sh b/update-tests.sh index 91ac2ed..6192763 100755 --- a/update-tests.sh +++ b/update-tests.sh @@ -13,6 +13,7 @@ END ) cd "$(dirname "$0")" || exit 1 +export DHALL_TEST_VAR=42 if [ ! -x "$(which dhall)" ] ; then echo "Error: 'dhall' executable not found in PATH" @@ -45,7 +46,7 @@ function semantic-hash_process() { function import_input_file() { echo "$1A.dhall"; } function import_output_file() { echo "$1B.dhall"; } function import_process() { - dhall resolve --file "$1" + dhall --file "$1" } function type-inference_input_file() { echo "$1A.dhall"; } @@ -57,7 +58,7 @@ function type-inference_process() { function normalization_input_file() { echo "$1A.dhall"; } function normalization_output_file() { echo "$1B.dhall"; } function normalization_process() { - dhall resolve --file "$1" | dhall normalize + dhall --file "$1" } function alpha-normalization_input_file() { echo "$1A.dhall"; } |