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