Original bug ID: 296
Reporter: administrator
Status: closed
Resolution: fixed
Priority: normal
Severity: minor
Category: ~DO NOT USE (was: OCaml general)

Bug description

Hi!

There is a little bug in duplicate names checking of module type
definitions:

module type W = sig type t type t end;;

Multiple definition of the type name t.
Names must be unique in a given structure or signature.
==> ok

module type W = sig module M : sig end module M : sig end end;;

Multiple definition of the module type name M.
Names must be unique in a given structure or signature.
==> should be "module name M"

module type W = sig module type S module type S end;;

module type W = sig module type S module type S end
==> should not be accepted like in:

module M = struct module type S=sig end module type S=sig end end;;

Multiple definition of the module type name S.
Names must be unique in a given structure or signature.

I tested it with 3.00 but that part of code (the function
transl_signature in typing/typemod.ml) has not changed since.

And I have a question by the way, what is the point of acceping this
module type:

module type W = sig val x: int val x : string end;;

module type W = sig val x : int val x : string end

if no modules can be (succesfully :) matched against it?

Jacek

Laboratoire de Recherche en Informatique (LRI) - Equipe DEMONS
batiment 490, bureau 95, Universite Paris-Sud 91405 ORSAY (FRANCE)
tel:33.1.69.15.64.53 - fax:33.1.69.15.65.86 - http://www.lri.fr/~jacek