---

yaml
---
r: 23101
b: refs/heads/master
c: 800de26
h: refs/heads/master
i:
  23099: ae3d629
v: v3

Author: graydon

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: ab71c183b9120db520abaf162da8095249f64b02
+refs/heads/master: 800de26372513c12cf735b7dc43791808e5a5ee9
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/src/libstd/sha1.rs

@@ -61,7 +61,6 @@ fn sha1() -> sha1 {
          work_buf: @~[mut u32]};
 
     fn add_input(st: sha1state, msg: ~[u8]) {
-        /* FIXME: Should be typestate precondition (#2345) */
         assert (!st.computed);
         for vec::each(msg) |element| {
             st.msg_block[st.msg_block_idx] = element;
@@ -78,7 +77,6 @@ fn sha1() -> sha1 {
         }
     }
     fn process_msg_block(st: sha1state) {
-        // FIXME: Make precondition (#2345)
         assert (vec::len(st.h) == digest_buf_len);
         assert (vec::len(*st.work_buf) == work_buf_len);
         let mut t: int; // Loop counter
@@ -180,7 +178,6 @@ fn sha1() -> sha1 {
      * can be assumed that the message digest has been computed.
      */
     fn pad_msg(st: sha1state) {
-        // FIXME: Should be a precondition (#2345)
         assert (vec::len(st.msg_block) == msg_block_len);
 
         /*
@@ -219,7 +216,6 @@ fn sha1() -> sha1 {
 
     impl sha1state: sha1 {
         fn reset() {
-            // FIXME: Should be typestate precondition (#2345)
             assert (vec::len(self.h) == digest_buf_len);
             self.len_low = 0u32;
             self.len_high = 0u32;