[m-rev.] diff: make complicated_constraints test case harder to pass

[Julien Fischer]

I have been looking into the failure of the complicated_constraints test
case in deep profiling grades.  The good news is that it is nothing to do
with the deep profiler, which now passes all the tests in the test suite
that (a) aren't failing in other grades as well or (b) catch exceptions or
do something else that doesn't (yet) work with deep profiling.

(NOTE: this was with the workaround for the deep profiling bug, not 
the proper fix.)

The bad news is that for the complicated_constraints test case something is
going wrong with how the RTTI varmaps are set up.  I'm still looking into
this one.  (It's a regression from 0.13 since the test case worked then.)
One problem with this bug is that inlining tends to mask it, which is why
it only shows up in deep profiling and debug grades (in different places,
although that's due to --body-typeinfo-liveness being enabled in the
latter.)

The following diff makes the bug show up more readily.

Estimated hours taken: 0.1
Branches: main

tests/hard_coded/typeclasses/Mercury.options:
 	Make the complicated_constraint test case harder to pass.
 	Inlining is masking a problem with the RTTI varmaps that breaks it.

Julien.

Index: tests/hard_coded/typeclasses/Mercury.options
===================================================================
RCS file: /home/mercury/mercury1/repository/tests/hard_coded/typeclasses/Mercury.options,v
retrieving revision 1.2
diff -u -r1.2 Mercury.options
--- tests/hard_coded/typeclasses/Mercury.options	20 Apr 2005 12:57:35 -0000	1.2
+++ tests/hard_coded/typeclasses/Mercury.options	12 Apr 2007 06:44:25 -0000
@@ -1,5 +1,9 @@

  MCFLAGS-abstract_instance = --infer-all
+
+MCFLAGS-complicated_constraint = --no-inlining \
+	--user-guided-type-specialization
+
  MCFLAGS-existential_type_classes = --infer-all
  MCFLAGS-extra_typeinfo = --optimize-higher-order --no-type-specialization \
  				--body-typeinfo-liveness

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------