blob: 01fa60e566b11456b0f98e121a1215f706272e81 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/**
** \file type/libtype.hh
** \brief Declare the function exported by type module.
*/
#pragma once
#include <ast/fwd.hh>
#include <misc/error.hh>
/// Type-checking an ast::Ast.
namespace type
{
/** \brief Check types in a (bound) AST.
** \param tree abstract syntax tree's root.
** \return synthesis of the errors possibly found. */
misc::error types_check(::ast::Ast& tree);
} // namespace type
|
