[darcs-devel] [darcs #344] darcs on w32 overflows stack, won't allow adjustment

Tomasz Zielonka tomasz.zielonka at gmail.com
Thu Apr 14 12:13:42 PDT 2005


On Thu, Apr 14, 2005 at 02:56:21PM -0400, zooko at zooko.com via RT wrote:
> darcs on w32, when I try to do a big push, says "stack overflow, try adjusting 
> with +RTS -k..., currently size 8000016".  When I pass "+RTS -kanything" it
> says the same thing including the same size 8000016.  However, when I pass -?
> then it prints the usage string and exits immediately.

Does it really say "+RTS -k..."? It should be a capital K: "+RTS -K...".
Try this.

Best regards
Tomasz




More information about the darcs-devel mailing list