* [Caml-list] Is this a known bug or change in 3.10
@ 2007-10-01 16:53 Christophe Raffalli
2007-10-01 16:59 ` Vincent Aravantinos
` (2 more replies)
0 siblings, 3 replies; 5+ messages in thread
From: Christophe Raffalli @ 2007-10-01 16:53 UTC (permalink / raw)
To: caml-list
[-- Attachment #1.1: Type: text/plain, Size: 1260 bytes --]
Here is the correct one:
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 type Var =
sig
type t
val compare: t -> t -> int
end
module PathVar = struct
type t = string list
let compare = compare
end
module Make(Var: Var) = struct
type prop =
True | False
end
module Prop = Make(PathVar)
let _ = Prop.True
---------------------------
I get
$ ocamlc -pp camlp4o -c testbug.ml
File "testbug.ml", line 21, characters 8-17:
Unbound constructor Prop. True
This seems to be related to the conjunction of three things:
- constant constructor
- functor and
- camlp4o ?
--
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: signature.asc --]
[-- Type: application/pgp-signature, Size: 250 bytes --]
[-- Attachment #1.3: file:///tmp/nsmail-1.txt --]
[-- Type: text/plain, Size: 304 bytes --]
_______________________________________________
Caml-list mailing list. Subscription management:
http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
Archives: http://caml.inria.fr
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs
[-- Attachment #1.4: 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] 5+ messages in thread* Re: [Caml-list] Is this a known bug or change in 3.10
2007-10-01 16:53 [Caml-list] Is this a known bug or change in 3.10 Christophe Raffalli
@ 2007-10-01 16:59 ` Vincent Aravantinos
2007-10-01 17:10 ` Christophe Raffalli
[not found] ` <E29B167D-0775-4082-A21F-55A4CF10A766@iais.fraunhofer.de>
2 siblings, 0 replies; 5+ messages in thread
From: Vincent Aravantinos @ 2007-10-01 16:59 UTC (permalink / raw)
To: Christophe Raffalli; +Cc: caml-list
I've got the same with a compiled from source 3.10 on OSX; so this
this does not come from the unstable state of the fink package.
Le 1 oct. 07 à 18:53, Christophe Raffalli a écrit :
> Here is the correct one:
>
> 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 type Var =
> sig
> type t
> val compare: t -> t -> int
> end
>
> module PathVar = struct
> type t = string list
> let compare = compare
> end
>
>
> module Make(Var: Var) = struct
> type prop =
> True | False
> end
>
> module Prop = Make(PathVar)
>
> let _ = Prop.True
> ---------------------------
>
> I get
>
> $ ocamlc -pp camlp4o -c testbug.ml
> File "testbug.ml", line 21, characters 8-17:
> Unbound constructor Prop. True
>
> This seems to be related to the conjunction of three things:
> - constant constructor
> - functor and
> - camlp4o ?
>
> --
> 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
> ---------------------------------------------
>
>
> <signature.asc>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
>
> <Christophe.Raffalli.vcf>
> _______________________________________________
> Caml-list mailing list. Subscription management:
> http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list
> Archives: http://caml.inria.fr
> Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
> Bug reports: http://caml.inria.fr/bin/caml-bugs
^ permalink raw reply [flat|nested] 5+ messages in thread* Re: [Caml-list] Is this a known bug or change in 3.10
2007-10-01 16:53 [Caml-list] Is this a known bug or change in 3.10 Christophe Raffalli
2007-10-01 16:59 ` Vincent Aravantinos
@ 2007-10-01 17:10 ` Christophe Raffalli
[not found] ` <E29B167D-0775-4082-A21F-55A4CF10A766@iais.fraunhofer.de>
2 siblings, 0 replies; 5+ messages in thread
From: Christophe Raffalli @ 2007-10-01 17:10 UTC (permalink / raw)
To: caml-list
[-- Attachment #1.1: Type: text/plain, Size: 710 bytes --]
I have renamed True into T to solve the problem in my code ... but the
fact seems to be that M.True
and M.False do not work with camlp4o under 3.10 ...
Shall I fill a bug report ?
--
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] 5+ messages in thread[parent not found: <E29B167D-0775-4082-A21F-55A4CF10A766@iais.fraunhofer.de>]
* 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; 5+ 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] 5+ messages in thread
end of thread, other threads:[~2007-10-01 17:24 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2007-10-01 16:53 [Caml-list] Is this a known bug or change in 3.10 Christophe Raffalli
2007-10-01 16:59 ` Vincent Aravantinos
2007-10-01 17:10 ` Christophe Raffalli
[not found] ` <E29B167D-0775-4082-A21F-55A4CF10A766@iais.fraunhofer.de>
2007-10-01 17:24 ` Christophe Raffalli
-- strict thread matches above, loose matches on Subject: below --
2007-10-01 16:35 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