# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1473350862 -7200
# Node ID 452b048ec4e93ba7295c64269eed02936a065a65
# Parent  22b071aeca2fbb6845597760d1699185a9aef2cc
Improved testing for unresolved names in inspected programs.
Tidied up the output slightly.

diff -r 22b071aeca2f -r 452b048ec4e9 test_all.sh
--- a/test_all.sh	Thu Sep 08 18:07:07 2016 +0200
+++ b/test_all.sh	Thu Sep 08 18:07:42 2016 +0200
@@ -16,16 +16,19 @@
 
     echo "$FILENAME..." 1>&2
     if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi
-    echo 1>&2
+
+    # Check for unresolved names in the cache.
+
+    echo " (depends)..." 1>&2
+    if grep '<depends>' -r "_cache" && \
+       ! echo "$FILENAME" | grep -q '_bad[._]' ; then
+       exit 1
+    fi
 
     # Run tests with an existing cache.
 
-    echo "$FILENAME (cached)..." 1>&2
+    echo " (cached)..." 1>&2
     if ! ./lplc "$FILENAME" ; then exit 1 ; fi
     echo 1>&2
 
-    # Check for unresolved names in the cache.
-
-    if grep -e '<depends>' -r "_cache" ; then exit 1 ; fi
-
 done