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

Bug description

Full_Name: Yutaka Oiwa
Version: 3.06
OS: SunOS5, Linux
Submission from: h219-110-059-210.catv01.itscom.jp (219.110.59.210)

Redefining already-open'ed module in toplevel breaks type consistency.

% /usr/bin/ocaml
Objective Caml version 3.06

module M = struct let a = 0 end;;

module M : sig val a : int end

open M;;

a;;

• : int = 0

module M = struct let a = (0, 0) end;;

module M : sig val a : int * int end

a;;

• : int = 537771982

Obj.is_block (Obj.magic a);;

• : bool = true

Version 3.06+28 (2003-04-28) in CVS also reproduces this bug.