[m-rev.] diff: fix tests/debugger/polymorphic_output

Zoltan Somogyi zs at cs.mu.OZ.AU
Wed Mar 29 15:09:07 AEDT 2006


tests/debugger/Mmakefile:
	After my recent change to use functor and det_arg from deconstruct
	rather than std_util, do not expect the polymorphic_output test case
	to abort anymore, since with the version of det_arg returning a value
	of an existential type rather than a univ, there are now no type check
	involved.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/debugger/Mmakefile,v
retrieving revision 1.120
diff -u -b -r1.120 Mmakefile
--- Mmakefile	1 Mar 2006 22:58:47 -0000	1.120
+++ Mmakefile	28 Mar 2006 02:36:26 -0000
@@ -280,7 +280,7 @@
 	$(MDB_STD) ./poly_io_retry2 < poly_io_retry2.inp \
 		> poly_io_retry2.out 2>&1
 
-# The exception_cmd, exception_vars, polymorphic_output and loopcheck tests
+# The exception_cmd, exception_vars and loopcheck tests
 # are supposed to return a non-zero exit status, since they exit by throwing
 # an exception. We strip the goal paths from their exception events, since
 # the exact goal paths are dependent on optimization level. The stripping
@@ -426,19 +426,8 @@
 		sed 's/io.m:[0-9]*/io.m:NNNN/g' > output_term_dep.out 2>&1
 
 polymorphic_output.out: polymorphic_output polymorphic_output.inp
-	if $(MDB_STD) ./polymorphic_output < polymorphic_output.inp	\
-		> polymorphic_output.tmp 2>&1;			\
-	then							\
-		sed -e '/EXCP/s/).*/)/' < polymorphic_output.tmp\
-			> polymorphic_output.out 2>&1;		\
-		rm polymorphic_output.tmp;			\
-		false;						\
-	else							\
-		sed -e '/EXCP/s/).*/)/' < polymorphic_output.tmp\
-			> polymorphic_output.out 2>&1;		\
-		rm polymorphic_output.tmp;			\
-		true;						\
-	fi
+	$(MDB_STD) ./polymorphic_output < polymorphic_output.inp \
+		> polymorphic_output.out 2>&1;
 
 print_goal.out: print_goal print_goal.inp
 	$(MDB_STD) ./print_goal < print_goal.inp > print_goal.out 2>&1
cvs diff: Diffing declarative
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list