From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 27 Feb 2021 11:48:48 +0000 (+0000)
Subject: Move OccK into prelude
X-Git-Tag: otter-0.4.0~324
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=fb19ce2ab6eba4df8d1efddbf735f15baf001af6;p=otter.git

Move OccK into prelude

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

diff --git a/src/hidden.rs b/src/hidden.rs
index 173fc000..dd1dde58 100644
--- a/src/hidden.rs
+++ b/src/hidden.rs
@@ -6,7 +6,6 @@ use crate::prelude::*;
 
 use slotmap::secondary;
 
-type OccK = OccultationKind;
 type ONI = OldNewIndex;
 
 visible_slotmap_key!{ OccId(b'H') }
diff --git a/src/prelude.rs b/src/prelude.rs
index ec5007b9..9b929986 100644
--- a/src/prelude.rs
+++ b/src/prelude.rs
@@ -144,6 +144,9 @@ pub type POEPP = PieceOpErrorPartiallyProcessed;
 pub type SvgE = SVGProcessingError;
 pub type SpE = SpecError;
 
+// hidden.rs
+pub type OccK = OccultationKind;
+
 // updates.rs
 pub type PUE = PreparedUpdateEntry;
 pub type PUFOS = PieceUpdateFromOpSimple;