TypeChecker.cpp File Reference

#include <Ark/TypeChecker.hpp>
#include <limits>
#include <numeric>
#include <algorithm>
#include <termcolor/proxy.hpp>
#include <Ark/Exceptions.hpp>

Include dependency graph for TypeChecker.cpp:

Go to the source code of this file.

Namespaces
namespace	Ark
namespace	Ark::types

Functions
std::string	Ark::types::typeListToString (const std::vector< ValueType > &types)
void	Ark::types::displayContract (const Contract &contract, const std::vector< Value > &args)
ARK_API void	Ark::types::generateError (std::string_view funcname, const std::vector< Contract > &contracts, const std::vector< Value > &args)
	Generate an error message based on a given set of types contracts provided argument list.