David Roundy wrote:
The push/pull run in just a bit more than two seconds on my machine, so it's hard for me to see the memory use (I know there are tools to track this, but I was just taking a glance). There's one patch in there that's 117k so I'd expect memory use up in the megabytes range, perhaps more, but certainly not more than a hundred megabytes, even at the most pessimistic.
In the interest of getting some numbers, I just tried it too, and darcs used about 7MB (as measured by looking in task manager, and using +RTS -M10M to give a tight upper limit).
Edwin _______________________________________________ darcs-users mailing list [email protected] http://www.abridgegame.org/mailman/listinfo/darcs-users
