Original bug ID: 4191
Reporter: jyh
Status: closed (set by @garrigue on 2006-12-28T05:54:26Z)
Resolution: fixed
Priority: normal
Severity: trivial
Version: 3.09.3
Fixed in version: 3.10+dev
Category: ~DO NOT USE (was: OCaml general)

Bug description

The following error message is inconsistent about method "test" having type 'b -> bool, as well as 'a -> bool (incorrect).

This is pretty trivial, but may be worth mentioning.

class ['a] is_x x =

 object (self : 'self)
    method test y = (x = y)
 end;;

Characters 5-87:
..... ['a] is_x x =
object (self : 'self)
method test y = (x = y)
end....
Some type variables are unbound in this type:
class ['a] is_x : 'b -> object method test : 'b -> bool end
The method test has type 'a -> bool where 'a is unbound