private void readType(string name, FStore.Input input)
{
if (m_types == null || m_types.Length == 0)
throw new System.IO.IOException("types.def must be defined first");
string typeName = name.Substring(0, name.Length-".fcode".Length);
for (int i=0; i<m_types.Length; ++i)
{
string n = typeRef(m_types[i].m_self).typeName;
if (n == typeName) { m_types[i].read(input); return; }
}
throw new System.IO.IOException("Unexpected fcode file: " + name);
}