urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 20:02:51 +03:00
Code Issues Packages Projects Releases Wiki Activity

4. removes %10 and %11 (4K)

Browse Source
This commit is contained in:
Joe Bryan 2018-10-10 18:23:22 -04:00
parent 0cbd5e54e9
commit a2187e308c
3 changed files with 3 additions and 47 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.travis/pin-parent-pill-pier.url
View File

@ -1 +1 @@
https://ci-piers.urbit.org/zod-a3c3b422f7cb4273dccab1b631eab75bf0ce00db.tgz
https://ci-piers.urbit.org/zod-0cbd5e54e979046dc64910eed6d72de91bddd5fd.tgz

2
.travis/pin-vere-commit.txt
View File

@ -1 +1 @@
82c89c1696a6a049a3c180c1dd16b89f5a236a90
f64b5c8f801d4ef64c1c9e0a2e4ceefe159bf9e7

46
sys/hoon.hoon
View File

@ -6006,22 +6006,6 @@
{$7 b/* c/*} $(fol =>(fol [2 b 1 c]))
{$8 b/* c/*} $(fol =>(fol [7 [[7 [0 1] b] 0 1] c]))
{$9 b/* c/*} $(fol =>(fol [7 c 2 [0 1] 0 b]))
{$10 @ c/*} $(fol c.fol)
{$10 {b/* c/*} d/*}
=+ ben=$(fol c.fol)
?. ?=($0 -.ben) ben
?: ?=(?($hunk $hand $lose $mean $spot) b.fol)
$(fol d.fol, tax [[b.fol p.ben] tax])
$(fol d.fol)
::
{$11 b/* c/*}
=+ ref=$(fol b.fol)
=+ ben=$(fol c.fol)
?. ?=($0 -.ref) ref
?. ?=($0 -.ben) ben
=+ val=(gul p.ref p.ben)
?~(val [%1 p.ben ~] ?~(u.val [%2 [[%hunk (mush p.ben)] tax]] [%0 u.u.val]))
::
{$13 @ c/*} $(fol c.fol)
{$13 {b/* c/*} d/*}
=+ ben=$(fol c.fol)
@ -6423,8 +6407,6 @@
{$7 p/nock q/nock} :: serial compose
{$8 p/nock q/nock} :: push onto subject
{$9 p/@ q/nock} :: select arm and fire
{$10 p/$@(@ {p/@ q/nock}) q/nock} :: hint
{$11 p/nock q/nock} :: grab data from sky
{$13 p/$@(@ {p/@ q/nock}) q/nock} :: (tmp) hint
{$14 p/nock q/nock} :: (tmp) wish
{$0 p/@} :: axis select
@ -6793,32 +6775,6 @@
::
|=(noun ^$(bus one, fol +<))
::
:: 10; static hint
::
{$10 @ c/*}
:: ignore hint
::
$(fol c.fol)
::
:: 10; dynamic hint
::
{$10 {b/* c/*} d/*}
:: noy: dynamic hint
::
=+ noy=$(fol c.fol)
:: propagate stop
::
?~ noy ~
:: if hint is a fully computed trace
::
?: &(?=($spot b.fol) ?=([[%full ~] *] noy))
:: compute within trace
::
~_((show %o +.noy) $(fol d.fol))
:: else ignore hint
::
$(fol d.fol)
::
:: 13; static hint
::
{$13 @ c/*}
@ -7046,7 +7002,7 @@
|= nug/nock
?- nug
{$0 *} p.nug
{?($10 $13) *} $(nug q.nug)
{$13 *} $(nug q.nug)
* ~_(leaf+"cove" !!)
==
++ comb :: combine two formulas