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

Bug description

Time freeman tim@fungible.com wrote me the following bug report, which
i guess is more of import to the ocaml team bug system than the debian
one, so i forward it to you.

I have tested, and what he describe is effectively happening.

Friendly,

Sven Luther

Package: ocaml
Version: 3.06-1
Severity: minor

Put this source code into foo.ml:

type bar = Bar

type 'a foo = 'a
constraint 'a = bar

type 'a baz = bar

Compile it with "ocamlc -c foo.ml" then say "ocamlbrowser -I .".
Click on Foo in the list of modules.

For the control experiment, click on baz in the list of exported symbols in
Foo, then click on "Foo.bar" in the description of Foo.baz. It moves you to
Foo.bar, as it should.

For the experimental experiment (?) (yuck, my empirical science jargon must be
rusty), click on foo in the list of exported symols in Foo, then click on
"Foo.bar" in the constraint of Foo.foo. Nothing happens. It should move you
to Foo.bar.

-- System Information
Debian Release: 3.0
Architecture: i386
Kernel: Linux lobus.fungible.com 2.4.17 #6 Sun Mar 31 13:05:51 PST 2002 i686
Locale: LANG=C, LC_CTYPE=C

Versions of packages ocaml depends on:
ii libc6 2.2.5-14 GNU C Library: Shared libraries an
ii libncurses5-dev 5.2.20020112a-7 Developer's libraries and docs for
ii ocaml-base 3.06-1 Runtime system for ocaml bytecode
ii ocaml-base [ocaml-base-3 3.06-1 Runtime system for ocaml bytecode
pn ocaml-base-3.06 Not found.