From 2e90bd94de32c739733966bfac96cf35e9a08655 Mon Sep 17 00:00:00 2001 From: Tim Chevalier Date: Wed, 6 Apr 2011 17:56:44 -0700 Subject: Continued sketching out code for checking states against preconditions. It's still sketchy. I added a typestate annotation field to statements tagged stmt_decl or stmt_expr, because a stmt_decl statement has a typestate that's different from that of its child node. This necessitated trivial changes to a bunch of other files all over to the compiler. I also added a few small standard library functions, some of which I didn't actually end up using but which I thought might be useful anyway. --- src/comp/pretty/pprust.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/comp/pretty/pprust.rs') diff --git a/src/comp/pretty/pprust.rs b/src/comp/pretty/pprust.rs index 7e0fb6cb7c9..ee11a43ad20 100644 --- a/src/comp/pretty/pprust.rs +++ b/src/comp/pretty/pprust.rs @@ -339,8 +339,8 @@ impure fn print_block(ps s, ast.block blk) { cur_line = st.span.hi.line; maybe_print_comment(s, st.span.lo); alt (st.node) { - case (ast.stmt_decl(?decl)) {print_decl(s, decl);} - case (ast.stmt_expr(?expr)) {print_expr(s, expr);} + case (ast.stmt_decl(?decl,_)) {print_decl(s, decl);} + case (ast.stmt_expr(?expr,_)) {print_expr(s, expr);} } if (front.parser.stmt_ends_with_semi(st)) {wrd(s.s, ";");} if (!maybe_print_line_comment(s, st.span)) {line(s.s);} -- cgit 1.4.1-3-g733a5