[m-rev.] For review: diff rbmm.points_to_analysis.m

[Quan Phan]

Julien,

I made a few very tiny changes in the file, below is the diff.
If you agree I will just commit it.

Quan.

cvs diff: Diffing .
Index: rbmm.points_to_analysis.m
===================================================================
RCS file:
/home/mercury/mercury1/repository/mercury/compiler/rbmm.points_to_analysis.m,v
retrieving revision 1.4
diff -u -u -r1.4 rbmm.points_to_analysis.m
--- rbmm.points_to_analysis.m   24 May 2007 06:56:17 -0000      1.4
+++ rbmm.points_to_analysis.m   24 May 2007 08:05:07 -0000
@@ -376,7 +376,7 @@
     % one is of the currently-analysed procedure (caller) which we are
going
     % to update, the other is of the called procedure (callee).
     %
-    % The input RptaInfo0 is caller's, if the procedure calls itself then
+    % The input RptaInfo is caller's, if the procedure calls itself then
     % this is also that of the callee but we will retrieve it again
from the
     % InfoTable.
     %
@@ -482,7 +482,7 @@

 inter_analyse_goal_expr(GoalExpr, _, _, _, !FPTable, !RptaInfo) :-
     GoalExpr = call_foreign_proc(_, _, _, _, _, _, _),
-    unexpected(this_file,
+    sorry(this_file,
         "inter_analyse_goal_expr: foreign code not handled").

 inter_analyse_goal_expr(shorthand(_), _, _, _, !FPTable, !RptaInfo) :-
@@ -852,7 +852,7 @@
             % alpha(N_Xi) = N_Y, alpha(N_Xi) = N_Yi, N_Y != N_Yi.
             %
             ( if    N_Y \= N_Yi
-            then
+              then
                     % Apply rule P4.
                     unify_operator(N_Y, N_Yi, !CallerGraph),

@@ -860,7 +860,7 @@
                     rptg_node_contents(!.CallerGraph, N_Y, Content),
                     N_Y_Vars = Content ^ varset,
                     rule_1(N_Y_Vars, !CallerGraph)
-            else
+              else
                     true
             )
     else
cvs diff: Diffing notes


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