From 86d4601827812b4b069e44feec1b1ea64cd34f4e Mon Sep 17 00:00:00 2001
From: Tim Chevalier <chevalier@alum.wellesley.edu>
Date: Mon, 4 Apr 2011 14:31:49 -0700
Subject: More work on typestate. Sketched out code for computing and checking
 prestates and poststates. Still a long ways away.

---
 src/comp/rustc.rc | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src/comp/rustc.rc')

diff --git a/src/comp/rustc.rc b/src/comp/rustc.rc
index 952ea7e8..47a37f33 100644
--- a/src/comp/rustc.rc
+++ b/src/comp/rustc.rc
@@ -62,6 +62,8 @@ auth middle.typestate_check.log_expr = impure;
 auth lib.llvm = unsafe;
 auth pretty.pprust = impure;
 auth middle.typestate_check.find_pre_post_block = impure;
+auth middle.typestate_check.find_pre_post_expr = impure;
+auth util.typestate_ann.implies = impure;
 
 mod lib {
     alt (target_os) {
-- 
cgit v1.2.3