---

yaml
---
r: 27679
b: refs/heads/try
c: 800de26
h: refs/heads/master
i:
  27677: e7863fa
  27675: 18d65dd
  27671: 4588b1b
  27663: 13e6784
  27647: 180fd6d
v: v3

Author: graydon

[refs]

@@ -2,7 +2,7 @@
 refs/heads/master: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
-refs/heads/try: ab71c183b9120db520abaf162da8095249f64b02
+refs/heads/try: 800de26372513c12cf735b7dc43791808e5a5ee9
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df

branches/try/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;