[m-rev.] diff: disable failing `hlc' grade tests

[Fergus Henderson]

Estimated hours taken: 0.25
Branches: main

hard_coded/Mmakefile:
	Disable the nondet C tests for non-GC hl* grades, since it
	is not yet supported in those grades (it gets a "sorry,
	not implemented message).

Workspace: /mnt/roy/fjh/traveller/mercury
cvs diff: Diffing .
Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/hard_coded/Mmakefile,v
retrieving revision 1.168
diff -u -d -u -r1.168 Mmakefile
--- Mmakefile	2002/10/20 10:22:17	1.168
+++ Mmakefile	2002/10/23 05:05:22
@@ -220,11 +220,15 @@
 	BACKEND_PROGS =
 endif
 
-# The MLDS back-end doesn't support nondet C in trailing grades.
+# The MLDS back-end doesn't support nondet C in trailing grades,
+# or in no-GC grades (except with --no-reclaim-heap-on-failure).
 # We also don't support nondet C in deep profiling grades.
 ifeq "$(findstring hl,$(GRADE))$(findstring .tr,$(GRADE))" "hl.tr"
 	NONDET_C_PROGS =
 else
+   ifeq "$(findstring hl,$(GRADE))$(findstring .gc,$(GRADE))" "hl"
+	NONDET_C_PROGS =
+   else
 	ifneq "$(findstring profdeep,$(GRADE))" ""
 		NONDET_C_PROGS =
 	else
@@ -232,6 +236,7 @@
 			inline_nondet_pragma_c \
 			nondet_c
 	endif
+   endif
 endif
 
 PROGS = $(ORDINARY_PROGS) $(CLOSURE_LAYOUT_PROGS) $(EXCEPTION_PROGS) \
cvs diff: Diffing exceptions
cvs diff: Diffing purity
cvs diff: Diffing sub-modules
cvs diff: Diffing typeclasses
-- 
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
--------------------------------------------------------------------------