When I try to compile the following file (under OS X with ocaml 3.10 from fink unstable, This is my only 3.10 installed ...) --- File testbug.ml --- module Test = struct type t = A end let _ = T.A --------------------------- I get $ ocamlc -c testbug.ml File "testbug.ml", line 5, characters 8-11: Unbound constructor T.A This seems to be related to constant constructor only ? -- 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 ---------------------------------------------