[m-rev.] for review: fix an assertion failure in the deep profiler

[Julien Fischer]

For review by Zoltan.

Estimated hours taken: 0.2
Branches: main, release

Handle compare_representation in the code that reads in deep profiles.
Currently, this causes an assertion failure in the deep profiler.

deep_profiler/read_profile.m:
	Handle compare_representation like the other special predicates.

Julien.

Workspace:/home/earth/juliensf/deep
Index: read_profile.m
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/read_profile.m,v
retrieving revision 1.9
diff -u -r1.9 read_profile.m
--- read_profile.m	24 Mar 2005 01:10:28 -0000	1.9
+++ read_profile.m	15 Apr 2005 01:38:03 -0000
@@ -399,6 +399,8 @@
         PredName = "Compare"
     ; RawPredName = "__Index__" ->
         PredName = "Index"
+    ; RawPredName = "__CompareRep__" ->
+        PredName = "CompareRep"
     ;
         string__append("unknown special predicate name ", RawPredName, Msg),
         error(Msg)

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