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

No longer comparing to old seek.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-12-23 21:42:08 -08:00
parent 151ceea50d
commit ae792add4f
1 changed files with 50 additions and 61 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

111
arvo/hoon.hoon
View File

@ -6615,7 +6615,7 @@
~ ~
`[(~(peek ut p.vax) %free axe) .*(q.vax [0 axe])] `[(~(peek ut p.vax) %free axe) .*(q.vax [0 axe])]
:: ::
++ slab ++ slab :: test if contains
|= {cog/@tas typ/type} |= {cog/@tas typ/type}
!=(~ q:(~(find ut typ) 0 %free `cog)) !=(~ q:(~(find ut typ) 0 %free `cog))
:: ::
@ -7370,7 +7370,6 @@
%peek peek %peek peek
%repo repo %repo repo
%rest rest %rest rest
%sift sift
%seek seek %seek seek
%tack tack %tack tack
%tock tock %tock tock
@ -8944,6 +8943,34 @@
== ==
== ==
:: ::
++ pork
~/ %park
|= {way/?($read $rite $both $free) axe/axis}
^- ?
?> ?=({$core *} sut)
?|
!vet
?- way
$both =(%gold p.q.sut)
$free &
$read
?- p.q.sut
$gold &
$iron |
$lead |
$zinc =(2 (cap axe))
==
::
$rite
?- p.q.sut
$gold &
$iron =(2 (cap axe))
$lead |
$zinc |
==
==
==
::
++ peek ++ peek
~/ %peek ~/ %peek
|= {way/?($read $rite $both $free) axe/axis} |= {way/?($read $rite $both $free) axe/axis}
@ -9063,35 +9090,27 @@
++ seek ++ seek
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
^- port ^- port
=+ ^- old/port (seel way hyp) :: =+ ^- old/port (seel way hyp)
=. old :: =. old
?- -.q.old :: ?- -.q.old
$& old :: $& old
$| :: $|
:^ p.old %| p.q.old :: :^ p.old %| p.q.old
(~(tap in (~(gas in *(set (pair type foot))) q.q.old)) ~) :: (~(tap in (~(gas in *(set (pair type foot))) q.q.old)) ~)
== ~| [%seek-miss [way hyp] ~]
=+ ^- new/port =+ fid=(feel way hyp)
~| [%seek-miss [way hyp] ~] ?. ?=($& -.fid)
=+ fid=(feel way hyp) ~& [%seek-hyp hyp]
?. ?=($& -.fid) ~& [%seek-fid fid]
~& [%seek-hyp hyp] ~& [%seek-fail fid]
~& [%seek-fid fid] !!
~& [%seek-fail fid] :- |- ^- axis
!! ?~ p.p.fid 1
:- |- ^- axis (peg $(p.p.fid t.p.p.fid) ?~(i.p.p.fid 1 u.i.p.p.fid))
?~ p.p.fid 1 ?- -.q.p.fid
(peg $(p.p.fid t.p.p.fid) ?~(i.p.p.fid 1 u.i.p.p.fid)) $& q.p.fid
?- -.q.p.fid $| [%| p.q.p.fid (~(tap in q.q.p.fid) ~)]
$& q.p.fid ==
$| [%| p.q.p.fid (~(tap in q.q.p.fid) ~)]
==
~? !=(p.old p.new) [%axis-mismatch [way hyp] p.old p.new]
~? !=(old new) [%full-mismatch [way hyp]]
~? !=(old new) [%full-old old]
~? !=(old new) [%full-new new]
?> =(old new)
old
:: ::
++ seep ++ seep
|= {way/?($read $rite $both $free) hyp/wing} |= {way/?($read $rite $both $free) hyp/wing}
@ -9099,36 +9118,6 @@
=+ zar=(seek way hyp) =+ zar=(seek way hyp)
?>(?=($& -.q.zar) [p.zar p.q.zar]) ?>(?=($& -.q.zar) [p.zar p.q.zar])
:: ::
++ seel
:: ~/ %seek :: XX disable for devulc
|= {way/?($read $rite $both $free) hyp/wing}
^- port
?~ hyp
[1 %& sut]
=> .(i.hyp ?^(i.hyp i.hyp [%| p=0 q=`i.hyp]))
=+ zar=$(hyp t.hyp)
=+ ^= syp
?- -.q.zar
$& p.q.zar
$| (fire (turn q.q.zar |=({p/type q/foot} [p [%ash ~ 1]])))
==
?- i.hyp
{$& *}
[(peg p.zar p.i.hyp) %& (peek(sut syp) way p.i.hyp)]
::
{$| *}
=> .(sut syp)
=+ hud=(fink p.i.hyp way q.i.hyp)
[(peg p.zar p.hud) q.hud]
==
::
++ sift
|= ref/type
~+
^- type
!!
:: ~|(%sift-lose ?>((nest(sut ref) & -:!>(*typo)) ref))
::
++ snub ++ snub
~/ %snub ~/ %snub
|= har/(list {p/wing q/twig}) |= har/(list {p/wing q/twig})