ilyakooo0/urbit
1
0
Fork 0
mirror of https://github.com/ilyakooo0/urbit.git synced 2024-12-17 03:44:34 +03:00
Code Issues Packages Projects Releases Wiki Activity

Interim commit.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-23 00:03:53 -08:00
parent 105a3ffc0b
commit 8a18e8ede4
1 changed files with 18 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
arvo/hoon.hoon
View File

@ -7970,6 +7970,7 @@
++ feel ++ feel
!: !:
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
:: ~& [%feel way hyp sut]
=| nol/(list (unit axis)) =| nol/(list (unit axis))
|- ^- pont |- ^- pont
?~ hyp ?~ hyp
@ -7978,7 +7979,8 @@
?- -.mor ?- -.mor
$| $|
?- -.p.mor ?- -.p.mor
$& mor $& ~& [%feel-lose mor]
mor
$| $|
=+ fex=(mint(sut p.p.p.mor) %noun [%cnts [i.hyp ~] ~]) =+ fex=(mint(sut p.p.p.mor) %noun [%cnts [i.hyp ~] ~])
[%| %| p.fex (comb q.p.p.mor q.fex)] [%| %| p.fex (comb q.p.p.mor q.fex)]
@ -8004,10 +8006,12 @@
== ==
?: ?=($& -.heg) ?: ?=($& -.heg)
[%& [`p.heg lon] %& (peek(sut ref) way p.heg)] [%& [`p.heg lon] %& (peek(sut ref) way p.heg)]
:: ~& [%feel-heg heg]
=| gil/(set type) =| gil/(set type)
=< $ =< $
|% ++ $ |% ++ $
^- pont ^- pont
:: ~& [%feel-ref (@tas ?@(ref ref -.ref)) ref]
?- ref ?- ref
$void lose $void lose
$noun stop $noun stop
@ -8026,14 +8030,15 @@
=+ taf=$(axe (peg axe 2), ref p.ref) =+ taf=$(axe (peg axe 2), ref p.ref)
?: |(?=($& -.taf) ?=($| -.p.taf)) ?: |(?=($& -.taf) ?=($| -.p.taf))
taf taf
$(axe (peg axe 3), ref q.ref) $(axe (peg axe 3), p.heg p.p.taf, ref q.ref)
:: ::
{$core *} {$core *}
?~ q.heg here ?~ q.heg here
=^ zem p.heg =^ zem p.heg
=+ zem=(look u.q.heg q.r.q.ref) =+ zem=(look u.q.heg q.r.q.ref)
?~ zem [~ p.heg] ?~ zem [~ p.heg]
?:(=(0 p.heg) [zem p.heg] [~ (dec p.heg)]) ?:(=(0 p.heg) [zem 0] [~ (dec p.heg)])
~? =(%nu u.q.heg) [%core-zem zem]
?^ zem ?^ zem
[%& [`axe lon] %| p.u.zem [[ref(p.q %gold) q.u.zem] ~ ~]] [%& [`axe lon] %| p.u.zem [[ref(p.q %gold) q.u.zem] ~ ~]]
=+ ^- {sam/? con/?} =+ ^- {sam/? con/?}
@ -8045,8 +8050,8 @@
$rite [?=($iron p.q.ref) |] $rite [?=($iron p.q.ref) |]
== ==
?. sam lose ?. sam lose
?: con $(axe (peg axe 3)) ?: con $(ref p.ref, axe (peg axe 3))
$(axe (peg axe 6)) $(ref (peek(sut p.ref) way 2), axe (peg axe 6))
:: ::
{$cube *} {$cube *}
:: ::
@ -8081,8 +8086,9 @@
:: ::
{$hold *} {$hold *}
?: (~(has in gil) ref) ?: (~(has in gil) ref)
~& [%hold-stop ref]
[%| %& p.heg] [%| %& p.heg]
$(gil (~(put in gil) ref), sut repo) $(gil (~(put in gil) ref), ref repo(sut ref))
== ==
++ here [%& [`axe lon] %& ref] ++ here [%& [`axe lon] %& ref]
++ lose [%| %& p.heg] ++ lose [%| %& p.heg]
@ -9055,14 +9061,17 @@
~ ~
=+([p=*type q=`type`%void] |.((fork p q))) =+([p=*type q=`type`%void] |.((fork p q)))
:: ::
++ seel ++ seek
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
^- port ^- port
=+ ^- old/port (seek way hyp) =+ ^- old/port (seel way hyp)
=+ ^- new/port =+ ^- new/port
~| [%seek-miss [way hyp] ~] ~| [%seek-miss [way hyp] ~]
=+ fid=(feel way hyp) =+ fid=(feel way hyp)
?. ?=($& -.fid) ?. ?=($& -.fid)
~& [%seek-hyp hyp]
~& [%seek-old old]
~& [%seek-fid fid]
~& [%seek-fail fid] ~& [%seek-fail fid]
!! !!
:- |- ^- axis :- |- ^- axis
@ -9081,7 +9090,7 @@
=+ zar=(seek way hyp) =+ zar=(seek way hyp)
?>(?=($& -.q.zar) [p.zar p.q.zar]) ?>(?=($& -.q.zar) [p.zar p.q.zar])
:: ::
++ seek ++ seel
:: ~/ %seek :: XX disable for devulc :: ~/ %seek :: XX disable for devulc
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
^- port ^- port