blob: ce5a67c466e7884762a400123243907c46445a05 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
|
#!/usr/bin/env bash
# This script generates the missing "...B.dhall" files in tests.
# It needs to have a valid `dhall` executable in the PATH.
# It also uses the `fd` command (https://github.com/sharkdp/fd), until
# someone comes up with the correct equivalent `find` invocation.
#
# Usage:
# $ ./update-tests.sh
usage_text=$(cat <<-END
Usage: update-tests.sh [missing | add]
END
)
cd "$(dirname "$0")" || exit 1
export DHALL_TEST_VAR="6 * 7"
if [ ! -x "$(which dhall)" ] ; then
echo "Error: 'dhall' executable not found in PATH"
fi
if [ ! -x "$(which fd)" ] ; then
echo "Error: 'fd' executable not found in PATH"
fi
if [ ! -x "$(which cbor2diag.rb)" ] ; then
echo "Error: 'cbor2diag.rb' executable not found in PATH"
fi
function parser_input_file() { echo "$1A.dhall"; }
function parser_output_file() { echo "$1B.dhallb"; }
function parser_process() {
dhall encode --file "$1"
}
function binary-decode_input_file() { echo "$1A.dhallb"; }
function binary-decode_output_file() { echo "$1B.dhall"; }
function binary-decode_process() {
dhall decode --file "$1"
}
function semantic-hash_input_file() { echo "$1A.dhall"; }
function semantic-hash_output_file() { echo "$1B.hash"; }
function semantic-hash_process() {
dhall hash --file "$1"
}
function import_input_file() { echo "$1A.dhall"; }
function import_output_file() { echo "$1B.dhall"; }
function import_process() {
dhall --file "$1"
}
function type-inference_input_file() { echo "$1A.dhall"; }
function type-inference_output_file() { echo "$1B.dhall"; }
function type-inference_process() {
dhall resolve --file "$1" | dhall type
}
function normalization_input_file() { echo "$1A.dhall"; }
function normalization_output_file() { echo "$1B.dhall"; }
function normalization_process() {
dhall --file "$1"
}
function alpha-normalization_input_file() { echo "$1A.dhall"; }
function alpha-normalization_output_file() { echo "$1B.dhall"; }
function alpha-normalization_process() {
dhall normalize --alpha --file "$1"
}
tmpfile=$(mktemp -t update-tests.XXXXXX)
trap "{ rm -f $tmpfile; }" EXIT
function generate_output_file() {
folder="$1"
file="$2"
INPUT_FILE="$(${folder}_input_file "$file")"
OUTPUT_FILE="$(${folder}_output_file "$file")"
if [ ! -f "$OUTPUT_FILE" ]; then
echo "$OUTPUT_FILE"
${folder}_process "$INPUT_FILE" > "$tmpfile"
if [ $? -eq 0 ]; then
mv "$tmpfile" "$OUTPUT_FILE"
fi
fi
if [ -f "$OUTPUT_FILE" -a "$folder" = "parser" -a ! -f "${file}B.diag" ]; then
cat "$OUTPUT_FILE" | cbor2diag.rb > "${file}B.diag"
fi
}
if [ "$1" = "missing" ]; then
echo "Generating missing output files..."
for folder in parser binary-decode semantic-hash import type-inference normalization alpha-normalization; do
for root in "dhall-lang/tests" "dhall/tests"; do
# This is not robust to spaces in filenames, but hopefully there should be none
fd 'A\.dhallb?$' "$root/$folder/success" \
| sed 's/A.dhallb\?$//' \
| while read -r file; do
generate_output_file "$folder" "$file"
done
done
done
elif [ "$1" = "add" ]; then
# Takes in stdin lists of a path and file contents, like:
# normalization/unit/TextShowEmpty Text/show ""
# This will add a test to the local tests folder for each such line, and generate
# the output using the `dhall` command in the PATH.
while read -r file contents; do
folder="$(echo "$file" | cut -d/ -f1)"
is_success="$(echo "$file" | cut -d/ -f2)"
file="./dhall/tests/$file"
# file="./dhall-lang/tests/$file"
mkdir -p "$(dirname "$file")"
if [ "$is_success" = "success" ]; then
INPUT_FILE="${file}A.dhall"
echo "$contents" > $INPUT_FILE
generate_output_file "$folder" "$file"
else
INPUT_FILE="${file}.dhall"
echo "$contents" > $INPUT_FILE
fi
done
else
echo "$usage_text"
fi
|
