[m-dev.] diff: disable copy_pred test for HLDS back-end

[Fergus Henderson]

Estimated hours taken: 0.25

tests/hard_coded/Mmakefile:
	Disable the `copy_pred' test case in hl* grade, since we don't
	pass it.  Also update some obsolete comments about other test
	cases that we don't pass.

NEWS:
	Document that calling copy/2 on higher-order terms is not
	supported in the MLDS back-end.  Also make the documentation
	about the limitations with compare/3 and unifification more
	precise.

Workspace: /home/pgrad/fjh/ws/hg
Index: NEWS
===================================================================
RCS file: /home/mercury1/repository/mercury/NEWS,v
retrieving revision 1.176
diff -u -d -r1.176 NEWS
--- NEWS	2000/10/03 02:21:37	1.176
+++ NEWS	2000/11/05 02:05:44
@@ -153,8 +153,10 @@
   The new back-end is not yet as mature or complete as the old back-end.
   It does not yet support the following standard Mercury features:
   	- abstractly exported equivalence types defined as `float'
-	- the `in = in' mode of unification for certain standard library
-	  types such as arrays and `univ'
+	- calling compare/3, or the `in = in' mode of unification,
+	  for certain standard library types (array__array/1,
+	  std_util__type_desc/0, and std_util__type_ctor_desc/0).
+	- calling copy/2 on higher-order terms
   It also does not support the following implemention-specific
   features that the old back-end supports:
 	- trailing
Index: tests/hard_coded/Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.97
diff -u -d -r1.97 Mmakefile
--- tests/hard_coded/Mmakefile	2000/10/31 02:01:19	1.97
+++ tests/hard_coded/Mmakefile	2000/11/05 01:54:49
@@ -22,7 +22,6 @@
 	common_type_cast \
 	compare_spec \
 	construct \
-	copy_pred \
 	curry \
 	curry2 \
 	cut_test \
@@ -116,6 +115,10 @@
 	write \
 	write_reg1
 
+# XXX copy_pred does not work in the hl* grades (e.g. hlc.gc),
+# because the MLDS back-end doesn't generate the closure layout
+# information needed to copy closures.
+#
 # factt_non does not work in the hl* grades (e.g. hlc.gc),
 # because the code for nondet fact tables assumes that
 # we're using the LLDS back-end.
@@ -125,7 +128,7 @@
 # be replaced by a test that exercises functionality enabled by type tables.
 # However, this must wait for the implementation of that functionality.
 ifeq "$(findstring hl,$(GRADE))" ""
-BACKEND_PROGS = factt_non type_tables
+BACKEND_PROGS = copy_pred factt_non type_tables
 else
 BACKEND_PROGS =
 endif
@@ -140,9 +143,10 @@
 SPLIT_PROGS =
 endif
 
-# we do no pass the following tests
-#	purity -- executable name clashes with the `purity' subdirectory
-#	var_not_found -- "sorry, not implemented" in polymorphism.m.
+# we do not pass the following tests
+#	var_not_found -- mode error in automatically generated unification
+#		predicate.  This test uses partially instantiated modes,
+#		which are not yet fully support.
 
 #-----------------------------------------------------------------------------#
 

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