From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Thu, 11 Mar 2021 20:06:07 +0000 (+0000)
Subject: hidden: Make NotchNumber a u32
X-Git-Tag: otter-0.4.0~145
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=2c7da9c7a6c6729f493399aeaae2ba93cd05b673;p=otter.git

hidden: Make NotchNumber a u32

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

diff --git a/src/hidden.rs b/src/hidden.rs
index 41cf2080..f76cd57e 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -189,7 +189,7 @@ mod vpid {
     }
   }
 
-  pub type NotchNumber = usize;
+  pub type NotchNumber = u32;
 
   define_index_type!{
     pub struct Notch = NotchNumber;
@@ -503,7 +503,7 @@ fn inner(
     then {
       occultation.views.get_kind(player)
         .map_displaced(|area| {
-          let x: Coord = NotchNumber::from(notch).try_into().unwrap(); // xxx
+          let x: Coord = notch.index().try_into().unwrap(); // xxx
           let pos = area.0[0] + PosC([x*2, 0]); // xxx
           pos.unwrap()
         })