[m-rev.] for review: missing_instance_decl

[Zoltan Somogyi]

For review by Fergus.

tests/invalid/missing_instance_decl.{m,err_exp}:
	Add a test case with an abstract instance declaration without a
	concrete instance declaration.

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

Zoltan.

cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.146
diff -u -b -r1.146 Mmakefile
--- Mmakefile	5 Jan 2004 14:32:01 -0000	1.146
+++ Mmakefile	8 Jan 2004 04:48:09 -0000
@@ -193,6 +193,7 @@
 #			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)
+#	missing_instance_decl (error check seems not to be implemented)
 
 #-----------------------------------------------------------------------------#
 
Index: missing_instance_decl.err_exp
===================================================================
RCS file: missing_instance_decl.err_exp
diff -N missing_instance_decl.err_exp
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ missing_instance_decl.err_exp	8 Jan 2004 04:48:56 -0000
@@ -0,0 +1,2 @@
+Replace this file with the expected error message when the compiler is
+modified to generate one.
Index: missing_instance_decl.m
===================================================================
RCS file: missing_instance_decl.m
diff -N missing_instance_decl.m
--- /dev/null	1 Jan 1970 00:00:00 -0000
+++ missing_instance_decl.m	8 Jan 2004 04:46:44 -0000
@@ -0,0 +1,9 @@
+:- module missing_instance_decl.
+
+:- interface.
+
+:- typeclass foo(A) where [
+	pred b(A::in) is semidet
+].
+
+:- instance foo(int).
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
--------------------------------------------------------------------------