I tested the gc speed improvement on my machine at work (faster than
my aging laptop) and it seems to be better by 15.55%. I guess that
the faster the machine, the more benefit you'll get from this
optimization.
Cheers,
-- Denys Duchier - Équipe Calligramme - LORIA, Nancy, France - Please send submissions to hackers@mozart-oz.org and administriva mail to hackers-request@mozart-oz.org. The Mozart Oz web site is at http://www.mozart-oz.org/.