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/front/ast.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'src/comp/front/ast.rs') diff --git a/src/comp/front/ast.rs b/src/comp/front/ast.rs index d41e6d60..cf4145a5 100644 --- a/src/comp/front/ast.rs +++ b/src/comp/front/ast.rs @@ -215,8 +215,8 @@ tag mode { type stmt = spanned[stmt_]; tag stmt_ { - stmt_decl(@decl); - stmt_expr(@expr); + stmt_decl(@decl, option.t[@ts_ann]); + stmt_expr(@expr, option.t[@ts_ann]); // These only exist in crate-level blocks. stmt_crate_directive(@crate_directive); } @@ -495,7 +495,7 @@ fn index_native_view_item(native_mod_index index, @view_item it) { fn index_stmt(block_index index, @stmt s) { alt (s.node) { - case (ast.stmt_decl(?d)) { + case (ast.stmt_decl(?d,_)) { alt (d.node) { case (ast.decl_local(?loc)) { index.insert(loc.ident, ast.bie_local(loc)); -- cgit v1.2.3