[m-dev.] for review: bintree_set.m -- opening type declaration

doug.auclair at logicaltypes.com doug.auclair at logicaltypes.com
Wed Feb 15 17:05:32 AEDT 2006


Dear all,

I have opened the type(-equivalence) declaration of bintree_set.  Same reasons as for bintree.

$ diff -u merc-0.12.1/library/bintree_set.sav merc-0.12.1/library/bintree_set.m
--- bintree_set.sav     2006-02-15 01:01:58.000000000 -0500
+++ bintree_set.m       2006-02-15 01:02:45.000000000 -0500
@@ -22,9 +22,9 @@
 %--------------------------------------------------------------------------%
 
 :- interface.
-:- import_module list.
+:- import_module bintree, std_util, list.
 
-:- type bintree_set(_T).
+:- type bintree_set(T)          ==      bintree(T, unit).
 
        % `bintree_set__list_to_set(List, Set)' is true iff `Set' is the set
        % containing only the members of `List'.
@@ -159,10 +159,7 @@
 %--------------------------------------------------------------------------%
 
 :- implementation.
-:- import_module bintree, assoc_list.
-:- import_module std_util.
-
-:- type bintree_set(T)          ==      bintree(T, unit).
+:- import_module assoc_list.
 
 %--------------------------------------------------------------------------%

Sincerely,
Doug Auclair

--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------



More information about the developers mailing list