blob: 9e5331396f936f622d999081b269a70416a26c3b (
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
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
/*
*/
#include <iostream>
#include <string>
#include "parse/lex.hpp"
#include "parse/parseerror.hpp"
#include "ast/ast.hpp"
#include <serialiser_texttree.hpp>
#include <cstring>
#include <main_bindings.hpp>
int g_debug_indent_level = 0;
/// main!
int main(int argc, char *argv[])
{
const char *infile = NULL;
::std::string outfile;
const char *crate_path = ".";
const char *emit_type = "c";
for( int i = 1; i < argc; i ++ )
{
const char* arg = argv[i];
if( arg[0] != '-' )
{
infile = arg;
}
else if( arg[1] != '-' )
{
arg ++; // eat '-'
for( ; *arg; arg ++ )
{
switch(*arg)
{
// "-o <file>" : Set output file
case 'o':
if( i == argc - 1 ) {
// TODO: BAIL!
return 1;
}
outfile = argv[++i];
break;
default:
return 1;
}
}
}
else
{
if( strcmp(arg, "--crate-path") == 0 ) {
if( i == argc - 1 ) {
// TODO: BAIL!
return 1;
}
crate_path = argv[++i];
}
else if( strcmp(arg, "--emit") == 0 ) {
if( i == argc - 1 ) {
// TODO: BAIL!
return 1;
}
emit_type = argv[++i];
}
else {
return 1;
}
}
}
if( outfile == "" )
{
outfile = infile;
outfile += ".o";
}
//Serialiser_TextTree s_tt(::std::cout);
//Serialiser& s = s_tt;
try
{
AST::Crate crate = Parse_Crate(infile);
crate.post_parse();
//s << crate;
// Resolve names to be absolute names (include references to the relevant struct/global/function)
ResolvePaths(crate);
//s << crate;
// Typecheck / type propagate module (type annotations of all values)
// - Check all generic conditions (ensure referenced trait is valid)
// > Also mark parameter with applicable traits
Typecheck_GenericBounds(crate);
// - Check all generic parameters match required conditions
Typecheck_GenericParams(crate);
// - Typecheck statics and consts
// - Typecheck + propagate functions
// > Forward pass first
Typecheck_Expr(crate);
Dump_Rust( FMT(outfile << ".rs").c_str(), crate );
if( strcmp(emit_type, "ast") == 0 )
{
::std::ofstream os(outfile);
Serialiser_TextTree os_tt(os);
((Serialiser&)os_tt) << crate;
return 0;
}
// Flatten modules into "mangled" set
AST::Flat flat_crate = Convert_Flatten(crate);
// Convert structures to C structures / tagged enums
//Convert_Render(flat_crate, stdout);
}
catch(const ParseError::Base& e)
{
::std::cerr << "Parser Error: " << e.what() << ::std::endl;
return 2;
}
catch(const ::std::exception& e)
{
::std::cerr << "Misc Error: " << e.what() << ::std::endl;
return 2;
}
return 0;
}
|
