[Caml-list] ocamlc, ocamlopt stackoverflow on list

[Christophe Raffalli <christophe.raffalli@univ-savoie.fr>]

[-- Attachment #1: Type: text/plain, Size: 1307 bytes --]


Hello,

On my machine (ocaml 3.12.1 on linux 64 bits) with unlimited stack,
ocamlc and ocamlopt fails to compile a list constant of length 30000
which is a problem in code generated by another program.

Should this be considered a bug ?

Here is how to reproduce with grandelist.ml give below:

raffalli@d45-lama:~/Caml/patoline$ ocaml grandeliste.ml > foo.ml
raffalli@d45-lama:~/Caml/patoline$ ocamlc -c foo.ml
Fatal error: exception Stack_overflow
raffalli@d45-lama:~/Caml/patoline$ ocamlopt -c foo.ml
Fatal error: exception Stack_overflow

----------------- grandeliste.ml --------------------
open Printf

let _ =
  printf "let l = [";
  for i = 0 to 30000 do
    printf "%d;\n" i
  done;
  printf "0]"
----------------- grandeliste.ml --------------------

-- 
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
---------------------------------------------


[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 259 bytes --]