[m-rev.] for post-commit review: announce fatter_sparse_bitset.m

Peter Wang novalazy at gmail.com
Fri Feb 3 20:46:33 AEDT 2023


On Fri, 03 Feb 2023 19:04:41 +1100 "Zoltan Somogyi" <zoltan.somogyi at runbox.com> wrote:
> --- a/NEWS.md
> +++ b/NEWS.md
> @@ -193,6 +193,12 @@ Changes to the Mercury standard library
> 
>     - pred `empty/1`
> 
> +### New `fatter_sparse_bitset` module
> +
> +* This new module defines a more compact version of the data structure
> +  defined by the `fat_sparse_bitset`module, and implements the set of
> +  operations on this data structure.

Missing space after the second backtick.

Do we need both modules?

Peter


More information about the reviews mailing list