TypeInferCommon.hxx File Reference

#include "UocInfo.hxx"
#include "Options.hxx"
#include "AST.hxx"
#include "Type.hxx"
#include "TypeScheme.hxx"
#include "Typeclass.hxx"

Go to the source code of this file.

Functions
GCPtr< Type >	obtainFullUnionType (GCPtr< Type > t)
bool	initGamma (std::ostream &errStream, GCPtr< Environment< TypeScheme > > gamma, GCPtr< Environment< CVector< GCPtr< Instance > > > > instEnv, const GCPtr< AST > ast, unsigned long uflags)
bool	checkImpreciseTypes (std::ostream &errStream, const GCPtr< Environment< TypeScheme > > gamma, GCPtr< CVector< GCPtr< Type > > > impTypes)
void	useIFGamma (const std::string &idName, GCPtr< Environment< TypeScheme > > fromEnv, GCPtr< Environment< TypeScheme > > toEnv)
bool	useIFInsts (std::ostream &errStream, LexLoc &errLoc, GCPtr< Environment< CVector< GCPtr< Instance > > > >fromEnv, GCPtr< Environment< CVector< GCPtr< Instance > > > >toEnv, unsigned long uflags)

---

Function Documentation

bool checkImpreciseTypes	(	std::ostream &	errStream,
		const GCPtr< Environment< TypeScheme > >	gamma,
		GCPtr< CVector< GCPtr< Type > > >	impTypes
	)

Referenced by UocInfo::DoTypeCheck().

bool initGamma	(	std::ostream &	errStream,
		GCPtr< Environment< TypeScheme > >	gamma,
		GCPtr< Environment< CVector< GCPtr< Instance > > > >	instEnv,
		const GCPtr< AST >	ast,
		unsigned long	uflags
	)

Definition at line 198 of file TypeInferCommon.cxx.

References at_interface, CHKERR, UocInfo::ifList, uocName, useIFGamma(), and useIFInsts().

GCPtr<Type> obtainFullUnionType

(

GCPtr< Type >

t

)

Definition at line 66 of file TypeInferCommon.cxx.

References assert().

void useIFGamma	(	const std::string &	idName,
		GCPtr< Environment< TypeScheme > >	fromEnv,
		GCPtr< Environment< TypeScheme > >	toEnv
	)

Definition at line 98 of file TypeInferCommon.cxx.

References BF_COMPLETE, BF_PRIVATE, and s.

bool useIFInsts	(	std::ostream &	errStream,
		LexLoc &	errLoc,
		GCPtr< Environment< CVector< GCPtr< Instance > > > >	fromEnv,
		GCPtr< Environment< CVector< GCPtr< Instance > > > >	toEnv,
		unsigned long	uflags
	)

---