[m-dev.] diff: add some failing test cases

Fergus Henderson fjh at cs.mu.OZ.AU
Thu Sep 21 19:09:32 AEDT 2000


Estimated hours taken: 0.75

tests/invalid/typeclass_mode_2.m:
tests/invalid/typeclass_mode_3.m:
tests/invalid/typeclass_mode_4.m:
	Add some new tests, for which the compiler currently calls error/1.

tests/invalid/Mmakefile:
	Document that we do not yet pass the new tests.

Workspace: /home/pgrad/fjh/ws/hg
Index: tests/invalid/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/invalid/Mmakefile,v
retrieving revision 1.74
diff -u -d -r1.74 Mmakefile
--- tests/invalid/Mmakefile	2000/09/20 11:59:44	1.74
+++ tests/invalid/Mmakefile	2000/09/21 08:07:13
@@ -112,6 +112,7 @@
 #	typeclass_test_8.m (minor formatting error in the output --
 #			the type class name should be in quotes;
 #			also a software_error)
+#	typeclass_mode_{2,3,4}.m (compiler calls error/1)
 
 MCFLAGS-aditi_errors =		--aditi
 MCFLAGS-aditi_state_errors =	--aditi
Index: tests/invalid/typeclass_mode_2.m
===================================================================
RCS file: typeclass_mode_2.m
diff -N typeclass_mode_2.m
--- /dev/null	Sat Aug  7 21:45:41 1999
+++ typeclass_mode_2.m	Thu Sep 14 14:05:42 2000
@@ -0,0 +1,10 @@
+:- module typeclass_mode_2.
+:- interface.
+
+:- typeclass c(T) where [
+	mode p(in) is det
+].
+
+:- implementation.
+
+p(_).
Index: tests/invalid/typeclass_mode_3.m
===================================================================
RCS file: typeclass_mode_3.m
diff -N typeclass_mode_3.m
--- /dev/null	Sat Aug  7 21:45:41 1999
+++ typeclass_mode_3.m	Thu Sep 21 19:03:41 2000
@@ -0,0 +1,13 @@
+:- module typeclass_mode_3.
+:- interface.
+
+:- pred p(T).
+
+:- typeclass c(T) where [
+	mode p(in) is det
+].
+
+:- implementation.
+
+p(_).
+
Index: tests/invalid/typeclass_mode_4.m
===================================================================
RCS file: typeclass_mode_4.m
diff -N typeclass_mode_4.m
--- /dev/null	Sat Aug  7 21:45:41 1999
+++ typeclass_mode_4.m	Thu Sep 21 19:04:46 2000
@@ -0,0 +1,13 @@
+:- module typeclass_mode_4.
+:- interface.
+
+:- pred p(T) <= c(T).
+
+:- typeclass c(T) where [
+	mode p(in) is det
+].
+
+:- implementation.
+
+p(_).
+

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "I have always known that the pursuit
WWW: <http://www.cs.mu.oz.au/~fjh>  |  of excellence is a lethal habit"
PGP: finger fjh at 128.250.37.3        |     -- the last words of T. S. Garp.
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list