[m-rev.] trivial diff: fix failure of valid/csharp_hello
Julien Fischer
juliensf at csse.unimelb.edu.au
Wed Dec 20 15:30:47 AEDT 2006
Estimated hours taken: 0.1
Branches: main
Fix the failure of valid/csharp_hello.m in some grades.
tests/valid/Mercury.options:
For the tests that build .il files make sure that we reset all of
the grade components rather than target.
Delete some residual aditi stuff.
Julien.
Index: Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/valid/Mercury.options,v
retrieving revision 1.32
diff -u -r1.32 Mercury.options
--- Mercury.options 4 May 2006 08:34:56 -0000 1.32
+++ Mercury.options 20 Dec 2006 04:29:29 -0000
@@ -18,23 +18,13 @@
GRADEFLAGS-agc_unbound_typevars = --gc accurate
GRADEFLAGS-agc_unbound_typevars2 = --gc accurate
GRADEFLAGS-agc_unused_in = --gc accurate
-GRADEFLAGS-csharp_hello = --il
-GRADEFLAGS-foreign_type_spec = --il
-GRADEFLAGS-foreign_type_spec.foreign = --il
+GRADEFLAGS-csharp_hello = --grade il
+GRADEFLAGS-foreign_type_spec = --grade il
+GRADEFLAGS-foreign_type_spec.foreign = --grade il
-MCFLAGS-aditi_calls_mercury = --aditi --aditi-calls-mercury
-MCFLAGS-aditi_error_bug = --aditi
-MCFLAGS-aditi_error_bug2 = --aditi
-MCFLAGS-aditi_error_bug3 = --aditi
-MCFLAGS-aditi_private_builtin = --allow-stubs
-MCFLAGS-aditi_query = --aditi-only
-MCFLAGS-aditi_update = --aditi
-MCFLAGS-base_relation2 = --aditi
-MCFLAGS-base_relation = --aditi
MCFLAGS-builtin_false = --intermodule-optimization
MCFLAGS-compl_unify_bug = -O3
MCFLAGS-constraint_prop_bug = -O0 --common-struct --local-constraint-propagation
-MCFLAGS-context_anc = --aditi
MCFLAGS-deforest_bug = -O3
MCFLAGS-deforest_loop = -O3 --intermodule-optimization
MCFLAGS-deforest_rerun_det = -O3 --check-termination
@@ -80,7 +70,6 @@
MCFLAGS-intermod_user_equality = --intermodule-optimization
MCFLAGS-intermod_user_equality_nested2 = --intermodule-optimization
MCFLAGS-intermod_user_equality_nested = --intermodule-optimization
-MCFLAGS-ite_to_disj = --aditi
MCFLAGS-lambda_inference = --infer-all
MCFLAGS-livevals_seq = -O5 --opt-space
MCFLAGS-loop_inv_bug = --common-struct --loop-invariants
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list