# HG changeset patch # User wenzelm # Date 1679948270 -7200 # Node ID 6ae930c8914380d8038153da5e936ccad652f28f # Parent 96a594e5e05429bb8de4042287d84ef25fbb648b NEWS; diff -r 96a594e5e054 -r 6ae930c89143 NEWS --- a/NEWS Mon Mar 27 22:11:26 2023 +0200 +++ b/NEWS Mon Mar 27 22:17:50 2023 +0200 @@ -280,6 +280,10 @@ *** ML *** +* Functor Set() provides more compact representation of sets than +previous Table().set = unit table. See also instances such as structure +Intset, Symset, Termset. + * Operations ML_Heap.sizeof1 and ML_Heap.sizeof determine the object size on the heap in bytes. The latter works simultaneously on multiple objects, taking implicit sharing of values into account. Examples for