method voffs = function
NoOffset -> SkipChildren
| Index _ -> DoChildren
| Field(fi,_) ->
begin
try
if not (fi == FieldinfoHashtbl.find known_fields fi)
then
Jessie_options.warning ~current:true
"Field %s of type %s is not shared between declaration and use"
fi.fname fi.fcomp.cname
with Not_found ->
Jessie_options.warning ~current:true
"Field %s of type %s is unbound in the AST"
fi.fname fi.fcomp.cname
end;
DoChildren