---

catamorphism · catamorphism · commit 8eaffb365334 · 2011-06-28T17:50:07.000-07:00
yaml --- r: 3443 b: refs/heads/master c: db478ed h: refs/heads/master i: 3441: acc0eef 3439: 0a95667 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 8c757fcd4063601279332806a52d13fcfbf6f04c
+refs/heads/master: db478ed4de53df7f7199bee42a75990b4e2b7c6d
diff --git a/trunk/src/comp/middle/tstate/pre_post_conditions.rs b/trunk/src/comp/middle/tstate/pre_post_conditions.rs
@@ -346,7 +346,6 @@ fn find_pre_post_expr(&fn_ctxt fcx, @expr e) {
                 case (none) { clear_pp(expr_pp(fcx.ccx, e)); }
             }
         }
-        // FIXME this was just put in here as a placeholder
         case (expr_fn(?f)) { clear_pp(expr_pp(fcx.ccx, e)); }
         case (expr_block(?b)) {
             find_pre_post_block(fcx, b);
diff --git a/trunk/src/comp/middle/tstate/states.rs b/trunk/src/comp/middle/tstate/states.rs
@@ -337,7 +337,6 @@ fn find_pre_post_state_expr(&fn_ctxt fcx, &prestate pres, @expr e) -> bool {
             }
         }
         case (expr_lit(?l)) { ret pure_exp(fcx.ccx, e.id, pres); }
-        // FIXME This was just put in here as a placeholder
         case (expr_fn(?f)) { ret pure_exp(fcx.ccx, e.id, pres); }
         case (expr_block(?b)) {
             ret find_pre_post_state_block(fcx, pres, b) |

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 8c757fcd4063601279332806a52d13fcfbf6f04c`
	`2`	`+refs/heads/master: db478ed4de53df7f7199bee42a75990b4e2b7c6d`
Original file line number	Diff line number	Diff line change
`@@ -346,7 +346,6 @@ fn find_pre_post_expr(&fn_ctxt fcx, @expr e) {`
`346`	`346`	`case (none) { clear_pp(expr_pp(fcx.ccx, e)); }`
`347`	`347`	`}`
`348`	`348`	`}`
`349`		`- // FIXME this was just put in here as a placeholder`
`350`	`349`	`case (expr_fn(?f)) { clear_pp(expr_pp(fcx.ccx, e)); }`
`351`	`350`	`case (expr_block(?b)) {`
`352`	`351`	`find_pre_post_block(fcx, b);`
Original file line number	Diff line number	Diff line change
`@@ -337,7 +337,6 @@ fn find_pre_post_state_expr(&fn_ctxt fcx, &prestate pres, @expr e) -> bool {`
`337`	`337`	`}`
`338`	`338`	`}`
`339`	`339`	`case (expr_lit(?l)) { ret pure_exp(fcx.ccx, e.id, pres); }`
`340`		`- // FIXME This was just put in here as a placeholder`
`341`	`340`	`case (expr_fn(?f)) { ret pure_exp(fcx.ccx, e.id, pres); }`
`342`	`341`	`case (expr_block(?b)) {`
`343`	`342`	`ret find_pre_post_state_block(fcx, pres, b) \|`