VHPI: Type Handle of VHDL Record Elements is always NULL

[lemmuh]

vhpiHandleT children = vhpi_iterator(vhpiSelectedNames, rec);
for (vhpiHandleT child = vhpi_scan(children); child; child = vhpi_scan(children))  {
  // handle is always NULL -> NOK
  vhpi_handle(vhpiType, child);
  // handle is NOT NULL -> OK
  vhpi_handle(vhpiBaseType, child);
}

Is this behaviour correct ?

[nickg]

Is this behaviour correct ?

No it's a mistake, should be fixed now.