1.1 --- a/test_all.sh Tue Dec 13 00:58:52 2016 +0100
1.2 +++ b/test_all.sh Tue Dec 13 00:59:23 2016 +0100
1.3 @@ -73,10 +73,13 @@
1.4 # Check for unresolved names in the cache.
1.5
1.6 echo " (depends)..." 1>&2
1.7 - if grep '<depends>' -r "_cache" ; then
1.8 - echo "Unresolved names in the cache." 1>&2
1.9 - exit 1
1.10 - fi
1.11 + for CACHEFILE in "_cache/"* ; do
1.12 + STARTLINE=`grep -n '^deferred:' "$CACHEFILE" | cut -d: -f 1`
1.13 + if tail -n +$(($STARTLINE + 2)) "$CACHEFILE" | grep -q '<depends>' ; then
1.14 + echo "Unresolved names in the cache." 1>&2
1.15 + exit 1
1.16 + fi
1.17 + done
1.18
1.19 # Check for type warnings in deduction output.
1.20