From 85fdd6b190479030d2e763b326060ce8020fa9ae Mon Sep 17 00:00:00 2001 From: Philip Monk Date: Tue, 8 Jun 2021 15:41:44 -1000 Subject: [PATCH] clay: handle out-of-bounds versions in nako --- bin/brass.pill | 4 ++-- pkg/arvo/sys/vane/clay.hoon | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/bin/brass.pill b/bin/brass.pill index 02671180a..2a4689f24 100644 --- a/bin/brass.pill +++ b/bin/brass.pill @@ -1,3 +1,3 @@ version https://git-lfs.github.com/spec/v1 -oid sha256:b87c8bcd33f7110fd88f2a5515f96f4894597e3792dc844b8e9e36f30326fb56 -size 10004173 +oid sha256:e0af91e5c51359719aaa943f37a1e953989c786412616b18fbaa0addb2cf0740 +size 10272514 diff --git a/pkg/arvo/sys/vane/clay.hoon b/pkg/arvo/sys/vane/clay.hoon index 993ac2703..b86b1c181 100644 --- a/pkg/arvo/sys/vane/clay.hoon +++ b/pkg/arvo/sys/vane/clay.hoon @@ -3660,7 +3660,7 @@ =/ lower=@ud 1 |- :: a should be excluded, so wait until we're past it - ?: =(lower +(a)) + ?: (gte lower +(a)) acc =/ res=(set tako) (reachable-takos (~(got by hit.dom) lower)) $(acc (~(uni in acc) res), lower +(lower)) @@ -3668,7 +3668,7 @@ =| acc=(set tako) =/ upper=@ud b |- - ?: =(upper a) + ?: (lte upper a) acc =/ res=(set tako) (reachable-takos (~(got by hit.dom) upper)) $(acc (~(uni in acc) res), upper (dec upper))