[m-rev.] diff: fix test case failure

Simon Taylor stayl at cs.mu.OZ.AU
Thu Apr 25 18:34:39 AEST 2002


Estimated hours taken: 0.1
Branches: main

tests/valid/Mmakefile:
	foreign_type_spec.m contains a `pragma foreign_type(il, ...)'
	declaration, so always compile it in grade `il'.

Index: Mmakefile
===================================================================
RCS file: /home/mercury1/repository/tests/valid/Mmakefile,v
retrieving revision 1.97
diff -u -u -r1.97 Mmakefile
--- Mmakefile	23 Apr 2002 17:49:19 -0000	1.97
+++ Mmakefile	25 Apr 2002 07:01:17 -0000
@@ -46,6 +46,10 @@
 RLO_SOURCES= \
 	aditi_query.m
 
+	# Tests for which we should only produce a `.il' file.
+IL_SOURCES = \
+	foreign_type_spec.m
+
 OTHER_SOURCES= \
 	any_inst_merge.m \
 	common_struct_bug.m \
@@ -70,7 +74,6 @@
 	explicit_quant.m \
 	fail_ite.m \
 	followcode_det_problem.m \
-	foreign_type_spec.m \
 	func_int_bug_main.m \
 	func_default_modes.m \
 	headvar_not_found.m \
@@ -225,9 +228,11 @@
 	ALL_RLO_SOURCES = $(RLO_SOURCES)
 endif
 
-ALL_SOURCES = $(SOURCES) $(ALL_RLO_SOURCES)
+ALL_SOURCES = $(SOURCES) $(ALL_RLO_SOURCES) $(IL_SOURCES)
 DEPS =	$(ALL_SOURCES:%.m=%.depend)
-OBJS =	$(SOURCES:%.m=$(os_subdir)%.$O) $(ALL_RLO_SOURCES:%.m=$(rlos_subdir)%.rlo)
+OBJS =	$(SOURCES:%.m=$(os_subdir)%.$O) \
+		$(ALL_RLO_SOURCES:%.m=$(rlos_subdir)%.rlo) \
+		$(IL_SOURCES:%.m=$(ils_subdir)%.il)
 PROGS =	$(SOURCES:%.m=%)
 
 all:	objs
@@ -243,6 +248,8 @@
 GRADEFLAGS-agc_unused_in	= --gc accurate
 GRADEFLAGS-complex_failure	= --use-trail
 GRADEFLAGS-semi_fail_in_non_ite	= --use-trail
+GRADEFLAGS-foreign_type_spec	= --grade il
+GRADEFLAGS-foreign_type_spec.foreign	= --grade il
 
 MCFLAGS-aditi_error_bug		= --aditi
 MCFLAGS-aditi_error_bug2	= --aditi
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list