[m-rev.] For review: library/sparse_bitset cleanup

James Goddard goddardjames at yahoo.com
Thu Jan 15 15:01:53 AEDT 2004


Estimated hours taken: 0.5
Branches: main

Removed a function declaration from the sparse_bitset implementation.

library/sparse_bitset.m:
	Removed the function declaration for sparse_bitset.foldr_2/3 from the
	implementation, since the function is not called by anything and
	causes a compile warning.

Index: sparse_bitset.m
===================================================================
RCS file: /home/mercury1/repository/mercury/library/sparse_bitset.m,v
retrieving revision 1.18
diff -u -d -r1.18 sparse_bitset.m
--- sparse_bitset.m	22 Dec 2003 11:21:48 -0000	1.18
+++ sparse_bitset.m	15 Jan 2004 03:56:47 -0000
@@ -412,10 +412,6 @@
 			Acc2 = F(E, Acc1)
 		), Set, Acc0, Acc).
 
-:- func foldr_2(func(T, U) = U, bitset_impl, U) = U <= enum(T).
-:- pragma type_spec(foldr_2/3, T = int).
-:- pragma type_spec(foldr_2/3, T = var(_)).
-
 :- pred foldr_2(pred(T, U, U), bitset_impl, U, U) <= enum(T).
 :- mode foldr_2(pred(in, in, out) is det, in, in, out) is det.
 :- mode foldr_2(pred(in, di, uo) is det, in, di, uo) is det.
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the reviews mailing list