rust-lang/rust
1
0
Fork 0
Code Issues Pull Requests Actions 1 Packages Projects Releases Wiki Activity

rustc: Don't rebuild the AST when typechecking expressions

Browse Source
This commit is contained in:
Patrick Walton
2011-05-17 17:42:37 -07:00
parent 7a3812afc3
commit c6d4c31ee4
2 changed files with 232 additions and 525 deletions
Download Patch File Download Diff File Expand all files Collapse all files

699
src/comp/middle/typeck.rs
View File

File diff suppressed because it is too large Load Diff

16
src/comp/util/common.rs
View File

@@ -20,6 +20,7 @@ import pretty::pprust::print_expr;
import pretty::pprust::print_decl; import pretty::pprust::print_decl;
import pretty::pprust::print_fn; import pretty::pprust::print_fn;
import pretty::pprust::print_type; import pretty::pprust::print_type;
import pretty::pprust::mo_untyped;
import pretty::pp::mkstate; import pretty::pp::mkstate;
type filename = str; type filename = str;
@@ -125,7 +126,8 @@ fn expr_to_str(&@ast::expr e) -> str {
auto out_ = mkstate(s.get_writer(), 80u); auto out_ = mkstate(s.get_writer(), 80u);
auto out = @rec(s=out_, auto out = @rec(s=out_,
comments=none[vec[front::lexer::cmnt]], comments=none[vec[front::lexer::cmnt]],
mutable cur_cmnt=0u); mutable cur_cmnt=0u,
mode=mo_untyped);
print_expr(out, e); print_expr(out, e);
ret s.get_str(); ret s.get_str();
} }
@@ -135,7 +137,8 @@ fn ty_to_str(&ty t) -> str {
auto out_ = mkstate(s.get_writer(), 80u); auto out_ = mkstate(s.get_writer(), 80u);
auto out = @rec(s=out_, auto out = @rec(s=out_,
comments=none[vec[front::lexer::cmnt]], comments=none[vec[front::lexer::cmnt]],
mutable cur_cmnt=0u); mutable cur_cmnt=0u,
mode=mo_untyped);
print_type(out, @t); print_type(out, @t);
ret s.get_str(); ret s.get_str();
} }
@@ -161,7 +164,8 @@ fn block_to_str(&ast::block b) -> str {
auto out_ = mkstate(s.get_writer(), 80u); auto out_ = mkstate(s.get_writer(), 80u);
auto out = @rec(s=out_, auto out = @rec(s=out_,
comments=none[vec[front::lexer::cmnt]], comments=none[vec[front::lexer::cmnt]],
mutable cur_cmnt=0u); mutable cur_cmnt=0u,
mode=mo_untyped);
print_block(out, b); print_block(out, b);
ret s.get_str(); ret s.get_str();
@@ -180,7 +184,8 @@ fn fun_to_str(&ast::_fn f, str name, vec[ast::ty_param] params) -> str {
auto out_ = mkstate(s.get_writer(), 80u); auto out_ = mkstate(s.get_writer(), 80u);
auto out = @rec(s=out_, auto out = @rec(s=out_,
comments=none[vec[front::lexer::cmnt]], comments=none[vec[front::lexer::cmnt]],
mutable cur_cmnt=0u); mutable cur_cmnt=0u,
mode=mo_untyped);
print_fn(out, f.decl, name, params); print_fn(out, f.decl, name, params);
ret s.get_str(); ret s.get_str();
@@ -199,7 +204,8 @@ fn stmt_to_str(&ast::stmt st) -> str {
auto out_ = mkstate(s.get_writer(), 80u); auto out_ = mkstate(s.get_writer(), 80u);
auto out = @rec(s=out_, auto out = @rec(s=out_,
comments=none[vec[front::lexer::cmnt]], comments=none[vec[front::lexer::cmnt]],
mutable cur_cmnt=0u); mutable cur_cmnt=0u,
mode=mo_untyped);
alt (st.node) { alt (st.node) {
case (ast::stmt_decl(?decl,_)) { case (ast::stmt_decl(?decl,_)) {
print_decl(out, decl); print_decl(out, decl);