[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