chiark / gitweb /
~ianmdlvl / otter.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 40fdb9f) | patch
hidden: Fix handling of unnotched (Distinct) pieces
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Apr 2022 00:01:20 +0000 (01:01 +0100)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 25 Apr 2022 00:31:17 +0000 (01:31 +0100)
commit4248624ecbd4c8fe83b104d548a6adb821520813
tree0ec93cb150c90e4ffadca6ff5f7f2bd475046afftree | snapshot
parent40fdb9f13c21afb8711fbebb76f4195885f159b5commit | diff
hidden: Fix handling of unnotched (Distinct) pieces

We need to un-occult them.  But we were tracking what to recompute by
looking in occ.notches.  Un-notched pieces aren't there.

Introduce a new HashSet for these.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
src/hidden.rs diff | blob | history
src/prelude.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.