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
This is a simplified example of an issue that happened with Frama-C's visitors:
(* a.ml *)typevisitAction = Go | Skipclassvisitor=objectmethodvisit () =Go
end
(* b.ml *)classskip_visitor=objectinheritA.visitor
method! visit ()=Skip(* Could be A.Skip, but due to inheritance, the module name is unnecessary *)end
Without Landmarks instrumentation, the above compiles, since the Skip constructor is found in module A.
If I explicitly write A.Skip in b.ml, it works fine.
If this is hard to fix, I believe a small addition to the Known issues section with the workaround should suffice to help people find it. Classes and inheritance are rarely used anyway in OCaml.
The text was updated successfully, but these errors were encountered:
This is a simplified example of an issue that happened with Frama-C's visitors:
This fails with:
Without Landmarks instrumentation, the above compiles, since the
Skip
constructor is found in moduleA
.If I explicitly write
A.Skip
inb.ml
, it works fine.If this is hard to fix, I believe a small addition to the Known issues section with the workaround should suffice to help people find it. Classes and inheritance are rarely used anyway in OCaml.
The text was updated successfully, but these errors were encountered: