Is this a known bug or change in 3.10

Is this a known bug or change in 3.10

[Christophe Raffalli]

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

Re: [Caml-list] Is this a known bug or change in 3.10

[Christophe Raffalli]

[-- Attachment #1.1: Type: text/plain, Size: 973 bytes --]

Christophe Raffalli a écrit :
> 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
> ---------------------------
>   
Sorry for the noise, this is a wrong simplification (Test.A is better)
of a problem I am having ...
I may repost when I get something better.
 

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

Re: [Caml-list] Is this a known bug or change in 3.10

[Christophe Raffalli]

[-- Attachment #1.1: Type: text/plain, Size: 747 bytes --]

Dr. Axel Poigné a écrit :
>  I use the binaries as provided by the download page on a macBook Pro
>
>
>
> Looks fine to me
>
> Axel
ocamlc is fine but not ocamlc -pp camlp4o. The bug only shows up when
using camlp4.


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

Re: [Caml-list] Is this a known bug or change in 3.10

[Christophe Raffalli]

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

Re: [Caml-list] Is this a known bug or change in 3.10

[Vincent Aravantinos]

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

[Caml-list] Is this a known bug or change in 3.10

[Christophe Raffalli]

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