TypeEqInfer.hxx File Reference

#include <iostream>
#include <sstream>
#include <libsherpa/CVector.hxx>
#include "AST.hxx"
#include "Type.hxx"
#include "TypeScheme.hxx"
#include "Typeclass.hxx"

Go to the source code of this file.

Functions
void	addSubCst (GCPtr< AST > errAst, GCPtr< Type > t1, GCPtr< Type > t2, GCPtr< Constraints > tcc)
void	addEqCst (GCPtr< AST > errAst, GCPtr< Type > t1, GCPtr< Type > t2, GCPtr< Constraints > tcc)
void	addCcCst (GCPtr< AST > errAst, GCPtr< Type > t1, GCPtr< Type > t2, GCPtr< Constraints > tcc)
void	addPcst (GCPtr< AST > errAst, GCPtr< Type > t, GCPtr< Constraints > tcc)
bool	EqUnify (std::ostream &errStream, GCPtr< Constraints > cset, GCPtr< Trail > trail)

---

Function Documentation

void addCcCst	(	GCPtr< AST >	errAst,
		GCPtr< Type >	t1,
		GCPtr< Type >	t2,
		GCPtr< Constraints >	tcc
	)

Definition at line 172 of file TypeEqInfer.cxx.

References addSubCst().

Referenced by typeEqInfer().

void addEqCst	(	GCPtr< AST >	errAst,
		GCPtr< Type >	t1,
		GCPtr< Type >	t2,
		GCPtr< Constraints >	tcc
	)

Definition at line 164 of file TypeEqInfer.cxx.

References addSubCst().

Referenced by EqUnify(), and typeEqInfer().

void addPcst	(	GCPtr< AST >	errAst,
		GCPtr< Type >	t,
		GCPtr< Constraints >	tcc
	)

Definition at line 181 of file TypeEqInfer.cxx.

Referenced by typeEqInfer().

void addSubCst	(	GCPtr< AST >	errAst,
		GCPtr< Type >	t1,
		GCPtr< Type >	t2,
		GCPtr< Constraints >	tcc
	)

Definition at line 155 of file TypeEqInfer.cxx.

References sub().

Referenced by addCcCst(), addEqCst(), EqUnify(), TransClose(), and typeEqInfer().

bool EqUnify	(	std::ostream &	errStream,
		GCPtr< Constraints >	cset,
		GCPtr< Trail >	trail
	)

Definition at line 148 of file EqUnify.cxx.

References addEqCst(), addSubCst(), assert(), CMPSET, EqUnify(), Type::Kmono, Type::Kpoly, TransClose(), and typeError().

Referenced by EqUnify(), and typeEqInfer().

---