urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-11-28 22:33:06 +03:00
Code Issues Packages Projects Releases Wiki Activity

arvo: enables %wyrd kelvin stack sanity check

Browse Source
This commit is contained in:
Joe Bryan 2020-12-08 01:59:28 -08:00
parent ca02c616fb
commit 1e728aa52b
1 changed files with 7 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
pkg/arvo/sys/arvo.hoon
View File

@ -351,14 +351,13 @@
++ sane
|= kel=wynn
^- ?
&
:: ?: =(~ kel) &
:: =^ las=(pair term @ud) kel kel
:: |- ^- ?
:: ?~ kel &
:: ?& (gte q.las q.i.kel)
:: $(las i.kel, kel t.kel)
:: ==
?: =(~ kel) &
=^ las=(pair term @ud) kel kel
|- ^- ?
?~ kel &
?& (gte q.las q.i.kel)
$(las i.kel, kel t.kel)
==
:: +need: require kelvins
::
++ need