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