TypeInferUtil.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
boost::shared_ptr< Type >	obtainFullUnionType (boost::shared_ptr< Type > t)
bool	initGamma (std::ostream &errStream, boost::shared_ptr< TSEnvironment > gamma, boost::shared_ptr< InstEnvironment > instEnv, const boost::shared_ptr< AST > ast)
void	useIFGamma (const std::string &idName, boost::shared_ptr< TSEnvironment > fromEnv, boost::shared_ptr< TSEnvironment > toEnv)
void	useIFInsts (const std::string &idName, boost::shared_ptr< InstEnvironment >fromEnv, boost::shared_ptr< InstEnvironment >toEnv)
size_t	nCtArgs (boost::shared_ptr< Type > t)

---

Function Documentation

bool initGamma	(	std::ostream &	errStream,
		boost::shared_ptr< TSEnvironment >	gamma,
		boost::shared_ptr< InstEnvironment >	instEnv,
		const boost::shared_ptr< AST >	ast
	)

size_t nCtArgs

(

boost::shared_ptr< Type >

t

)

boost::shared_ptr<Type> obtainFullUnionType

(

boost::shared_ptr< Type >

t

)

void useIFGamma	(	const std::string &	idName,
		boost::shared_ptr< TSEnvironment >	fromEnv,
		boost::shared_ptr< TSEnvironment >	toEnv
	)

void useIFInsts	(	const std::string &	idName,
		boost::shared_ptr< InstEnvironment >	fromEnv,
		boost::shared_ptr< InstEnvironment >	toEnv
	)

---