From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 13 Mar 2021 18:10:14 +0000 (+0000)
Subject: at-otter: Introduce synchu
X-Git-Tag: otter-0.4.0~108
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=98f2fe52f80ae219183a0b7f8dad53219cd69367;p=otter.git

at-otter: Introduce synchu

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

diff --git a/apitest/at-otter.rs b/apitest/at-otter.rs
index 3da0ea6d..fd4c9402 100644
--- a/apitest/at-otter.rs
+++ b/apitest/at-otter.rs
@@ -345,6 +345,11 @@ impl Session {
     )?;
   }
 
+  #[throws(AE)]
+  fn synchu<PI:Idx>(&mut self, pieces: &mut IndexVec<PI, PieceInfo<JsV>>) {
+    self.synchx(Some(pieces), None, |_session, _gen, _k, _v| ())?;
+  }
+
   #[throws(AE)]
   fn synch(&mut self) {
     self.synchx::<PIA,_>(None, None, |_session, _gen, _k, _v|())?;
@@ -493,7 +498,7 @@ impl Ctx {
     }
 
     alice.synch()?;
-    bob.synchx(Some(&mut b_pieces), None, |session, gen, k, v| ())?;
+    bob.synchu(&mut b_pieces)?;
 
     for &p in &b_pawns {
       let b_pos = &b_pieces[p].pos;