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
Each field is lifted as its own property, but in case of inherited fields no subPropertyOf relation is established. For example, in the following we cannot use prog:C_i to retrieve 5.
class C(Int i) end
class D extends C() end
main
D d = new D(5);
end
The text was updated successfully, but these errors were encountered:
Each field is lifted as its own property, but in case of inherited fields no
subPropertyOf
relation is established. For example, in the following we cannot useprog:C_i
to retrieve5
.The text was updated successfully, but these errors were encountered: