[m-rev.] trivial diff: delete duplicate imports in library

Julien Fischer juliensf at csse.unimelb.edu.au
Tue Oct 24 12:57:09 AEST 2006


Estimated hours taken: 0.1
Branches: main

library/eqvclass.m:
library/graph.m:
library/bool.m:
library/parser.m:
library/relation.m:
library/robdd.m:
 	Delete imports that are duplicated between the interface
 	and implementation sections.

Julien.

Index: eqvclass.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/eqvclass.m,v
retrieving revision 1.24
diff -u -r1.24 eqvclass.m
--- eqvclass.m	1 Oct 2006 04:57:39 -0000	1.24
+++ eqvclass.m	24 Oct 2006 02:50:55 -0000
@@ -16,12 +16,13 @@
  %-----------------------------------------------------------------------------%

  :- module eqvclass.
-
  :- interface.

  :- import_module list.
  :- import_module set.

+%-----------------------------------------------------------------------------%
+
  :- type eqvclass(T).
  :- type partition_id.

@@ -157,9 +158,10 @@
  :- import_module int.
  :- import_module map.
  :- import_module require.
-:- import_module set.
  :- import_module svmap.

+%---------------------------------------------------------------------------%
+
  :- type eqvclass(T)
      --->    eqvclass(
                  next_id     :: counter,
Index: graph.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/graph.m,v
retrieving revision 1.33
diff -u -r1.33 graph.m
--- graph.m	23 Oct 2006 00:32:56 -0000	1.33
+++ graph.m	24 Oct 2006 02:51:32 -0000
@@ -24,6 +24,8 @@
  :- import_module set.
  :- import_module unit.

+%------------------------------------------------------------------------------%
+
      % graph(Node, Arc) represents a directed graph with information of
      % type Node associated with each node, and information of type Arc
      % associated with each arc.
@@ -170,7 +172,6 @@
  :- implementation.

  :- import_module counter.
-:- import_module list.
  :- import_module map.
  :- import_module require.
  :- import_module solutions.
Index: io.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/io.m,v
retrieving revision 1.360
diff -u -r1.360 io.m
--- io.m	23 Oct 2006 00:32:57 -0000	1.360
+++ io.m	24 Oct 2006 02:51:49 -0000
@@ -1551,7 +1551,6 @@

  :- import_module array.
  :- import_module benchmarking.
-:- import_module bool.
  :- import_module dir.
  :- import_module enum.
  :- import_module exception.
Index: parser.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/parser.m,v
retrieving revision 1.54
diff -u -r1.54 parser.m
--- parser.m	23 Oct 2006 00:32:59 -0000	1.54
+++ parser.m	24 Oct 2006 02:52:06 -0000
@@ -129,7 +129,6 @@
  :- import_module char.
  :- import_module float.
  :- import_module int.
-:- import_module lexer.
  :- import_module list.
  :- import_module map.
  :- import_module maybe.
@@ -138,6 +137,8 @@
  :- import_module term.
  :- import_module varset.

+%-----------------------------------------------------------------------------%
+
  :- type parse(T)
      --->    ok(T)
      ;       error(string, token_list).
Index: relation.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/relation.m,v
retrieving revision 1.42
diff -u -r1.42 relation.m
--- relation.m	19 Apr 2006 05:17:55 -0000	1.42
+++ relation.m	24 Oct 2006 02:52:34 -0000
@@ -27,6 +27,8 @@
  :- import_module set.
  :- import_module sparse_bitset.

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

  :- type relation_key.
@@ -306,12 +308,10 @@

  :- import_module bimap.
  :- import_module int.
-:- import_module list.
  :- import_module map.
  :- import_module pair.
  :- import_module queue.
  :- import_module require.
-:- import_module sparse_bitset.
  :- import_module stack.

  %------------------------------------------------------------------------------%
Index: robdd.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/library/robdd.m,v
retrieving revision 1.11
diff -u -r1.11 robdd.m
--- robdd.m	8 Jun 2006 08:19:48 -0000	1.11
+++ robdd.m	24 Oct 2006 02:53:02 -0000
@@ -352,8 +352,6 @@
  :- import_module bool.
  :- import_module hash_table.
  :- import_module int.
-:- import_module list.
-:- import_module map.
  :- import_module multi_map.
  :- import_module pair.
  :- import_module require.

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



More information about the reviews mailing list