/**
 ** \file assert/libassert.cc
 ** \brief Implementation of functions exported by the assert module.
 */

#include <assert/binder.hh>
#include <assert/libassert.hh>
#include <assert/renamer.hh>
#include <assert/type-checker.hh>
#include <misc/error.hh>

namespace assert
{

  misc::error bind(ast::Ast& last)
  {
    Binder binder;
    binder(last);
    return binder.error_get();
  }

  misc::error types_check(ast::Ast& tree)
  {
    TypeChecker typer;
    typer(tree);
    return typer.error_get();
  }

  misc::error rename(ast::Ast& ast)
  {
    Renamer renamer;
    renamer(ast);
    return misc::error{};
  }

}