Hello, It seems that the problem of stack size is still not solved in OS X (limited to 8Mo by default and hard limit in the kernel to 64Mo with ulimit -s 64000). My unison is still crashing on very big changes ... However, I stumbled on this pdf http://www.google.fr/url?sa=t&source=web&ct=res&cd=1&ved=0CAcQFjAA&url=http%3A%2F%2Fhomepage.mac.com%2Feric.c%2Fhpc%2Fcontents%2Fdocumentation%2FHow%2520to%2520increase%2520the%2520stack%2520size%2520on%2520Mac%2520OS%2520X.pdf&ei=v-MTS4aMG4Wj_AbFmok2&usg=AFQjCNH1qCjydtM1doAdtwtTJxaEAmwLSw&sig2=u9faAiBSuB7v-VzvHDPHRA) (This is the first hit on google with "increasing stack size on OS X") which explain how to use -stack-addr and -stack-size in the gnu linker to change the stack address and size. Did anyone try this on OS X for OCaml program ? I think stack limitation, for a functional program is not good and it is even worse when the limit depends upon the platform. Cheers, Christophe -- Christophe Raffalli Universite de Savoie Batiment Le Chablais, bureau 21 73376 Le Bourget-du-Lac Cedex tel: (33) 4 79 75 81 03 fax: (33) 4 79 75 87 42 mail: Christophe.Raffalli@univ-savoie.fr www: http://www.lama.univ-savoie.fr/~RAFFALLI --------------------------------------------- IMPORTANT: this mail is signed using PGP/MIME At least Enigmail/Mozilla, mutt or evolution can check this signature. The public key is stored on www.keyserver.net ---------------------------------------------