From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Mon, 18 Apr 2022 10:59:42 +0000 (+0100)
Subject: Fix type of PreparedPieceState.held in the JS
X-Git-Tag: otter-1.1.0~479
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=ffe43d13e455abcefc290f0e25dd995ede7d98c2;p=otter.git

Fix type of PreparedPieceState.held in the JS

I was comparing the JS and Rust versions, and spotted this
discrepancy.

In fact it is assigned to internal fields and variables which are all
nullable, so there is no other code change needed.

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

diff --git a/templates/script.ts b/templates/script.ts
index f21513ab..f0281a03 100644
--- a/templates/script.ts
+++ b/templates/script.ts
@@ -1747,7 +1747,7 @@ messages.Piece = <MessageHandler>handle_piece_update;
 type PreparedPieceState = {
   pos: Pos,
   svg: string,
-  held: PlayerId,
+  held: PlayerId | null,
   z: ZCoord,
   zg: Generation,
   pinned: boolean,