summaryrefslogtreecommitdiff
path: root/src/include/main_bindings.hpp
blob: 91bac742f1cad8e7fff354c485f589189bfbe51c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
/*
 */
#ifndef _MAIN_BINDINGS_HPP_
#define _MAIN_BINDINGS_HPP_

#include "../ast/ast.hpp"

/// Parse a crate from the given file
extern AST::Crate Parse_Crate(::std::string mainfile);
/// Process #[] decorators
extern void Process_Decorators(AST::Crate& crate);
/// Resolve all in-text paths to absolute variants
extern void ResolvePaths(AST::Crate& crate);
/// Check that generic bounds are valid
extern void Typecheck_GenericBounds(AST::Crate& crate);
/// Check that parameters for generics are valid
extern void Typecheck_GenericParams(AST::Crate& crate);
/// Type resolution (and hence checking) for expressions
extern void Typecheck_Expr(AST::Crate& crate);

/// Convert the AST to a flat tree
extern AST::Flat Convert_Flatten(const AST::Crate& crate);


/// Dump the crate as annotated rust
extern void Dump_Rust(const char *Filename, const AST::Crate& crate);

#endif