TypeInferCommon.cxx File Reference

#include <stdint.h>
#include <stdlib.h>
#include <iostream>
#include <string>
#include <sstream>
#include <libsherpa/UExcept.hxx>
#include <libsherpa/CVector.hxx>
#include "UocInfo.hxx"
#include "Options.hxx"
#include "AST.hxx"
#include "Type.hxx"
#include "TypeScheme.hxx"
#include "TypeMut.hxx"
#include "Typeclass.hxx"
#include "inter-pass.hxx"
#include "TypeInfer.hxx"
#include "TypeInferCommon.hxx"

Go to the source code of this file.

Functions
GCPtr< Type >	obtainFullUnionType (GCPtr< Type > t)
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)
bool	initGamma (std::ostream &errStream, GCPtr< Environment< TypeScheme > > gamma, GCPtr< Environment< CVector< GCPtr< Instance > > > > instEnv, const GCPtr< AST > ast, unsigned long uflags)

---

Function Documentation

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.

Referenced by UocInfo::DoTypeCheck().

GCPtr<Type> obtainFullUnionType

(

GCPtr< Type >

t

)

Definition at line 66 of file TypeInferCommon.cxx.

Referenced by findComponent(), and typeInfer().

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

Definition at line 98 of file TypeInferCommon.cxx.

Referenced by initGamma(), and typeInfer().

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

Definition at line 124 of file TypeInferCommon.cxx.

References sherpa::LexLoc::asString(), BF_PRIVATE, and s.

Referenced by initGamma(), and typeInfer().

---