You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 4824 Reporter: pveber Assigned to:@garrigue Status: closed (set by @garrigue on 2010-06-08T08:46:06Z) Resolution: fixed Priority: normal Severity: minor Version: 3.11.0 Fixed in version: 3.12.0+dev Category: ~DO NOT USE (was: OCaml general)
Bug description
The following definition is rejected :
module M :
sig
class x : int -> object method m : int end
end
struct
class x _ = object
method m = 42
end
end;;
Error: Signature mismatch:
Modules do not match:
sig class x : 'a -> object method m : int end end
is not included in
sig class x : int -> object method m : int end end
Class declarations do not match:
class x : 'a -> object method m : int end
does not match
class x : int -> object method m : int end
One parameter has type 'a but is expected to have type int
Is there a good reason for this ?
Philippe.
The text was updated successfully, but these errors were encountered:
Original bug ID: 4824
Reporter: pveber
Assigned to: @garrigue
Status: closed (set by @garrigue on 2010-06-08T08:46:06Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 3.11.0
Fixed in version: 3.12.0+dev
Category: ~DO NOT USE (was: OCaml general)
Bug description
The following definition is rejected :
module M :
sig
class x : int -> object method m : int end
end
struct
class x _ = object
method m = 42
end
end;;
Error: Signature mismatch:
Modules do not match:
sig class x : 'a -> object method m : int end end
is not included in
sig class x : int -> object method m : int end end
Class declarations do not match:
class x : 'a -> object method m : int end
does not match
class x : int -> object method m : int end
One parameter has type 'a but is expected to have type int
Is there a good reason for this ?
Philippe.
The text was updated successfully, but these errors were encountered: