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

Bug description

Full_Name: Vassili Karpov
Version: 3.04
OS: Linux i386
Submission from: cache1-kh.comex.ru (217.10.35.250)

at +30 otherlibs/num/nat.mli:
val length_nat: nat -> int
val length_nat : nat -> int

Its interesting that this actually allocates 2 size_addr entries of module
storage instead of just one, i hit this with shared patched OCaml(which uses
mixed by position(for current module) and by name(for outsiders) global storage
access).

Anyway the problem is two fold:
a) redundant declaration (not a bug)
b) unneeded allocation (bug for shared patched OCaml)