[m-rev.] diff: convert analysis dir to four-space indentation

[Julien Fischer]

On Wed, 25 Jul 2007, Zoltan Somogyi wrote:

> analysis/*.m:
> 	Convert these files to four-space indentation. Fix some other
> 	formatting issues as well as some anachronisms, e.g. `with_type`
> 	instead of ":".

This seems to have introduced a bunch of syntax errors in this
directory.  I have committed the following fix.

Fix compilation problems in analysis directory.

analysis/analysis.m:
 	Fix syntax errors.


Index: analysis.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/analysis/analysis.m,v
retrieving revision 1.10
diff -u -r1.10 analysis.m
--- analysis.m	25 Jul 2007 07:01:48 -0000	1.10
+++ analysis.m	25 Jul 2007 07:13:06 -0000
@@ -491,7 +491,7 @@
      Best0  = {_, BestAnswer0, _},
      ( more_precise_than(ResultAnswer, BestAnswer0) ->
          Best = Result
-    ->
+    ;
          Best = Best0
      ).

@@ -889,8 +889,8 @@
  update_extra_infos(!Info) :-
      map.foldl(update_extra_infos_2,
          !.Info ^ new_extra_infos, !.Info ^ old_extra_infos, ExtraInfos),
-    !:Info = !.Info0 ^ old_extra_infos := ExtraInfos,
-    !:Info = !.Info0 ^ new_extra_infos := map.init.
+    !:Info = !.Info ^ old_extra_infos := ExtraInfos,
+    !:Info = !.Info ^ new_extra_infos := map.init.

  :- pred update_extra_infos_2(module_id::in, module_extra_info_map::in,
      map(module_id, module_extra_info_map)::in,
@@ -1015,7 +1015,7 @@
      % lub of all the new analysis results generated.
      ( NewResults = !.Info ^ new_analysis_results ^ elem(ModuleId) ->
          ModuleStatus = lub_result_statuses(NewResults)
-    else
+    ;
          ModuleStatus = optimal,
          % Force an `.analysis' file to be written out for this module,
          % even though there are no results recorded for it.

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