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

Bug description

Full_Name: Jim Farrand
Version: 3.07+2
OS: Gentoo GNU/Linux
Submission from: 81-178-212-117.dsl.pipex.com (81.178.212.117)

Incorrect output generated by ocamlc -i:

jim@draco src $ cat test.ml

class a =
object
method x : b -> unit = fun _ -> () ;
end
and b =
object
method x : a -> unit = fun _ -> () ;
end ;;

jim@draco src $ ocamlc -i test.ml
class a : object method x : b -> unit end
class b : object method x : a -> unit end

This output doesn't compile when passed back into ocamlc, as b is not defined at
the time it is used in the definition of a.

The correct output should be:

class a : object method x : b -> unit end
and b : object method x : a -> unit end