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

Lazy seminoun testing with ^%.

Browse Source
This commit is contained in:
C. Guy Yarvin 2018-02-22 15:32:23 -08:00
parent 57eff328d3
commit 06cefbbca3
1 changed files with 17 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
sys/hoon.hoon
View File

@ -6896,7 +6896,8 @@
:: ::
?. clean - ?. clean -
[%tsgr [%rock %n 0] -] [%tsgr [%rock %n 0] -]
?: fab :: ?: fab
?: &
:^ %brts ~^~ :^ %brts ~^~
[%base %noun] [%base %noun]
~(relative local(dom (peg 7 dom)) [6 %&]) ~(relative local(dom (peg 7 dom)) [6 %&])
@ -7083,7 +7084,8 @@
?: =(2 tow) ?: =(2 tow)
[%bust %cell] [%bust %cell]
[[%bust %noun] $(tow (dec tow))] [[%bust %noun] $(tow (dec tow))]
?: fab ?: &
:: ?: fab
:: luz: subject edited to inject default :: luz: subject edited to inject default
:: ::
=/ luz/hoon =/ luz/hoon
@ -8997,7 +8999,7 @@
++ laze ++ laze
:: produce lazy core generator for static execution :: produce lazy core generator for static execution
:: ::
|= dom/(map @ tomb) |= [wad=chap dom=(map @ tomb)]
~+ ~+
^- seminoun ^- seminoun
:: tal: map from battery axis to foot :: tal: map from battery axis to foot
@ -9009,9 +9011,13 @@
:+ %lazy 1 :+ %lazy 1
|= axe/@ud |= axe/@ud
^- (unit noun) ^- (unit noun)
%+ bind (~(get by tal) axe) :: %+ bind (~(get by tal) axe)
|= fut/foot :: |= fut/foot
(hemp(sut (core sut %gold sut *chap [[%lazy 1 ..^$] ~] dom)) fut) :: (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)))
:: ::
%- ~(gas by *(map @ud foot)) %- ~(gas by *(map @ud foot))
=| yeb/(list (pair @ud foot)) =| yeb/(list (pair @ud foot))
@ -9126,11 +9132,14 @@
:: ::
|= [mel/vair wad/chap dom/(map @ tomb)] |= [mel/vair wad/chap dom/(map @ tomb)]
^- (pair type nock) ^- (pair type nock)
=+ foo=(laze dom)
=- :_ [%1 dez] =- :_ [%1 dez]
(core sut mel sut wad [[%full ~] dez] dom) (core sut mel sut wad [[%full ~] dez] dom)
^= dez ^= dez
=. sut (core sut %gold sut *chap *seminoun dom) =+ foo=(laze wad dom)
=. sut
?: fab
(core sut %gold sut wad *seminoun dom)
(core sut %gold sut wad (laze wad dom) dom)
|- ^- ?(~ ^) |- ^- ?(~ ^)
?: ?=(~ dom) ?: ?=(~ dom)
~ ~