[m-rev.] diff: new disabled test case invalid/bad_detism.m

[Zoltan Somogyi]

tests/invalid/bad_detism.m:
	New test case to test a bug in the parser.

tests/invalid/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/invalid/Mmakefile,v
retrieving revision 1.144
diff -u -b -r1.144 Mmakefile
--- Mmakefile	1 Dec 2003 15:56:10 -0000	1.144
+++ Mmakefile	21 Dec 2003 23:39:18 -0000
@@ -189,6 +189,7 @@
 #	ho_default_func_4 (due to a bug in the mode-checker ---
 #			see XXX comment in inst_match:inst_matches_final_3)
 #	inst_matches_final_bug (due to same bug as ho_default_func_4)
+#	bad_detism (error check not yet implemented)
 
 #-----------------------------------------------------------------------------#
 
Index: bad_detism.m
===================================================================
RCS file: bad_detism.m
diff -N bad_detism.m
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ bad_detism.m	21 Dec 2003 23:39:47 -0000
@@ -0,0 +1,12 @@
+:- module bad_detism.
+
+:- interface.
+
+% There should be no determinism clause on a pred declaration without modes.
+
+:- pred p(string) is det.
+:- mode p(out) is det.
+
+:- implementation.
+
+p("xyzzy").
cvs diff: Diffing purity
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------