diff options
author | Nadrieril | 2020-03-01 16:37:10 +0000 |
---|---|---|
committer | Nadrieril | 2020-03-05 15:58:54 +0000 |
commit | 24ff14dc98b83ddc12239a0eae4852c9cd87d41f (patch) | |
tree | 494279e9ae81be144d7eb3834e6080a7819aea47 /update-tests.sh | |
parent | e277fb2f7316fef5c20e7c485eeba1f14328d621 (diff) |
Add a lot of import tests
Diffstat (limited to '')
-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"; } |