clay: handle out-of-bounds versions in nako

This commit is contained in:
Philip Monk 2021-06-08 15:41:44 -10:00
parent ee0141f5ab
commit 85fdd6b190
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
2 changed files with 4 additions and 4 deletions

View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1
oid sha256:b87c8bcd33f7110fd88f2a5515f96f4894597e3792dc844b8e9e36f30326fb56
size 10004173
oid sha256:e0af91e5c51359719aaa943f37a1e953989c786412616b18fbaa0addb2cf0740
size 10272514

View File

@ -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))