Unify.hxx File Reference

#include <assert.h>
#include <stdlib.h>
#include <dirent.h>
#include <fstream>
#include <iostream>
#include <sstream>
#include <string>
#include "shared_ptr.hxx"
#include "AST.hxx"
#include "Environment.hxx"
#include "Type.hxx"
#include "TypeScheme.hxx"
#include "backend.hxx"

Go to the source code of this file.

Functions
bool	unify (std::ostream &errStream, boost::shared_ptr< Trail > trail, const sherpa::LexLoc &errLoc, boost::shared_ptr< Type > ft, boost::shared_ptr< Type > st, UnifyFlags uflags)
bool	unifyPrim (std::ostream &errStream, boost::shared_ptr< Trail > trail, const sherpa::LexLoc &errLoc, boost::shared_ptr< Type > tau, std::string ptype)

---

Function Documentation

bool unify	(	std::ostream &	errStream,
		boost::shared_ptr< Trail >	trail,
		const sherpa::LexLoc &	errLoc,
		boost::shared_ptr< Type >	ft,
		boost::shared_ptr< Type >	st,
		UnifyFlags	uflags
	)

bool unifyPrim	(	std::ostream &	errStream,
		boost::shared_ptr< Trail >	trail,
		const sherpa::LexLoc &	errLoc,
		boost::shared_ptr< Type >	tau,
		std::string	ptype
	)

---