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: 7107 Reporter: furuse Assigned to:@garrigue Status: closed (set by @xavierleroy on 2017-09-24T15:31:48Z) Resolution: not a bug Priority: normal Severity: major Version: 4.02.3 Category: typing Related to:#3231
Bug description
class type ct = object method x : int end
class c : ct = object method private x = 1 end
class c' = object method virtual m : int method private m = 1 end
The classes c and c' have public methods, though their implementations are declared private. Issue 3231 #3231 , it is explaned an intended behaviour, but they are surprising.
I thought Warning 15: the following private methods were made public implicitly: ... should be for this but no warning is reported. What is Warning 15 for?
The text was updated successfully, but these errors were encountered:
Original bug ID: 7107
Reporter: furuse
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2017-09-24T15:31:48Z)
Resolution: not a bug
Priority: normal
Severity: major
Version: 4.02.3
Category: typing
Related to: #3231
Bug description
class type ct = object method x : int end
class c : ct = object method private x = 1 end
class c' = object method virtual m : int method private m = 1 end
The classes c and c' have public methods, though their implementations are declared private. Issue 3231 #3231 , it is explaned an intended behaviour, but they are surprising.
I thought Warning 15: the following private methods were made public implicitly: ... should be for this but no warning is reported. What is Warning 15 for?
The text was updated successfully, but these errors were encountered: