[m-rev.] trivial diff: library reference manual improvements

Julien Fischer juliensf at cs.mu.OZ.AU
Thu Apr 13 16:06:58 AEST 2006
Previous message: [m-rev.] diff: use switch detection fix
Next message: [m-rev.] trivial diff: update list of packages to install
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
Estimated hours taken: 0.2
Branches: main, release

library/*.m:
	Improve the library reference manual by formatting the beginning of
	library modules consistently.

library/integer.m:
	Fix some bad indentation.

Julien.

Index: library/array.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/array.m,v
retrieving revision 1.144
diff -u -r1.144 array.m
--- library/array.m	29 Mar 2006 08:07:41 -0000	1.144
+++ library/array.m	13 Apr 2006 05:25:59 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
-% File: array.m
-% Main authors: fjh, bromage
-% Stability: medium-low
-%
+
+% File: array.m.
+% Main authors: fjh, bromage.
+% Stability: medium-low.
+
 % This module provides dynamically-sized one-dimensional arrays.
 % Array indices start at zero.
 %
Index: library/array2d.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/array2d.m,v
retrieving revision 1.6
diff -u -r1.6 array2d.m
--- library/array2d.m	29 Mar 2006 08:07:42 -0000	1.6
+++ library/array2d.m	13 Apr 2006 05:26:07 -0000
@@ -15,6 +15,7 @@
 % XXX The same caveats re: uniqueness of arrays apply to array2ds.

 %-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module array2d.
 :- interface.
Index: library/bimap.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/bimap.m,v
retrieving revision 1.25
diff -u -r1.25 bimap.m
--- library/bimap.m	29 Mar 2006 08:07:42 -0000	1.25
+++ library/bimap.m	13 Apr 2006 05:26:41 -0000
@@ -5,17 +5,17 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: bimap.m.
 % Main author: conway.
 % Stability: medium.
-%
+
 % This file provides a bijective map ADT.
 % A map (also known as a dictionary or an associative array) is a collection
 % of (Key, Data) pairs which allows you to look up any Data item given the
 % Key.  A bimap also allows you to efficiently look up the Key given the Data.
 % This time efficiency comes at the expense of using twice as much space.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/bintree.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/bintree.m,v
retrieving revision 1.49
diff -u -r1.49 bintree.m
--- library/bintree.m	29 Mar 2006 08:07:42 -0000	1.49
+++ library/bintree.m	13 Apr 2006 05:26:50 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: bintree.m.
 % Main author: conway.
 % Stability: medium (obsolete).
-%
+
 % This module exists primarily for historical reasons. It is unlikely
 % to be useful, and may not be supported in future releases.
 % You should use `map' instead.
@@ -25,7 +25,8 @@
 % `set' will always succeed; it will replace the old value for that key
 % if the key was already in the tree, or insert a new node into the tree
 % if the key wasn't already present.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module bintree.
Index: library/bintree_set.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/bintree_set.m,v
retrieving revision 1.27
diff -u -r1.27 bintree_set.m
--- library/bintree_set.m	29 Mar 2006 08:07:42 -0000	1.27
+++ library/bintree_set.m	13 Apr 2006 05:27:16 -0000
@@ -5,10 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %--------------------------------------------------------------------------%
-%
+
+% File: bintree_set.m.
 % Main authors: fjh.
 % Stability: medium (obsolete).
-%
+
 % This file provides an alternate implementation of the `set' ADT defined
 % in module `set'. See that file for comments about the semantics of the
 % predicates. This file implements sets as binary sorted trees, using module
@@ -18,13 +19,15 @@
 % restricted mode, which is implemented much more efficiently using
 % bintree.search.

-:- module bintree_set.
-
+%--------------------------------------------------------------------------%
 %--------------------------------------------------------------------------%

+:- module bintree_set.
 :- interface.
 :- import_module list.

+%--------------------------------------------------------------------------%
+
 :- type bintree_set(_T).

     % `bintree_set.list_to_set(List, Set)' is true iff `Set' is the set
Index: library/bitmap.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/bitmap.m,v
retrieving revision 1.11
diff -u -r1.11 bitmap.m
--- library/bitmap.m	7 Mar 2006 22:23:42 -0000	1.11
+++ library/bitmap.m	13 Apr 2006 05:27:40 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
-% File: bitmap.m
-% Main author: rafe
-% Stability: low
-%
+
+% File: bitmap.m.
+% Main author: rafe.
+% Stability: low.
+
 % Efficient bitmap implementation.
 %
 % CAVEAT: the user is referred to the documentation in the header
@@ -18,7 +18,8 @@
 % non-unique modes until the situation is rectified; this places
 % a small burden on the programmer to ensure the correctness of his
 % code that would otherwise be assured by the compiler.)
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module bitmap.
@@ -29,6 +30,8 @@
 :- import_module bool.
 :- import_module int.

+%-----------------------------------------------------------------------------%
+
 :- type bitmap.

 :- inst bitmap    == array.
Index: library/char.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/char.m,v
retrieving revision 1.52
diff -u -r1.52 char.m
--- library/char.m	7 Mar 2006 22:23:43 -0000	1.52
+++ library/char.m	13 Apr 2006 05:27:55 -0000
@@ -4,7 +4,6 @@
 % Copyright (C) 1994-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 % File: char.m.
Index: library/cord.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/cord.m,v
retrieving revision 1.4
diff -u -r1.4 cord.m
--- library/cord.m	2 Feb 2005 04:28:45 -0000	1.4
+++ library/cord.m	13 Apr 2006 05:28:59 -0000
@@ -6,9 +6,10 @@
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
 %
-% Ralph Becket <rafe at cs.mu.oz.au>
-% Mon Feb  3 12:27:53 EST 2003
-%
+% File: cord.m.
+% Author: Ralph Becket <rafe at cs.mu.oz.au>
+% Stability: medium.
+
 % A cord is a sequence type supporting O(1) consing and
 % concatenation.  A cord is essentially a tree structure with data stored
 % in the leaf nodes.  Joining two cords together to construct a new cord
@@ -19,11 +20,11 @@
 %
 % While this data type presents a list-like interface, calls to list/1 and
 % head_tail/3 in particular are O(n) in the size of the cord.
-%
+
+%---------------------------------------------------------------------------%
 %---------------------------------------------------------------------------%

 :- module cord.
-
 :- interface.

 :- import_module int.
Index: library/counter.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/counter.m,v
retrieving revision 1.5
diff -u -r1.5 counter.m
--- library/counter.m	7 Mar 2006 22:23:43 -0000	1.5
+++ library/counter.m	13 Apr 2006 05:29:12 -0000
@@ -5,22 +5,24 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: counter.m.
 % Author: zs.
 % Stability: high.
-%
+
 % Predicates for dealing with counters, which are mechanisms for allocating
 % consecutively numbered integers. The abstraction barrier eliminates the
 % possibility of confusion along the lines of "does this counter record
 % the next number to be handed out, or the last number that was handed out?".
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module counter.
-
 :- interface.

+%-----------------------------------------------------------------------------%
+
 :- type counter.

     % counter_init(N, Counter) returns a counter whose first allocation
Index: library/dir.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/dir.m,v
retrieving revision 1.31
diff -u -r1.31 dir.m
--- library/dir.m	29 Mar 2006 08:07:43 -0000	1.31
+++ library/dir.m	13 Apr 2006 05:29:27 -0000
@@ -18,7 +18,8 @@
 %
 % Duplicate directory separators and trailing separators are also removed
 % where that doesn't change the meaning of the path name.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module dir.
@@ -29,6 +30,8 @@
 :- import_module list.
 :- import_module string.

+%-----------------------------------------------------------------------------%
+
     % predicates to isolate system dependencies

     % Returns the default separator between components of a pathname --
Index: library/enum.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/enum.m,v
retrieving revision 1.3
diff -u -r1.3 enum.m
--- library/enum.m	5 Sep 2005 06:21:51 -0000	1.3
+++ library/enum.m	13 Apr 2006 05:29:40 -0000
@@ -5,18 +5,18 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: enum.m.
 % Author: stayl.
 % Stability: medium
-%
+
 % This module provides the typeclass `enum', which describes types
 % which can be converted to and from integers without loss of information.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module enum.
-
 :- interface.

 	% For all instances the following must hold:
Index: library/eqvclass.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/eqvclass.m,v
retrieving revision 1.21
diff -u -r1.21 eqvclass.m
--- library/eqvclass.m	13 Mar 2006 04:00:13 -0000	1.21
+++ library/eqvclass.m	13 Apr 2006 05:29:58 -0000
@@ -1,18 +1,19 @@
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % Copyright (C) 1995-1997, 1999, 2003-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
-%
+%-----------------------------------------------------------------------------%
+
 % File: eqvclass.m.
 % Author: zs.
 % Stability: low.
-%
+
 % A module for handling equivalence classes.
-%
-%---------------------------------------------------------------------------%
+
+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module eqvclass.

Index: library/exception.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/exception.m,v
retrieving revision 1.107
diff -u -r1.107 exception.m
--- library/exception.m	29 Mar 2006 08:07:43 -0000	1.107
+++ library/exception.m	13 Apr 2006 05:30:06 -0000
@@ -8,7 +8,7 @@

 % File: exception.m.
 % Main author: fjh.
-% Stability: medium
+% Stability: medium.

 % This file defines the Mercury interface for exception handling.

Index: library/gc.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/gc.m,v
retrieving revision 1.20
diff -u -r1.20 gc.m
--- library/gc.m	7 Mar 2006 22:23:44 -0000	1.20
+++ library/gc.m	13 Apr 2006 05:30:31 -0000
@@ -1,20 +1,20 @@
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % Copyright (C) 1999,2001-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
-%
+%-----------------------------------------------------------------------------%
+
 % File: gc.m.
 % Author: fjh.
 % Stability: medium.
-%
-% This module defines some procedures for controlling the actions
-% of the garbage collector.
-%
-%---------------------------------------------------------------------------%
-%---------------------------------------------------------------------------%
+
+% This module defines some procedures for controlling the actions of the
+% garbage collector.
+
+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module gc.
 :- interface.
Index: library/getopt.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/getopt.m,v
retrieving revision 1.38
diff -u -r1.38 getopt.m
--- library/getopt.m	29 Mar 2006 08:07:43 -0000	1.38
+++ library/getopt.m	13 Apr 2006 05:31:10 -0000
@@ -6,9 +6,9 @@
 % Public License - see the file COPYING in the Mercury distribution.
 %-----------------------------------------------------------------------------%

-% File: getopt.m
-% Authors: fjh, zs
-% Stability: medium
+% File: getopt.m.
+% Authors: fjh, zs.
+% Stability: medium.

 % This module exports the predicate getopt.process_options/4,
 % which can be used to parse command-line options.
@@ -78,6 +78,9 @@
 % Long options can be negated by preceding them with `--no-',
 % e.g. `--no-foo' will negate the `--foo' option.

+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
+
 :- module getopt.
 :- interface.

Index: library/getopt_io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/getopt_io.m,v
retrieving revision 1.7
diff -u -r1.7 getopt_io.m
--- library/getopt_io.m	29 Mar 2006 08:07:43 -0000	1.7
+++ library/getopt_io.m	13 Apr 2006 05:30:54 -0000
@@ -81,6 +81,9 @@
 % contents into a sequence of words separated by white space, and interpreting
 % those words as options in the usual manner.

+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
+
 :- module getopt_io.
 :- interface.

Index: library/graph.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/graph.m,v
retrieving revision 1.28
diff -u -r1.28 graph.m
--- library/graph.m	29 Mar 2006 08:07:43 -0000	1.28
+++ library/graph.m	13 Apr 2006 05:31:21 -0000
@@ -5,20 +5,19 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %------------------------------------------------------------------------------%
-%
+
 % File: graph.m.
 % Main author: conway.
 % Stability: low.
-%
+
 % This module defines a directed graph data type. The type graph(N, A)
 % stores information of type N in the nodes, and information of type A
 % in the arcs.
-%
+
 %------------------------------------------------------------------------------%
 %------------------------------------------------------------------------------%

 :- module graph.
-
 :- interface.

 :- import_module list.
Index: library/group.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/group.m,v
retrieving revision 1.25
diff -u -r1.25 group.m
--- library/group.m	29 Mar 2006 08:07:43 -0000	1.25
+++ library/group.m	13 Apr 2006 05:31:47 -0000
@@ -1,15 +1,15 @@
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % Copyright (C) 1994-1997, 1999, 2003, 2005-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
-%
-% file: group.m.
-% main author: conway.
-% stability: low (obsolete).
-%
+%-----------------------------------------------------------------------------%
+
+% File: group.m.
+% Main author: conway.
+% Stability: low (obsolete).
+
 % This module is probably not terribly useful, and it may not be supported
 % in future releases.
 %
@@ -17,18 +17,19 @@
 % A group is a set of sets of elements, where each element is unique within
 % the scope of the group. The module provides moderately efficient ways for
 % manipulating groups and elements.
-%
-%---------------------------------------------------------------------------%
-%---------------------------------------------------------------------------%

-:- module group.
+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

+:- module group.
 :- interface.

 :- import_module assoc_list.
 :- import_module list.
 :- import_module set.

+%-----------------------------------------------------------------------------%
+
 :- type group(T).

 :- type group.key.
Index: library/hash_table.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/hash_table.m,v
retrieving revision 1.14
diff -u -r1.14 hash_table.m
--- library/hash_table.m	29 Mar 2006 08:07:43 -0000	1.14
+++ library/hash_table.m	13 Apr 2006 05:31:58 -0000
@@ -6,9 +6,9 @@
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%

-% File: hash_table.m
-% Main author: rafe
-% Stability: low
+% File: hash_table.m.
+% Main author: rafe.
+% Stability: low.

 % Hash table implementation.
 %
Index: library/injection.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/injection.m,v
retrieving revision 1.4
diff -u -r1.4 injection.m
--- library/injection.m	29 Mar 2006 08:07:44 -0000	1.4
+++ library/injection.m	13 Apr 2006 05:32:24 -0000
@@ -1,14 +1,15 @@
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % Copyright (C) 2005-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
-% File: injection.m
-% Author: mark
-%
+
+% File: injection.m.
+% Author: mark.
+% Stability: low.
+
 % This module provides the `injection' ADT.  An injection is like a `map'
 % (see map.m) but it allows efficient reverse lookups, similarly to `bimap'.
 % This time efficiency comes at the expense of using twice as much space
@@ -24,7 +25,7 @@
 %
 % 2) For any value V, if a reverse lookup succeeds with key K then a forward
 % lookup of key K will succeed with some value (not necessarily V).
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/int.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/int.m,v
retrieving revision 1.112
diff -u -r1.112 int.m
--- library/int.m	29 Mar 2006 08:07:44 -0000	1.112
+++ library/int.m	13 Apr 2006 05:33:00 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: int.m.
 % Main authors: conway, fjh.
 % Stability: medium.
-%
+
 % Predicates and functions for dealing with machine-size integer numbers.
 %
 % The behaviour of a computation for which overflow occurs is undefined.
@@ -17,16 +17,18 @@
 % module do not check for overflow, and the results you get are those
 % delivered by the C compiler.  However, future implementations
 % might check for overflow.)
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module int.
-
 :- interface.

 :- import_module array.
 :- import_module enum.

+%-----------------------------------------------------------------------------%
+
 :- instance enum(int).

     % less than
Index: library/integer.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/integer.m,v
retrieving revision 1.22
diff -u -r1.22 integer.m
--- library/integer.m	29 Mar 2006 08:07:44 -0000	1.22
+++ library/integer.m	13 Apr 2006 05:08:26 -0000
@@ -63,12 +63,11 @@

 :- func integer mod integer = integer.

-    %
     % divide_with_rem(X, Y, Q, R) where Q = X // Y and R = X rem Y
     % where both answers are calculated at the same time.
     %
 :- pred divide_with_rem(integer::in, integer::in,
-                integer::out, integer::out) is det.
+    integer::out, integer::out) is det.

 :- func integer << int = integer.

@@ -105,6 +104,8 @@
 :- import_module list.
 :- import_module require.

+%-----------------------------------------------------------------------------%
+
 % Possible improvements:
 %
 % 1) allow negative digits (-base+1 .. base-1) in lists of
@@ -1195,3 +1196,4 @@
         printbase_mul_by_digit(X, Y)), Y).

 %-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
Index: library/io.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.345
diff -u -r1.345 io.m
--- library/io.m	29 Mar 2006 08:07:44 -0000	1.345
+++ library/io.m	13 Apr 2006 05:33:08 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: io.m.
 % Main author: fjh.
 % Stability: medium to high.
-%
+
 % This file encapsulates all the file I/O.
 %
 % We implement a purely logical I/O system using non-logical I/O primitives
@@ -21,7 +21,7 @@
 %
 % Attempting any operation on a stream which has already been closed results
 % in undefined behaviour.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/lexer.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/lexer.m,v
retrieving revision 1.44
diff -u -r1.44 lexer.m
--- library/lexer.m	7 Mar 2006 22:23:45 -0000	1.44
+++ library/lexer.m	13 Apr 2006 05:33:29 -0000
@@ -5,16 +5,17 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-%
-% file: lexer.m.
-% main author: fjh.
-% stability: high.
-%
+
+% File: lexer.m.
+% Main author: fjh.
+% Stability: high.
+
 % Lexical analysis.  This module defines the representation of tokens
 % and exports predicates for reading in tokens from an input stream.
 %
 % See ISO Prolog 6.4.  Also see the comments at the top of parser.m.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module lexer.
@@ -23,6 +24,8 @@
 :- import_module char.
 :- import_module io.

+%-----------------------------------------------------------------------------%
+
 :- type token
     --->    name(string)
     ;       variable(string)
Index: library/list.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/list.m,v
retrieving revision 1.147
diff -u -r1.147 list.m
--- library/list.m	29 Mar 2006 08:07:44 -0000	1.147
+++ library/list.m	13 Apr 2006 05:34:12 -0000
@@ -5,13 +5,15 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-%
-% Module `list' - defines the list type, and various utility predicates
-% that operate on lists.
-%
+
+% File: list.m.
 % Authors: fjh, conway, trd, zs, philip, warwick, ...
 % Stability: medium to high.
-%
+
+% This module defines the list type, and various utility predicates that
+% operate on lists.
+
+%---------------------------------------------------------------------------%
 %---------------------------------------------------------------------------%

 :- module list.
Index: library/map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/map.m,v
retrieving revision 1.103
diff -u -r1.103 map.m
--- library/map.m	29 Mar 2006 08:07:44 -0000	1.103
+++ library/map.m	13 Apr 2006 05:34:24 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: map.m.
 % Main author: fjh, conway.
 % Stability: high.
-%
+
 % This file provides the 'map' ADT.
 % A map (also known as a dictionary or an associative array) is a collection
 % of (Key, Data) pairs which allows you to look up any Data item given the
@@ -18,7 +18,7 @@
 % The implementation is using balanced binary trees, as provided by
 % tree234.m.  Virtually all the predicates in this file just
 % forward the work to the corresponding predicate in tree234.m.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/math.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/math.m,v
retrieving revision 1.53
diff -u -r1.53 math.m
--- library/math.m	7 Mar 2006 22:23:46 -0000	1.53
+++ library/math.m	13 Apr 2006 05:34:39 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-%
-% File: math.m
-% Main author: bromage
-% Stability: high
-%
+
+% File: math.m.
+% Main author: bromage.
+% Stability: high.
+
 % Higher mathematical operations.  (The basics are in float.m.)
 %
 % By default, domain errors are currently handled by throwing an exception.
@@ -36,7 +36,8 @@
 % predicate the error occurred, as well as giving you a stack trace if
 % that is enabled; with the checks disabled you only have the information
 % that the floating-point exception signal handler gives you.
-%
+
+%---------------------------------------------------------------------------%
 %---------------------------------------------------------------------------%

 :- module math.
Index: library/maybe.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/maybe.m,v
retrieving revision 1.1
diff -u -r1.1 maybe.m
--- library/maybe.m	29 Mar 2006 08:07:44 -0000	1.1
+++ library/maybe.m	13 Apr 2006 05:34:46 -0000
@@ -13,6 +13,7 @@
 % This module defines the "maybe" type.

 %-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module maybe.
 :- interface.
Index: library/ops.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/ops.m,v
retrieving revision 1.61
diff -u -r1.61 ops.m
--- library/ops.m	21 Mar 2006 22:25:34 -0000	1.61
+++ library/ops.m	13 Apr 2006 05:35:36 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
-% file: ops.m.
-% main author: fjh.
-% stability: low.
-%
+
+% File: ops.m.
+% Main author: fjh.
+% Stability: low.
+
 % This module exports a typeclass `ops.op_table' which is used to define
 % operator precedence tables for use by `parser.read_term_with_op_table'
 % and `term_io.write_term_with_op_table'.
@@ -21,7 +21,8 @@
 %
 % XXX In the current implementation the table of Mercury operators
 % is fixed and cannot be modified at run-time.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module ops.
Index: library/prolog.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/prolog.m,v
retrieving revision 1.18
diff -u -r1.18 prolog.m
--- library/prolog.m	29 Mar 2006 08:07:45 -0000	1.18
+++ library/prolog.m	13 Apr 2006 05:35:58 -0000
@@ -6,6 +6,7 @@

 % File: prolog.m.
 % Main author: fjh.
+% Stability: high.

 % This file contains predicates that are intended to help people
 % porting Prolog programs, or writing programs in the intersection
Index: library/random.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/random.m,v
retrieving revision 1.27
diff -u -r1.27 random.m
--- library/random.m	7 Mar 2006 22:23:47 -0000	1.27
+++ library/random.m	13 Apr 2006 05:36:31 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-%
-% file: random.m
-% main author: conway
-% stability: low
-%
+
+% File: random.m
+% Main author: conway
+% Stability: low
+
 % Define a set of random number generator predicates. This implementation
 % uses a threaded random-number supply.  The supply can be used in a
 % non-unique way, which means that each thread returns the same list of
@@ -44,16 +44,19 @@
 %	example, by generating each component of the tuple in sequential
 %	order.  If you do, it is likely that the resulting sequence will
 %	not cover the full range of possible tuples.
-%
+
+%---------------------------------------------------------------------------%
 %---------------------------------------------------------------------------%

 :- module random.
-
 :- interface.

 :- import_module list.

+%---------------------------------------------------------------------------%
+
 	% The type `random.supply' represents a supply of random numbers.
+    %
 :- type random.supply.

 	% random.init(Seed, RS): creates a supply of random numbers RS
@@ -64,6 +67,7 @@
 	% random.random(Num, RS0, RS): extracts a number Num in the
 	% range 0 .. RandMax from the random number supply RS0, and
 	% binds RS to the new state of the random number supply.
+    %
 :- pred random.random(int, random.supply, random.supply).
 :- mode random.random(out, mdi, muo) is det.
 :- mode random.random(out, in, out) is det.
Index: library/rational.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/rational.m,v
retrieving revision 1.10
diff -u -r1.10 rational.m
--- library/rational.m	7 Mar 2006 22:23:47 -0000	1.10
+++ library/rational.m	13 Apr 2006 05:37:11 -0000
@@ -5,21 +5,24 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
-% file: rational.m
-% authors: aet Apr 1998. (with plagiarism from rat.m)
-%
+
+% File: rational.m.
+% Authors: aet Apr 1998. (with plagiarism from rat.m)
+% Stability: high.
+
 % Implements a rational number type and a set of basic operations on
 % rational numbers.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module rational.
-
 :- interface.

 :- import_module integer.

+%-----------------------------------------------------------------------------%
+
 :- type rational.

 :- pred '<'(rational::in, rational::in) is semidet.
Index: library/rbtree.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/rbtree.m,v
retrieving revision 1.24
diff -u -r1.24 rbtree.m
--- library/rbtree.m	29 Mar 2006 08:07:45 -0000	1.24
+++ library/rbtree.m	13 Apr 2006 05:37:26 -0000
@@ -36,7 +36,7 @@
 %   Aborts program if key looked up doesn't exist.
 % search:
 %   Fails if key looked up doesn't exist.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/relation.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/relation.m,v
retrieving revision 1.40
diff -u -r1.40 relation.m
--- library/relation.m	29 Mar 2006 08:07:46 -0000	1.40
+++ library/relation.m	13 Apr 2006 05:37:37 -0000
@@ -5,15 +5,16 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %------------------------------------------------------------------------------%
-%
-% file: relation.m.
-% main author: bromage, petdr.
-% stability: low.
-%
+
+% File: relation.m.
+% Main author: bromage, petdr.
+% Stability: low.
+
 % This module defines a data type for binary relations over reflexive
 % domains.
 %
 % In fact, this is exactly equivalent to a graph/1 type.
+
 %------------------------------------------------------------------------------%
 %------------------------------------------------------------------------------%

Index: library/require.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/require.m,v
retrieving revision 1.39
diff -u -r1.39 require.m
--- library/require.m	29 Mar 2006 08:07:46 -0000	1.39
+++ library/require.m	13 Apr 2006 05:37:49 -0000
@@ -5,12 +5,14 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
+% File: require.m.
 % Main author: fjh.
 % Stability: medium to high.
-%
+
 % This module provides features similar to <assert.h> in C.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module require.
Index: library/rtti_implementation.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/rtti_implementation.m,v
retrieving revision 1.66
diff -u -r1.66 rtti_implementation.m
--- library/rtti_implementation.m	29 Mar 2006 08:07:46 -0000	1.66
+++ library/rtti_implementation.m	13 Apr 2006 05:38:00 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: rtti_implementation.m.
 % Main author: trd, petdr.
 % Stability: low.
-%
+
 % This file is intended to provide portable RTTI functionality by implementing
 % most of Mercury's RTTI functionality in Mercury.
 %
Index: library/set.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/set.m,v
retrieving revision 1.75
diff -u -r1.75 set.m
--- library/set.m	7 Mar 2006 22:23:47 -0000	1.75
+++ library/set.m	13 Apr 2006 05:38:52 -0000
@@ -15,6 +15,7 @@
 % This file just calls the equivalent predicates in set_ordlist.

 %--------------------------------------------------------------------------%
+%--------------------------------------------------------------------------%

 :- module set.
 :- interface.
Index: library/set_bbbtree.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/set_bbbtree.m,v
retrieving revision 1.29
diff -u -r1.29 set_bbbtree.m
--- library/set_bbbtree.m	7 Mar 2006 22:23:48 -0000	1.29
+++ library/set_bbbtree.m	13 Apr 2006 05:38:21 -0000
@@ -10,12 +10,12 @@
 % Main authors: benyi.
 % Stability: low.

-% set_bbbtree - implements sets using bounded balanced binary trees.
+% This module implements sets using bounded balanced binary trees.

 %------------------------------------------------------------------------------%
+%------------------------------------------------------------------------------%

 :- module set_bbbtree.
-
 :- interface.

 :- import_module bool.
Index: library/set_ctree234.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/set_ctree234.m,v
retrieving revision 1.5
diff -u -r1.5 set_ctree234.m
--- library/set_ctree234.m	7 Mar 2006 22:23:48 -0000	1.5
+++ library/set_ctree234.m	13 Apr 2006 05:38:47 -0000
@@ -6,8 +6,10 @@
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%

-% set_ctree234.m:
-%
+% File: set_ctree234.m.
+% Author: zs.
+% Stability: high.
+
 % This module implements sets using 2-3-4 trees extended with element counts.
 % This representation has higher constant factors for most operations than
 % ordered lists, but it has much better worst-case complexity, and is likely
@@ -19,6 +21,7 @@
 %   size of the smaller set.

 %--------------------------------------------------------------------------%
+%--------------------------------------------------------------------------%

 :- module set_ctree234.
 :- interface.
Index: library/set_ordlist.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/set_ordlist.m,v
retrieving revision 1.25
diff -u -r1.25 set_ordlist.m
--- library/set_ordlist.m	29 Mar 2006 08:07:46 -0000	1.25
+++ library/set_ordlist.m	13 Apr 2006 05:38:57 -0000
@@ -12,6 +12,7 @@
 % Sets are implemented here as sorted lists without duplicates.

 %--------------------------------------------------------------------------%
+%--------------------------------------------------------------------------%

 :- module set_ordlist.
 :- interface.
Index: library/set_tree234.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/set_tree234.m,v
retrieving revision 1.5
diff -u -r1.5 set_tree234.m
--- library/set_tree234.m	7 Mar 2006 22:23:48 -0000	1.5
+++ library/set_tree234.m	13 Apr 2006 05:39:27 -0000
@@ -6,8 +6,13 @@
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%

-% set_tree234.m - implements a set using 2-3-4 trees.
+% File: set_tree234.m.
+% Author: zs.
+% Stability: high.

+% This modules implements sets using 2-3-4 trees.
+
+%--------------------------------------------------------------------------%
 %--------------------------------------------------------------------------%

 :- module set_tree234.
Index: library/std_util.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/std_util.m,v
retrieving revision 1.311
diff -u -r1.311 std_util.m
--- library/std_util.m	4 Apr 2006 02:39:18 -0000	1.311
+++ library/std_util.m	13 Apr 2006 05:40:05 -0000
@@ -13,21 +13,6 @@
 % This file contains higher-order programming constructs and other
 % useful standard utilities.

-% NOTE: fomerly this module contained considerably more functionality but
-%       most of that has now been moved to other modules.  In particular:
-%
-%       * the `univ' type is now defined in the module univ.
-%
-%       * the `maybe' and `maybe_error' types are now defined in the module
-%         maybe.
-%
-%       * the `unit' type is now defined in the module unit.
-%
-%       * the `pair' type is now defined in the module pair.
-
-% This module also used to define a number of RTTI access predicates.  These
-% are now to be found in the modules type_desc, construct and deconstruct.
-
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/store.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/store.m,v
retrieving revision 1.57
diff -u -r1.57 store.m
--- library/store.m	29 Mar 2006 08:07:47 -0000	1.57
+++ library/store.m	13 Apr 2006 05:40:36 -0000
@@ -15,15 +15,15 @@
 % A store holds a set of nodes, each of which may contain a value of any
 % type.
 %
-% Stores may be used to implement cyclic data structures such as
-% circular linked lists, etc.
+% Stores may be used to implement cyclic data structures such as circular
+% linked lists, etc.
 %
 % Stores can have two different sorts of keys:
 % mutable variables (mutvars) and references (refs).
-% The difference between mutvars and refs is that
-% mutvars can only be updated atomically,
-% whereas it is possible to update individual fields of a reference
-% one at a time (presuming the reference refers to a structured term).
+% The difference between mutvars and refs is that mutvars can only be updated
+% atomically, whereas it is possible to update individual fields of a
+% reference one at a time (presuming the reference refers to a structured
+% term).

 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%
Index: library/svbag.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svbag.m,v
retrieving revision 1.4
diff -u -r1.4 svbag.m
--- library/svbag.m	7 Mar 2006 22:23:49 -0000	1.4
+++ library/svbag.m	13 Apr 2006 05:40:51 -0000
@@ -5,14 +5,14 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-%
+
 % File: svbag.m
-%
+
 % This file provides an interface to the 'bag' ADT that is conducive to the
 % use of state variable notation. The predicates here do the same thing as
 % their counterparts in the bag module; the only difference is the order of the
 % arguments.
-%
+
 %---------------------------------------------------------------------------%
 %---------------------------------------------------------------------------%

Index: library/svbimap.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svbimap.m,v
retrieving revision 1.3
diff -u -r1.3 svbimap.m
--- library/svbimap.m	7 Mar 2006 22:23:49 -0000	1.3
+++ library/svbimap.m	13 Apr 2006 05:41:02 -0000
@@ -5,9 +5,9 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: svbimap.m.
-%
+
 % This file provides an interface to the 'bimap' ADT that is conducive to the
 % use of state variable notation. The predicates here do the same thing as
 % their counterparts in the bimap module; the only difference is the order
@@ -17,7 +17,6 @@
 %-----------------------------------------------------------------------------%

 :- module svbimap.
-
 :- interface.

 :- import_module bimap.
Index: library/sveqvclass.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/sveqvclass.m,v
retrieving revision 1.4
diff -u -r1.4 sveqvclass.m
--- library/sveqvclass.m	7 Mar 2006 22:23:49 -0000	1.4
+++ library/sveqvclass.m	13 Apr 2006 05:41:13 -0000
@@ -5,21 +5,20 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: sveqvclass.m.
 % Author: zs.
 % Stability: high.
-%
+
 % This file provides an interface to the 'eqvclass' ADT that is conducive
 % to the use of state variable notation. The predicates here do the same thing
 % as their counterparts in the eqvclass module; the only difference is the
 % order of the arguments.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module sveqvclass.
-
 :- interface.

 :- import_module eqvclass.
Index: library/svmap.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svmap.m,v
retrieving revision 1.5
diff -u -r1.5 svmap.m
--- library/svmap.m	7 Mar 2006 22:23:49 -0000	1.5
+++ library/svmap.m	13 Apr 2006 05:41:19 -0000
@@ -5,16 +5,16 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: svmap.m.
 % Author: zs.
 % Stability: high.
-%
+
 % This file provides an interface to the 'map' ADT that is conducive to the
 % use of state variable notation. The predicates here do the same thing as
 % their counterparts in the map module; the only difference is the order of the
 % arguments.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

Index: library/svmulti_map.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svmulti_map.m,v
retrieving revision 1.3
diff -u -r1.3 svmulti_map.m
--- library/svmulti_map.m	7 Mar 2006 22:23:49 -0000	1.3
+++ library/svmulti_map.m	13 Apr 2006 05:41:27 -0000
@@ -5,21 +5,20 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: svmulti_map.m.
 % Author: dylan.
 % Stability: low.
-%
+
 % This file provides an interface to the 'multi_map' ADT that is conducive to
 % the use of state variable notation. The predicates here do the same thing as
 % their counterparts in the multi_map module; the only difference is the order
 % of the arguments.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module svmulti_map.
-
 :- interface.

 :- import_module list.
Index: library/svrelation.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svrelation.m,v
retrieving revision 1.4
diff -u -r1.4 svrelation.m
--- library/svrelation.m	7 Mar 2006 22:23:50 -0000	1.4
+++ library/svrelation.m	13 Apr 2006 05:41:35 -0000
@@ -16,9 +16,9 @@
 % of the arguments.

 %------------------------------------------------------------------------------%
+%------------------------------------------------------------------------------%

 :- module svrelation.
-
 :- interface.

 :- import_module assoc_list.
Index: library/svset.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svset.m,v
retrieving revision 1.6
diff -u -r1.6 svset.m
--- library/svset.m	7 Mar 2006 22:23:50 -0000	1.6
+++ library/svset.m	13 Apr 2006 05:41:43 -0000
@@ -16,6 +16,7 @@
 % the arguments.

 %--------------------------------------------------------------------------%
+%--------------------------------------------------------------------------%

 :- module svset.
 :- interface.
Index: library/svvarset.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/svvarset.m,v
retrieving revision 1.6
diff -u -r1.6 svvarset.m
--- library/svvarset.m	29 Mar 2006 08:07:47 -0000	1.6
+++ library/svvarset.m	13 Apr 2006 05:43:06 -0000
@@ -1,19 +1,22 @@
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % Copyright (C) 2005-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 % File: svvarset.m.
+% Author: fjh.
+% Stability: low.

 % This file provides an interface to the 'varset' ADT that is conducive to the
 % user of state variable notation.  The predicates here do the same thing as
 % their counterparts in the varset module; the only difference is the order of
 % the arguments.

-%--------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module svvarset.
 :- interface.
@@ -25,6 +28,8 @@
 :- import_module term.
 :- import_module varset.

+%-----------------------------------------------------------------------------%
+
     % Create a new variable.
     %
 :- pred svvarset.new_var(var(T)::out, varset(T)::in, varset(T)::out) is det.
Index: library/table_builtin.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/table_builtin.m,v
retrieving revision 1.51
diff -u -r1.51 table_builtin.m
--- library/table_builtin.m	29 Mar 2006 08:07:47 -0000	1.51
+++ library/table_builtin.m	13 Apr 2006 05:43:14 -0000
@@ -29,9 +29,6 @@
 %-----------------------------------------------------------------------------%

 :- module table_builtin.
-
-%-----------------------------------------------------------------------------%
-
 :- interface.

 % This section of the module contains the predicates that are
Index: library/time.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/time.m,v
retrieving revision 1.51
diff -u -r1.51 time.m
--- library/time.m	29 Mar 2006 08:07:48 -0000	1.51
+++ library/time.m	13 Apr 2006 05:43:45 -0000
@@ -8,17 +8,17 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %-----------------------------------------------------------------------------%
-%
+
 % File: time.m.
-% Main authors: Tomas By <T.By at dcs.shef.ac.uk>, fjh
-% Stability: medium
-%
+% Main authors: Tomas By <T.By at dcs.shef.ac.uk>, fjh.
+% Stability: medium.
+
 % Time functions.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module time.
-
 :- interface.

 :- import_module io.
Index: library/tree234.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/tree234.m,v
retrieving revision 1.52
diff -u -r1.52 tree234.m
--- library/tree234.m	29 Mar 2006 08:07:48 -0000	1.52
+++ library/tree234.m	13 Apr 2006 05:45:04 -0000
@@ -1,26 +1,29 @@
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
 % Copyright (C) 1994-1997,1999-2000,2002-2006 The University of Melbourne.
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

-% tree234 - implements a map (dictionary) using 2-3-4 trees.
-% main author: conway.
-% stability: medium.
+% File: tree234.m.
+% Main author: conway.
+% Stability: medium.

-% See map.m for documentation.
+% This module implements a map (dictionary) using 2-3-4 trees - see
+% map.m for futher documentation.

-%---------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module tree234.
-
 :- interface.

 :- import_module assoc_list.
 :- import_module list.
-:- import_module term.  % for var/1.
+:- import_module term.
+
+%-----------------------------------------------------------------------------%

 :- type tree234(K, V).

Index: library/type_desc.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/type_desc.m,v
retrieving revision 1.38
diff -u -r1.38 type_desc.m
--- library/type_desc.m	12 Apr 2006 03:37:51 -0000	1.38
+++ library/type_desc.m	13 Apr 2006 05:46:03 -0000
@@ -24,7 +24,7 @@
     % A pseudo_type_desc represents a type that possibly contains type
     % variables, e.g. `list(T)'.
     % A type_ctor_desc represents a type constructor, e.g. `list/1'.
-
+    %
 :- type type_desc.
 :- type pseudo_type_desc.
 :- type type_ctor_desc.
@@ -38,7 +38,7 @@
     % by identical integers if and only if they are the same type variable.
     % Existentially quantified type variables may have type class
     % constraints placed on them, but for now we can't return these.
-
+    %
 :- type pseudo_type_rep
     --->    bound(type_ctor_desc, list(pseudo_type_desc))
     ;       univ_tvar(int)
Index: library/varset.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/varset.m,v
retrieving revision 1.77
diff -u -r1.77 varset.m
--- library/varset.m	29 Mar 2006 08:07:48 -0000	1.77
+++ library/varset.m	13 Apr 2006 05:47:02 -0000
@@ -5,11 +5,11 @@
 % This file may only be copied under the terms of the GNU Library General
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 %---------------------------------------------------------------------------%
-%
+
 % File: varset.m.
 % Main author: fjh.
 % Stability: low.
-%
+
 % This file provides facilities for manipulating collections of
 % variables and terms.
 % It provides the 'varset' ADT. A varset is a set of variables.
@@ -24,7 +24,7 @@
 % destructive assignment, we will need to rethink the design;  we may
 % end up modifying these modules considerably, or we may end up
 % making new single-threaded versions of these modules.
-%
+
 %-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

@@ -38,6 +38,8 @@
 :- import_module set.
 :- import_module term.

+%-----------------------------------------------------------------------------%
+
 :- type varset(T).

 :- type varset  ==  varset(generic).
Index: library/version_array.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/version_array.m,v
retrieving revision 1.8
diff -u -r1.8 version_array.m
--- library/version_array.m	14 Dec 2005 10:33:56 -0000	1.8
+++ library/version_array.m	13 Apr 2006 05:48:52 -0000
@@ -6,10 +6,11 @@
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
 %-----------------------------------------------------------------------------%
-% version_array.m
-% Ralph Becket <rafe at cs.mu.oz.au>
-% Wed Jan 21 15:44:04 EST 2004
-%
+
+% File: version_array.m.
+% Author: Ralph Becket <rafe at cs.mu.oz.au>.
+% Stability: low.
+
 % (See the header comments in version_types.m for an explanation of version
 % types.)
 %
@@ -27,11 +28,11 @@
 % XXX This implementation is not yet guaranteed to work with the agc (accurate
 % garbage collection) grades.  Specifically, MR_deep_copy and MR_agc_deep_copy
 % currently do not recognise version arrays.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module version_array.
-
 :- interface.

 :- import_module int.
Index: library/version_array2d.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/version_array2d.m,v
retrieving revision 1.3
diff -u -r1.3 version_array2d.m
--- library/version_array2d.m	29 Mar 2006 08:07:48 -0000	1.3
+++ library/version_array2d.m	13 Apr 2006 05:48:16 -0000
@@ -10,7 +10,7 @@
 % Stability: medium-low.

 % Two-dimensional rectangular (i.e. not ragged) version arrays.
-%
+
 % See the header comments in version_types.m for more details about version
 % structures.

Index: library/version_bitmap.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/version_bitmap.m,v
retrieving revision 1.2
diff -u -r1.2 version_bitmap.m
--- library/version_bitmap.m	16 Jun 2005 04:08:07 -0000	1.2
+++ library/version_bitmap.m	13 Apr 2006 05:50:14 -0000
@@ -4,9 +4,11 @@
 % Public License - see the file COPYING.LIB in the Mercury distribution.
 % vim: ft=mercury ts=4 sw=4 et wm=0 tw=0
 %-----------------------------------------------------------------------------%
-% version_bitmap.m
-% Ralph Becket <rafe at cs.mu.oz.au>
-%
+
+% File: version_bitmap.m.
+% Author: Ralph Becket <rafe at cs.mu.oz.au>.
+% Stability: low.
+
 % (See the header comments in version_types.m for an explanation of version
 % types.)
 %
@@ -15,16 +17,18 @@
 % The advantage of version bitmaps is that in the common, singly threaded,
 % case, they are almost as fast as unique bitmaps, but can be treated as
 % ordinary ground values rather than unique values.
-%
+
+%-----------------------------------------------------------------------------%
 %-----------------------------------------------------------------------------%

 :- module version_bitmap.
-
 :- interface.

 :- import_module bool.
 :- import_module int.

+%-----------------------------------------------------------------------------%
+
 :- type version_bitmap.

     % new(N, B) creates a version_bitmap of size N (indexed 0 .. N-1)
Index: library/version_store.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/version_store.m,v
retrieving revision 1.3
diff -u -r1.3 version_store.m
--- library/version_store.m	29 Mar 2006 08:07:48 -0000	1.3
+++ library/version_store.m	13 Apr 2006 05:50:34 -0000
@@ -7,6 +7,7 @@

 % File: version_store.m.
 % Author: Ralph Becket <rafe at cs.mu.oz.au>
+% Stability: low.

 % (See the header comments in version_types.m for an explanation of version
 % types.)
@@ -19,6 +20,7 @@
 % out of scope) in a version_store may not be garbage collected.

 %-----------------------------------------------------------------------------%
+%-----------------------------------------------------------------------------%

 :- module version_store.
 :- interface.


--------------------------------------------------------------------------
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
--------------------------------------------------------------------------
Previous message: [m-rev.] diff: use switch detection fix
Next message: [m-rev.] trivial diff: update list of packages to install
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]
More information about the reviews mailing list