From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001 From: Martial Simon Date: Mon, 15 Sep 2025 01:07:58 +0200 Subject: add: added projects --- tiger-compiler/src/overload/liboverload.cc | 28 ++++++++++++++++++++++++++++ 1 file changed, 28 insertions(+) create mode 100644 tiger-compiler/src/overload/liboverload.cc (limited to 'tiger-compiler/src/overload/liboverload.cc') diff --git a/tiger-compiler/src/overload/liboverload.cc b/tiger-compiler/src/overload/liboverload.cc new file mode 100644 index 0000000..7662300 --- /dev/null +++ b/tiger-compiler/src/overload/liboverload.cc @@ -0,0 +1,28 @@ +/** + ** \file overload/liboverload.cc + ** \brief Define exported type functions. + */ + +#include +#include +#include + +namespace overload +{ + std::pair bind(ast::Ast& tree) + { + Binder bind; + bind(tree); + return std::pair(std::move(bind.overfun_bindings_get()), + std::move(bind.error_get())); + } + + misc::error types_check(ast::Ast& tree, + const overfun_bindings_type& overfun_bindings) + { + TypeChecker type{overfun_bindings}; + type(tree); + return type.error_get(); + } + +} // namespace overload -- cgit v1.2.3