[m-rev.] diff: delete tests/hard_coded

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

tests/Mmakefile:
tests/typeclasses/Mmakefile:
tests/typeclasses/abstract_typeclasses.exp:
tests/typeclasses/abstract_typeclasses.m:
	Delete this test case, and the directory containing it, since
	(a) it is in the wrong place, and
	(b) there is already a test for this feature
	    in tests/hard_coded/typeclasses
	    (abstract_typeclass.m and use_abstract_typeclass.m).

Workspace: /home/ceres/fjh/mercury
Index: tests/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/Mmakefile,v
retrieving revision 1.7
diff -u -d -r1.7 Mmakefile
--- tests/Mmakefile	30 Oct 2002 06:15:49 -0000	1.7
+++ tests/Mmakefile	31 Oct 2002 07:02:19 -0000
@@ -10,7 +10,6 @@
 	misc_tests \
 	tabling \
 	term \
-	typeclasses \
 	valid \
 	warnings
 TESTS_DIR=.
Index: tests/typeclasses/Mmakefile
===================================================================
RCS file: tests/typeclasses/Mmakefile
diff -N tests/typeclasses/Mmakefile
--- tests/typeclasses/Mmakefile	30 Oct 2002 06:15:57 -0000	1.1
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1,31 +0,0 @@
-#-----------------------------------------------------------------------------#
-
-THIS_DIR = typeclasses
-
-#-----------------------------------------------------------------------------#
-
-# Any program added here should also be added to the `.cvsignore' file.
-
-ORDINARY_PROGS=	\
-		abstract_typeclasses
-
-EXCEPTION_PROGS =
-
-ifneq "$(findstring profdeep,$(GRADE))" ""
-	PROGS = $(ORDINARY_PROGS)
-else
-	PROGS = $(ORDINARY_PROGS) $(EXCEPTION_PROGS)
-endif
-
-NOT_WORKING =
-
-SUBDIRS =
-TESTS=$(PROGS)
-TESTS_DIR=..
-include $(TESTS_DIR)/Mmake.common
-
-# Module-specific options should go in Mercury.options so they
-# can be found by `mmc --make'.
-include Mercury.options
-
-%.runtest: %.res ;
Index: tests/typeclasses/abstract_typeclasses.exp
===================================================================
RCS file: tests/typeclasses/abstract_typeclasses.exp
diff -N tests/typeclasses/abstract_typeclasses.exp
--- tests/typeclasses/abstract_typeclasses.exp	30 Oct 2002 06:15:57 -0000	1.1
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1 +0,0 @@
-double(2) = 4
Index: tests/typeclasses/abstract_typeclasses.m
===================================================================
RCS file: tests/typeclasses/abstract_typeclasses.m
diff -N tests/typeclasses/abstract_typeclasses.m
--- tests/typeclasses/abstract_typeclasses.m	30 Oct 2002 06:15:57 -0000	1.1
+++ /dev/null	1 Jan 1970 00:00:00 -0000
@@ -1,44 +0,0 @@
-%-----------------------------------------------------------------------------%
-% abstract_typeclasses.m
-% Ralph Becket <rafe at cs.mu.oz.au>
-% Wed Oct 30 14:53:53 EST 2002
-% vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
-%
-%-----------------------------------------------------------------------------%
-
-:- module abstract_typeclasses.
-
-:- interface.
-
-:- import_module io, int.
-
-
-
-:- typeclass tc(T).
-
-:- instance tc(int).
-
-
-
-:- pred main(io::di, io::uo) is det.
-
-%-----------------------------------------------------------------------------%
-%-----------------------------------------------------------------------------%
-
-:- implementation.
-
-:- import_module string, list.
-
-
-
-:- typeclass tc(T) where [ func double(T) = T ].
-
-:- instance tc(int) where [ double(X) = X + X ].
-
-%-----------------------------------------------------------------------------%
-
-main(!IO) :-
-    io__format("double(2) = %d\n", [i(double(2))], !IO).
-
-%-----------------------------------------------------------------------------%
-%-----------------------------------------------------------------------------%

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
The University of Melbourne         |  of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh>  |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------