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: 6742 Reporter:@Drup Assigned to:@garrigue Status: closed (set by @xavierleroy on 2016-12-07T10:47:05Z) Resolution: fixed Severity: minor Target version: 4.03.0+dev / +beta1 Fixed in version: 4.03.0+dev / +beta1 Category: typing Monitored by:@gasche
Bug description
In the typedtree, we have the following definition:
| Tstr_class of (class_declaration * string list * virtual_flag) list
However, class_declaration = class_expr class_infos and class_infos has a field ci_virt containing the virtual flag.
After a bit of investigation, class_infos seems to have been introduced much later than the virtual flag in Tstr_class. In the code, they seem to be equal (but obtained by different means). Is it really the case, and if no, why ?
The text was updated successfully, but these errors were encountered:
Original bug ID: 6742
Reporter: @Drup
Assigned to: @garrigue
Status: closed (set by @xavierleroy on 2016-12-07T10:47:05Z)
Resolution: fixed
Severity: minor
Target version: 4.03.0+dev / +beta1
Fixed in version: 4.03.0+dev / +beta1
Category: typing
Monitored by: @gasche
Bug description
In the typedtree, we have the following definition:
| Tstr_class of (class_declaration * string list * virtual_flag) list
However, class_declaration = class_expr class_infos and class_infos has a field ci_virt containing the virtual flag.
After a bit of investigation, class_infos seems to have been introduced much later than the virtual flag in Tstr_class. In the code, they seem to be equal (but obtained by different means). Is it really the case, and if no, why ?
The text was updated successfully, but these errors were encountered: