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

About to switch over to new, modern fino.

Browse Source
This commit is contained in:
C. Guy Yarvin 2015-11-27 15:00:54 -08:00
parent 8ad0b7c72f
commit f60e427d40
1 changed files with 13 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
arvo/hoon.hoon
View File

@ -6570,7 +6570,7 @@
:: ::
++ slab ++ slab
|= [cog=@tas typ=type] |= [cog=@tas typ=type]
!=(~ q:(~(fino ut typ) 0 %free cog)) !=(~ q:(~(fino ut typ) 0 %free `cog))
:: ::
++ slob :: superficial arm ++ slob :: superficial arm
|= [cog=@tas typ=type] |= [cog=@tas typ=type]
@ -7267,7 +7267,6 @@
%duck duck %duck duck
%dune dune %dune dune
%dunk dunk %dunk dunk
%fink fink
%fire fire %fire fire
%firm firm %firm firm
%fish fish %fish fish
@ -7866,12 +7865,12 @@
[[%leaf (mesc (trip paz))] duck ~] [[%leaf (mesc (trip paz))] duck ~]
:: ::
++ fino ++ fino
|= [dep=@ud way=?(%read %rite %both %free) cog=term] |= [dep=@ud way=?(%read %rite %both %free) cug=(unit term)]
=+ gil=*(set type) =+ gil=*(set type)
|- ^- [p=@ud q=(unit post)] |- ^- [p=@ud q=(unit post)]
?+ sut [dep ~] ?+ sut [dep ~]
[%bull *] [%bull *]
?. =(cog p.p.sut) ?. &(?=(^ cug) =(u.cug p.p.sut))
$(sut q.sut) $(sut q.sut)
?. ?=(0 dep) ?. ?=(0 dep)
$(dep (dec dep), sut q.sut) $(dep (dec dep), sut q.sut)
@ -7887,7 +7886,7 @@
[p.taf ~ (peg 2 p.u.q.taf) q.u.q.taf] [p.taf ~ (peg 2 p.u.q.taf) q.u.q.taf]
:: ::
[%core *] [%core *]
=+ zem=(look cog q.r.q.sut) =+ zem=?~(cug ~ (look u.cug q.r.q.sut))
=> ^+(. ?:(|(=(~ zem) =(0 dep)) . .(dep (dec dep), zem ~))) => ^+(. ?:(|(=(~ zem) =(0 dep)) . .(dep (dec dep), zem ~)))
?^ zem ?^ zem
[dep ~ 1 [%1 (peg 2 p.u.zem) [[sut(p.q %gold) q.u.zem] ~]]] [dep ~ 1 [%1 (peg 2 p.u.zem) [[sut(p.q %gold) q.u.zem] ~]]]
@ -7902,7 +7901,7 @@
$(sut repo) $(sut repo)
:: ::
[%face *] [%face *]
?: =(cog p.sut) ?: |(?=(~ cug) =(u.cug p.sut))
?. ?=(0 dep) ?. ?=(0 dep)
[(dec dep) ~] [(dec dep) ~]
[0 ~ 1 %0 q.sut] [0 ~ 1 %0 q.sut]
@ -7948,13 +7947,13 @@
$(gil (~(put in gil) sut), sut repo) $(gil (~(put in gil) sut), sut repo)
== ==
:: ::
++ fink ++ finc
~/ %fink ~/ %finc
|= [dep=@ud way=?(%read %rite %both %free) cog=term] |= [dep=@ud way=?(%read %rite %both %free) cug=(unit term)]
^- port ^- port
:: ~_ (dunk 'type') :: ~_ (dunk 'type')
~_ (show [%c 'find-limb'] ?:(=(%$ cog) '$' [%a cog])) ~_ (show [%c 'find-limb'] ?~(cug '*' ?:(=(%$ u.cug) '$' [%a u.cug])))
=+ hoq=(fino dep way cog) =+ hoq=(fino dep way cug)
?~ q.hoq ?~ q.hoq
~|(%find-none !!) ~|(%find-none !!)
(flee u.q.hoq) (flee u.q.hoq)
@ -7964,7 +7963,7 @@
^- post ^- post
:: ~_ (dunk 'type') :: ~_ (dunk 'type')
~_ (show [%c 'find-limb'] ?:(=(%$ cog) '$' [%a cog])) ~_ (show [%c 'find-limb'] ?:(=(%$ cog) '$' [%a cog]))
=+ hoq=(fino dep way cog) =+ hoq=(fino dep way `cog)
?~ q.hoq ?~ q.hoq
~|(%find-none !!) ~|(%find-none !!)
u.q.hoq u.q.hoq
@ -8864,7 +8863,7 @@
:: ::
[| *] [| *]
=> .(sut syp) => .(sut syp)
=+ hud=(fink p.i.hyp way +.q.i.hyp) =+ hud=(finc p.i.hyp way q.i.hyp)
[(peg p.zar p.hud) q.hud] [(peg p.zar p.hud) q.hud]
== ==
:: ::
@ -8905,7 +8904,7 @@
[p.gav ?~(sap heh (face u.sap heh))] [p.gav ?~(sap heh (face u.sap heh))]
:: ::
[| *] [| *]
=+ dob=`post`(need q:(fino p.i.peh %rite +.q.i.peh)) =+ dob=`post`(need q:(fino p.i.peh %rite q.i.peh))
~| [%tack-limb q.i.peh] ~| [%tack-limb q.i.peh]
?: ?=(%2 -.q.dob) ?: ?=(%2 -.q.dob)
=+ hoc=(peg axe p.dob) =+ hoc=(peg axe p.dob)