> > Total time (wall clock) > > orig: 5 hours + > > no-reread: 6 minutes > > > Peak RES (as measured by top) > > orig: 940MB > > no-reread: 950MB > > Am I reading this correctly? This unoptimisation makes Darcs 50 times > faster on large records while not using significantly more memory?
At *least* 50 times faster -- Jason killed the first experiment after he was satisfied that it was sufficiently bad on both time and space. :-) Regards, Zooko _______________________________________________ darcs-devel mailing list [email protected] http://www.abridgegame.org/cgi-bin/mailman/listinfo/darcs-devel
