* Is this a known bug or change in 3.10
@ 2007-10-01 16:35 Christophe Raffalli
2007-10-01 16:45 ` [Caml-list] " Christophe Raffalli
0 siblings, 1 reply; 2+ messages in thread
From: Christophe Raffalli @ 2007-10-01 16:35 UTC (permalink / raw)
To: caml-list
[-- Attachment #1.1: Type: text/plain, Size: 932 bytes --]
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
---------------------------------------------
[-- Attachment #1.2: Christophe.Raffalli.vcf --]
[-- Type: text/x-vcard, Size: 310 bytes --]
begin:vcard
fn:Christophe Raffalli
n:Raffalli;Christophe
org:LAMA (UMR 5127)
email;internet:christophe.raffalli@univ-savoie.fr
title;quoted-printable:Ma=C3=AEtre de conf=C3=A9rences
tel;work:+33 4 79 75 81 03
note:http://www.lama.univ-savoie.fr/~raffalli
x-mozilla-html:TRUE
version:2.1
end:vcard
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 249 bytes --]
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2007-10-01 16:45 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-10-01 16:35 Is this a known bug or change in 3.10 Christophe Raffalli
2007-10-01 16:45 ` [Caml-list] " Christophe Raffalli
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).