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

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

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