/****
 *
 * Private types and functions for where.h.
 *
 */

#ifndef wherePIncluded
#define wherePIncluded


TypeNode* InstantiateWhereDef1(TypeNode* type, nodep where);
TypeStruct InstantiateOpaqueType(TypeStruct type, nodep where);
TypeStruct InstantiateIdentType(TypeStruct type, nodep where);
TypeStruct InstantiateArrayType(TypeStruct type, nodep where);
TypeStruct InstantiateRecordType(TypeStruct type, nodep where) ;
void InstantiateRecordField(TypeNode* newrtype, TypeNode* newftype,
	char* fieldname);
/*
 * Instantiate a record field by building a new symtab entry for the field,
 * setting the type of this new entry to the given newftype, and then entering
 * the new entry into the give newrtype
 */

TypeStruct InstantiateOrType(TypeStruct type, nodep where);
TypeStruct InstantiateOpType(TypeStruct type, nodep where);
TypeNode* WhereRedef(TypeNode* type, Node* where);
TypeNode* MakeIdentType(Node* t);
TypeNode* MakeRecordType(TypeNode* type);

#endif