From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sun, 11 Oct 2020 10:00:09 +0000 (+0100)
Subject: sealed trait
X-Git-Tag: otter-0.2.0~683
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=0ea5d11c89839f35ff52cc499ba02b9bc346e543;p=otter.git

sealed trait

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

diff --git a/zcoord/zcoord.rs b/zcoord/zcoord.rs
index 472059eb..e51733bc 100644
--- a/zcoord/zcoord.rs
+++ b/zcoord/zcoord.rs
@@ -144,8 +144,11 @@ pub trait AddSubOffset {
   fn check_nospace(i: usize) { if i == 0 { throw!() } }
   fn start_limb(&self, m: &Mutable) -> usize { m.limbs.len() - 1 }
   fn final_undo_delta() -> LimbVal;
+  const SEALED_TRAIT : Sealed;
 }
 
+pub struct Sealed(());
+
 struct AddSubInc;
 impl AddSubOffset for AddSubInc {
   fn init_delta(&self) -> LimbVal { DELTA }
@@ -154,6 +157,7 @@ impl AddSubOffset for AddSubInc {
   #[throws(as Option)]
   fn check_underflow(_: &Mutable, _: usize, _: LimbVal) { }
   fn final_undo_delta() -> LimbVal { DELTA }
+  const SEALED_TRAIT : Sealed = Sealed(());
 }
 
 struct AddSubDec;
@@ -166,6 +170,7 @@ impl AddSubOffset for AddSubDec {
     if i == 0 && nv == ZERO { throw!() }
   }
   fn final_undo_delta() -> LimbVal { -DELTA + ONE }
+  const SEALED_TRAIT : Sealed = Sealed(());
 }
 
 impl Mutable {
@@ -254,6 +259,7 @@ impl AddSubOffset for AddSubRangeDelta {
   fn check_nospace(i: usize) { assert_ne!(i, 0) }
   fn start_limb(&self, _: &Mutable) -> usize { self.i }
   fn final_undo_delta() -> LimbVal { panic!() }
+  const SEALED_TRAIT : Sealed = Sealed(());
 }
 
 impl Mutable {