compiler_constraints_test.cc File Reference

Tests for tpl_constraints.H. More...

#include <gtest/gtest.h>
#include <tpl_constraints.H>

Include dependency graph for compiler_constraints_test.cc:

Go to the source code of this file.

Functions
	TEST (CompilerConstraints, UnifiesTypeVariableWithBuiltinAndAppliesSubstitution)
	TEST (CompilerConstraints, UnifiesStructuredFunctionTypesTransitively)
	TEST (CompilerConstraints, OccursCheckRejectsRecursiveBinding)
	TEST (CompilerConstraints, RigidVariablesCannotBeBound)
	TEST (CompilerConstraints, SolvesConstraintSetsInInsertionOrder)
	TEST (CompilerConstraints, SolveShortCircuitsOnFirstFailure)

Detailed Description

Tests for tpl_constraints.H.

Definition in file compiler_constraints_test.cc.

Function Documentation

TEST() [1/6]

TEST	(	CompilerConstraints	,
		OccursCheckRejectsRecursiveBinding
	)

Definition at line 77 of file compiler_constraints_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_function_type(), Aleph::Compiler_Type_Context::make_type_variable(), and Aleph::Compiler_Type_Unifier::unify().

TEST() [2/6]

TEST	(	CompilerConstraints	,
		RigidVariablesCannotBeBound
	)

Definition at line 90 of file compiler_constraints_test.cc.

References Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_type_variable(), and Aleph::Compiler_Type_Unifier::unify().

TEST() [3/6]

TEST	(	CompilerConstraints	,
		SolvesConstraintSetsInInsertionOrder
	)

Definition at line 102 of file compiler_constraints_test.cc.

References Aleph::Constraint_Set< T >::add(), Aleph::Compiler_Type_Unifier::apply(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_tuple_type(), Aleph::Compiler_Type_Context::make_type_variable(), Aleph::Compiler_Type_Unifier::solve(), and Aleph::Compiler_Type_Context::string_type().

TEST() [4/6]

TEST	(	CompilerConstraints	,
		SolveShortCircuitsOnFirstFailure
	)

Definition at line 125 of file compiler_constraints_test.cc.

References Aleph::Constraint_Set< T >::add(), Aleph::Compiler_Type_Unifier::apply(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_type_variable(), Aleph::Compiler_Type_Unifier::solve(), and Aleph::Compiler_Type_Context::string_type().

TEST() [5/6]

TEST	(	CompilerConstraints	,
		UnifiesStructuredFunctionTypesTransitively
	)

Definition at line 58 of file compiler_constraints_test.cc.

References Aleph::Compiler_Type_Unifier::apply(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Context::bool_type(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_function_type(), Aleph::Compiler_Type_Context::make_type_variable(), Aleph::Compiler_Type_Context::to_string(), and Aleph::Compiler_Type_Unifier::unify().

TEST() [6/6]

TEST	(	CompilerConstraints	,
		UnifiesTypeVariableWithBuiltinAndAppliesSubstitution
	)

Definition at line 44 of file compiler_constraints_test.cc.

References Aleph::Compiler_Type_Unifier::apply(), Aleph::blossom_maximum_cardinality_matching(), Aleph::Compiler_Type_Unifier::dump_substitution(), Aleph::Compiler_Type_Context::integer_type(), Aleph::Compiler_Type_Context::make_type_variable(), and Aleph::Compiler_Type_Unifier::unify().