method vterm_offset = function
TNoOffset -> SkipChildren
| TIndex _ -> DoChildren
| TField(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