1.1 --- a/test_all.sh	Tue Nov 29 00:47:19 2016 +0100
     1.2 +++ b/test_all.sh	Tue Nov 29 16:03:18 2016 +0100
     1.3 @@ -12,8 +12,7 @@
     1.4  check_type_warnings() {
     1.5  
     1.6      if [ -e "_deduced/type_warnings" ] && \
     1.7 -       [ `stat -c %s "_deduced/type_warnings"` -ne 0 ] && \
     1.8 -       ! expect_failure ; then
     1.9 +       [ `stat -c %s "_deduced/type_warnings"` -ne 0 ] ; then
    1.10  
    1.11         echo "Type warnings in deduced information." 1>&2
    1.12         return 1
    1.13 @@ -39,14 +38,19 @@
    1.14      # Run tests without an existing cache.
    1.15  
    1.16      echo "$FILENAME..." 1>&2
    1.17 -    if ! ./lplc "$FILENAME" -r ; then exit 1 ; fi
    1.18 +    if ! ./lplc "$FILENAME" -r ; then
    1.19 +        if ! expect_failure; then
    1.20 +            exit 1
    1.21 +        else
    1.22 +            echo 1>&2
    1.23 +            continue
    1.24 +        fi
    1.25 +    fi
    1.26  
    1.27      # Check for unresolved names in the cache.
    1.28  
    1.29      echo " (depends)..." 1>&2
    1.30 -    if grep '<depends>' -r "_cache" && \
    1.31 -       ! expect_failure ; then
    1.32 -
    1.33 +    if grep '<depends>' -r "_cache" ; then
    1.34         echo "Unresolved names in the cache." 1>&2
    1.35         exit 1
    1.36      fi