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

Bug description

Full_Name: Bow-Yaw Wang
Version: 3.06+36 (2003-06-19)
OS: Mac OS X
Submission from: 140.109.21.73 (140.109.21.73)

I'm trying to implement visitor pattern with polymorphic
variants (Jacques, thanks :)). Here are the files and transcript:

a.mli:
class a :
object ('o)
method invite : 'c 'v . (([>`A of 'o] as 'c) -> 'v) -> 'v
end

a.ml:
class a =
object (self : 'o)
method invite : 'c 'v . (([>A of 'o] as 'c) -> 'v) -> 'v = fun f -> f (A self)
end

dhcp066:$ocamlc -c a.mli
dhcp066:$ocamlc -c a.ml
Fatal error: exception Assert_failure("typing/btype.ml", 202, 26)

If I type the definition of class a interactively, it compiles without
any problem.

Sorry for not using the stable version. I hope the latest cvs
version can do.

Thanks,

Bow-Yaw