From 66972b05e5996132a83332ef0c6879c3a1679dc7 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 11 Mar 2020 17:26:09 +0000
Subject: Implement record puns

---
 update-tests.sh | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

(limited to 'update-tests.sh')

diff --git a/update-tests.sh b/update-tests.sh
index 7be40c4..ce5a67c 100755
--- a/update-tests.sh
+++ b/update-tests.sh
@@ -75,16 +75,18 @@ function generate_output_file() {
     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"
-            if [ "$folder" = "parser" ]; then
-                cat "$OUTPUT_FILE" | cbor2diag.rb > "${file}B.diag"
-            fi
         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
@@ -94,7 +96,7 @@ if [ "$1" = "missing" ]; then
             # 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 file; do
+                | while read -r file; do
                     generate_output_file "$folder" "$file"
                 done
         done
@@ -105,10 +107,11 @@ elif [ "$1" = "add" ]; then
     #   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 file contents; do
+    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
-- 
cgit v1.2.3