trivial diff: update warning test case output
Simon Taylor
stayl at cs.mu.OZ.AU
Tue Aug 25 20:27:00 AEST 1998
Estimated hours taken: 0.1
tests/warnings/simple_code.m:
Update the output, which changed because the removal of
goals with no outputs was disabled (I think).
Index: simple_code.exp
===================================================================
RCS file: /home/staff/zs/imp/tests/warnings/simple_code.exp,v
retrieving revision 1.2
diff -u -t -u -r1.2 simple_code.exp
--- simple_code.exp 1998/06/17 05:14:14 1.2
+++ simple_code.exp 1998/08/25 10:22:54
@@ -5,7 +5,10 @@
simple_code.m:020: Warning: the condition of this if-then-else cannot succeed.
simple_code.m:025: Warning: the condition of this if-then-else cannot succeed.
simple_code.m:030: Warning: the condition of this if-then-else cannot succeed.
+simple_code.m:018: Warning: the negated goal cannot succeed.
+simple_code.m:023: Warning: the negated goal cannot succeed.
simple_code.m:033: Warning: the negated goal cannot succeed.
+simple_code.m:038: Warning: the negated goal cannot succeed.
simple_code.m:039: Warning: call to obsolete predicate `simple_code:obsolete/0'.
simple_code.m:064: Warning: this disjunct will never have any solutions.
simple_code.m:097: Warning: recursive call will lead to infinite recursion.
More information about the developers
mailing list