[m-rev.] diff: abort with backjumping in .profdeep grades

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main

library/backjump.m:
 	Abort if backjump.builtin_choice_id/1 or backjump.builtin_backjump/1
 	is called in deep profiling grades.  Support for backjumping in
 	the deep profiler is NYI.

Julien.

Index: backjump.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/backjump.m,v
retrieving revision 1.2
diff -u -r1.2 backjump.m
--- backjump.m	19 Mar 2008 05:30:00 -0000	1.2
+++ backjump.m	26 Mar 2008 04:41:03 -0000
@@ -322,6 +322,11 @@
      MR_mkpragmaframe(""builtin_choice_id/1"", 0, MR_BackJumpHandler_Struct,
          MR_LABEL(mercury__backjump__builtin_choice_id_1_0_i1));

+    #if defined(MR_DEEP_PROFILING)
+        MR_fatal_error(
+            ""builtin_choice_id: NYI backjumping and deep profiling"");
+    #endif
+
      ML_BACKJUMP_STRUCT->MR_bjh_prev = MR_GET_BACKJUMP_HANDLER();
      ML_BACKJUMP_STRUCT->MR_bjh_id = MR_GET_NEXT_CHOICE_ID();
      ML_BACKJUMP_STRUCT->MR_bjh_saved_sp = MR_sp;
@@ -347,6 +352,11 @@

      backjump_handler = MR_GET_BACKJUMP_HANDLER();

+    #if defined(MR_DEEP_PROFILING)
+        MR_fatal_error(
+            ""builtin_backjump: NYI backjumping and deep profiling"");
+    #endif
+
      /*
      ** XXX see comments in the high-level implementation.
      */

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