[m-rev.] diff: delete redundant test case

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

tests/invalid/Mmakefile:
tests/invalid/missing_instance_decl.m:
tests/invalid/missing_instance_decl.err_exp:
	Delete this test case.  It just duplicates the (more recently added)
	missing_concrete_instance test.  This version was never enabled
	because the necessary check in the compiler wasn't implemented.
	A separate test case was added when it was implemented.

Julien.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.180
diff -u -r1.180 Mmakefile
--- Mmakefile	14 Oct 2005 01:42:55 -0000	1.180
+++ Mmakefile	20 Oct 2005 02:24:20 -0000
@@ -233,7 +233,6 @@
 #			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)

 # XXX we do not currently pass the following tests:
 #	nonexistent_import (it is unclear whether the new output is OK or not)
Index: missing_instance_decl.err_exp
===================================================================
RCS file: missing_instance_decl.err_exp
diff -N missing_instance_decl.err_exp
--- missing_instance_decl.err_exp	8 Jan 2004 07:16:54 -0000	1.1
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1,2 +0,0 @@
-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
--- missing_instance_decl.m	8 Jan 2004 07:16:54 -0000	1.1
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1,9 +0,0 @@
-:- module missing_instance_decl.
-
-:- interface.
-
-:- typeclass foo(A) where [
-	pred b(A::in) is semidet
-].
-
-:- instance foo(int).

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------