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

Lazy seminouns in place.

Browse Source
This commit is contained in:
C. Guy Yarvin 2018-02-22 17:06:49 -08:00
parent 948d6d438e
commit 79b87ed818
4 changed files with 48 additions and 39 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
app/hall.hoon
View File

@ -222,7 +222,7 @@
:> if it doesn't, does nothing.
::
|= nom/name
|= fun/$-(_so _ta)
|: $:{fun/$-(_so _ta)}
^+ +>+>
=+ pur=(~(get by stories) nom)
?~ pur
@ -247,7 +247,7 @@
:~ [%mailbox %inbox 'default home']
[%journal %public 'visible activity']
==
|= {{typ/security nom/name des/cord} _ta}
|: $:{{typ/security nom/name des/cord} _ta}
(ta-action [%create nom des typ])
%- ta-deltas
:: if needed, subscribe to our parent's /burden.

27
gen/bug.hoon
View File

@ -12,14 +12,23 @@
=> ^%
|%
++ one
--
=> |%
++ de
|= foo/@ud
!!
++ moo
$:ankh
1
++ nine
1
++ two
(add 1 one)
++ three
(add one two)
++ hex ^#((add hell five))
++ hell 65
++ hello 65
++ hellp 65
++ hellq 65
++ nov 9
++ four
(add two two)
++ five
+(four)
--
:- %noun
=+ foo=moo
"hello, world"
hex

26
sys/hoon.hoon
View File

@ -6243,7 +6243,13 @@
^- seminoun
?- -.mask.bus
$full bus
$lazy :: execute thunk
$lazy :: fragment 1 is the whole thing
::
?: =(1 fragment.mask.bus)
:: blocked; otherwise, an
::
[[%full [~ ~ ~]] ~]
:: execute thunk
::
=+ (resolve.mask.bus fragment.mask.bus)
:: if product is nil
@ -6897,8 +6903,7 @@
::
?. clean -
[%tsgr [%rock %n 0] -]
:: ?: fab
?: &
?: fab
:^ %brts ~^~
[%base %noun]
~(relative local(dom (peg 7 dom)) [6 %&])
@ -7085,8 +7090,7 @@
?: =(2 tow)
[%bust %cell]
[[%bust %noun] $(tow (dec tow))]
?: &
:: ?: fab
?: fab
:: luz: subject edited to inject default
::
=/ luz/hoon
@ -9014,13 +9018,9 @@
:+ %lazy 1
|= axe/@ud
^- (unit noun)
:: %+ bind (~(get by tal) axe)
:: |= fut/foot
:: (hemp(sut (core sut %gold sut wad [[%lazy 1 ..^$] ~] dom)) fut)
=+ (~(get by tal) axe)
?~ -
~
`%.(u.- hemp(sut (core sut %gold sut wad [[%lazy 1 ..$] ~] dom)))
%+ bind (~(get by tal) axe)
|= fut/foot
%.(fut hemp(sut (core sut %gold sut wad [[%lazy 1 ..^$] ~] dom)))
::
%- ~(gas by *(map @ud foot))
=| yeb/(list (pair @ud foot))
@ -9140,7 +9140,7 @@
^= dez
=+ foo=(laze wad dom)
=. sut
?: fab
?: |
(core sut %gold sut wad *seminoun dom)
(core sut %gold sut wad (laze wad dom) dom)
|- ^- ?(~ ^)

30
sys/vane/ford.hoon
View File

@ -688,7 +688,7 @@
::
=/ des (~(got by def.deh.bay) dep)
%- ~(rep in (dep-beams des))
|= [dep=[beam care:clay] dis=_this]
|: $:{dep=[beam care:clay] dis=_this}
(maybe-warp:dis dep)
::
++ wasp-cancel
@ -699,7 +699,7 @@
::
=/ des (~(got by def.deh.bay) dep)
%- ~(rep in (dep-beams des))
|= [dep=[beam care:clay] dis=_this]
|: $:{dep=[beam care:clay] dis=_this}
(maybe-cancel:dis dep)
::
++ maybe-warp
@ -788,7 +788,7 @@
:: clay told us something had changed.
=. this
%- ~(rep in (dep-beams upd))
|= [dep=[bem=beam care:clay] dis=_this]
|: $:{dep=[bem=beam care:clay] dis=_this}
(maybe-warp:dis dep(r.bem wen))
::
:: make hash depend on dents at new beak
@ -1902,7 +1902,7 @@
|= {cof/cafe hyd/hood} :: TODO: $ and |^
^- (bolt vase)
%+ tug:bo (apex cof hyd)
|= {cof/cafe sel/_..abut}
|: $:{cof/cafe sel/_..abut}
=. ..abut sel
%+ tug:bo (to-cage:bo (make cof %reef ~))
|= {cof/cafe mark zus/vase}
@ -1922,13 +1922,13 @@
::=. dyv +(dyv)
::~& [`term`(cat 3 %apex (fil 4 dyv ' ')) `path`(flop s.how) libs]
::=- ~& [`term`(cat 3 %xepa (fil 4 dyv ' ')) `path`(flop s.how)] -
|= {cof/cafe sel/_..apex}
|: $:{cof/cafe sel/_..apex}
=. ..apex sel
%+ tug:bo (neck cof lib.hyd)
|= {cof/cafe sel/_..apex}
|: $:{cof/cafe sel/_..apex}
=. ..apex sel(boy boy)
%+ tug:bo (head cof sur.hyd)
|= {cof/cafe sel/_..apex}
|: $:{cof/cafe sel/_..apex}
(new:bo cof sel)
::
++ body :: produce functions
@ -1936,7 +1936,7 @@
^- (bolt _..body)
?~ src (new:bo cof ..body)
%+ tug:bo (wilt cof i.src)
|= {cof/cafe sel/_..body}
|: $:{cof/cafe sel/_..body}
^$(src t.src, ..body sel, cof cof)
::
++ chai :: atomic map
@ -2089,7 +2089,7 @@
%+ tug:bo (compile-to-hood cof bem)
|= {cof/cafe hyd/hood}
%+ tug:bo (apex(how bem, boy ~) cof hyd)
|= {cof/cafe sel/_..head}
|: $:{cof/cafe sel/_..head}
=. ..head
%= sel
boy boy
@ -2125,7 +2125,7 @@
%+ tug:bo (compile-to-hood cof bem)
|= {cof/cafe hyd/hood}
%+ tug:bo (apex(how bem, boy ~) cof hyd)
|= {cof/cafe sel/_..neck}
|: $:{cof/cafe sel/_..neck}
=. ..neck
%= sel
how how
@ -2149,27 +2149,27 @@
%+ tug:bo (compile-to-hood cof p.hop)
|= {cof/cafe hyd/hood}
%+ tug:bo (apex(boy ~) cof hyd)
(with:bo |=(sel/_..wilt sel(boy [[%tssg boy.sel] boy])))
(with:bo |:(sel=..wilt sel(boy [[%tssg boy.sel] boy])))
=+ [all=(lark (slat %tas) arc) sel=..wilt]
%+ tug:bo
|- ^- (bolt (pair (map term (pair what foot)) _..wilt))
?~ all (new:bo cof ~ ..wilt)
%+ tug:bo $(all l.all)
|= {cof/cafe lef/(map term (pair what foot)) sel/_..wilt}
|: $:{cof/cafe lef/(map term (pair what foot)) sel/_..wilt}
%+ tug:bo ^$(all r.all, cof cof, sel sel)
|= {cof/cafe rig/(map term (pair what foot)) sel/_..wilt}
|: $:{cof/cafe rig/(map term (pair what foot)) sel/_..wilt}
%+ tug:bo
%= ^^^^$
cof cof
..wilt sel(boy ~)
s.p.hop [p.n.all s.p.hop]
==
|= {cof/cafe sel/_..wilt}
|: $:{cof/cafe sel/_..wilt}
%+ new:bo cof
:_ sel
^- (map term (pair what foot))
[[p.n.all [~ %ash [%tssg boy.sel]]] lef rig]
|= {cof/cafe mav/(map term (pair what foot)) sel/_..wilt}
|: $:{cof/cafe mav/(map term (pair what foot)) sel/_..wilt}
?~ mav
(err:bo cof [%leaf "source missing: {<(en-beam p.hop)>}"]~)
(new:bo cof sel(boy [[%brcn [~ ~] [[0 [~ ~] mav] ~ ~]] boy]))