Original bug ID: 3567
Reporter: administrator
Status: closed (set by @garrigue on 2010-04-30T06:05:55Z)
Resolution: fixed
Priority: normal
Severity: minor
Fixed in version: 3.10.0
Category: ~DO NOT USE (was: OCaml general)
Monitored by: marc

Bug description

Full_Name: Marc Herbert
Version: 3.08.2
OS: linux
Submission from: lns-vlq-37-lyo-82-253-101-87.adsl.proxad.net (82.253.101.87)

I find the following error message very confusing

class ['a] someclass x_init =
object
val x = x_init
method get = x
end;;

Some type variables are unbound in this type:
class ['a] cltest : 'b -> object val x : 'b method get : 'b end
The method get has type 'a where 'a is unbound

In the second line, get has type 'b, but then get has type 'a in the third
line.