[m-rev.] new disabled test case tests/valid/field_detism.m

Zoltan Somogyi zs at cs.mu.OZ.AU
Tue Dec 23 14:32:21 AEDT 2003


tests/valid/field_detism.m:
	New test case to test a limitation of the determinism system,
	caused by insufficient propagation of mode information.

tests/valid/Mmakefile:
	Add the new test case to the list of test case we don't yet pass.

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/valid/Mmakefile,v
retrieving revision 1.136
diff -u -b -r1.136 Mmakefile
--- Mmakefile	5 Dec 2003 04:18:32 -0000	1.136
+++ Mmakefile	22 Dec 2003 01:50:05 -0000
@@ -201,6 +201,7 @@
 # XXX The mode system can't handle the following test cases yet:
 #	assoc_list_bug
 #	determinism
+#	field_detism
 #	inst_perf_bug_2
 #	mode_merge_insts
 #	unify_inst_bug
Index: field_detism.m
===================================================================
RCS file: field_detism.m
diff -N field_detism.m
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ field_detism.m	22 Dec 2003 01:42:37 -0000
@@ -0,0 +1,17 @@
+:- module field_detism.
+
+:- interface.
+
+:- type t
+	--->	a
+	;	b(x :: int).
+
+:- pred p(t::in, t::out) is det.
+
+:- implementation.
+
+:- import_module int.
+
+p(a, a).
+p(T0 @ b(N), T) :-
+	T = T0 ^ x := N + 1.
--------------------------------------------------------------------------
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