[m-rev.] diff: update module qualifier in deep profiler output

[Julien Fischer]

Estimated hours taken: 0.1
Branches: main, release

deep_profiler/read_profile.m:
	Update the module qualifier in the deep profiler output.

Julien.

Index: read_profile.m
===================================================================
RCS file: /home/mercury1/repository/mercury/deep_profiler/read_profile.m,v
retrieving revision 1.11
diff -u -r1.11 read_profile.m
--- read_profile.m	25 Apr 2005 06:51:58 -0000	1.11
+++ read_profile.m	20 Jun 2005 05:36:38 -0000
@@ -379,12 +379,12 @@
 raw_proc_id_to_string(uci_pred(TypeName, TypeModule, _DefModule,
         PredName, Arity, Mode)) =
     string__append_list(
-        [PredName, " for ", TypeModule, ":", TypeName,
+        [PredName, " for ", TypeModule, ".", TypeName,
         "/", string__int_to_string(Arity),
         " mode ", string__int_to_string(Mode)]).
 raw_proc_id_to_string(user_defined(PredOrFunc, DeclModule, _DefModule,
         Name, Arity, Mode)) =
-    string__append_list([DeclModule, ":", Name,
+    string__append_list([DeclModule, ".", Name,
         "/", string__int_to_string(Arity),
         ( PredOrFunc = function -> "+1" ; "" ),
         "-", string__int_to_string(Mode)]).
@@ -407,7 +407,7 @@
         string__append("unknown special predicate name ", RawPredName, Msg),
         error(Msg)
     ),
-    Name0 = string__append_list([PredName, " for ", TypeModule, ":", TypeName,
+    Name0 = string__append_list([PredName, " for ", TypeModule, ".", TypeName,
         "/", string__int_to_string(Arity)]),
     ( Mode = 0 ->
         Name = Name0
@@ -431,7 +431,7 @@
         fix_type_spec_suffix(ProcName2Chars, ProcNameChars, SpecInfo)
     ->
         RefinedProcName = string__from_char_list(ProcNameChars),
-        Name = string__append_list([DeclModule, ":", RefinedProcName,
+        Name = string__append_list([DeclModule, ".", RefinedProcName,
             "/", string__int_to_string(Arity),
             ( PredOrFunc = function -> "+1" ; "" ),
             "-", string__int_to_string(Mode),
@@ -452,12 +452,12 @@
     ->
         string__from_char_list(ContainingNameChars, ContainingName),
         string__from_char_list(LineNumberChars, LineNumber),
-        Name = string__append_list([DeclModule, ":", ContainingName,
+        Name = string__append_list([DeclModule, ".", ContainingName,
             " lambda line ", LineNumber,
             "/", string__int_to_string(Arity),
             ( PredOrFunc = function -> "+1" ; "" )])
     ;
-        Name = string__append_list([DeclModule, ":", ProcName,
+        Name = string__append_list([DeclModule, ".", ProcName,
             "/", string__int_to_string(Arity),
             ( PredOrFunc = function -> "+1" ; "" ),
             "-", string__int_to_string(Mode)])

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