Type equality predicates.

Functions
bool	comma::compareTypesUsingRewrites (const AstRewriter &rewrites, Type *typeX, Type *typeY)
bool	comma::compareTypesUsingRewrites (const AstRewriter &rewrites, SignatureType *typeX, SignatureType *typeY)
bool	comma::compareTypesUsingRewrites (const AstRewriter &rewrites, DomainType *typeX, DomainType *typeY)
bool	comma::compareTypesUsingRewrites (const AstRewriter &rewrites, SubroutineType *typeX, SubroutineType *typeY)
bool	comma::compareTypesUsingRewrites (const AstRewriter &rewrites, FunctionType *typeX, FunctionType *typeY)
bool	comma::compareTypesUsingRewrites (const AstRewriter &rewrites, ProcedureType *typeX, ProcedureType *typeY)

---

Detailed Description

compareTypesUsingRewrites determines equality between two types using the supplied rewrite rules as a context for evaluation.

---

Function Documentation

bool comma::compareTypesUsingRewrites	(	const AstRewriter &	rewrites,
		ProcedureType *	typeX,
		ProcedureType *	typeY
	)

Definition at line 153 of file TypeEqual.cpp.

bool comma::compareTypesUsingRewrites	(	const AstRewriter &	rewrites,
		FunctionType *	typeX,
		FunctionType *	typeY
	)

Definition at line 129 of file TypeEqual.cpp.

bool comma::compareTypesUsingRewrites	(	const AstRewriter &	rewrites,
		SubroutineType *	typeX,
		SubroutineType *	typeY
	)

Definition at line 111 of file TypeEqual.cpp.

bool comma::compareTypesUsingRewrites	(	const AstRewriter &	rewrites,
		DomainType *	typeX,
		DomainType *	typeY
	)

Definition at line 75 of file TypeEqual.cpp.

bool comma::compareTypesUsingRewrites	(	const AstRewriter &	rewrites,
		SignatureType *	typeX,
		SignatureType *	typeY
	)

Definition at line 56 of file TypeEqual.cpp.

bool comma::compareTypesUsingRewrites	(	const AstRewriter &	rewrites,
		Type *	typeX,
		Type *	typeY
	)

Definition at line 16 of file TypeEqual.cpp.