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

cleans up comments/names in +ivory and +solid per review

Browse Source
This commit is contained in:
Joe Bryan 2018-11-27 22:46:50 -05:00
parent 206d16aca9
commit 52beea0f0b
2 changed files with 15 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gen/ivory.hoon
View File

@ -39,21 +39,21 @@
=+ whole-formula=q:(~(mint ut %noun) %noun whole-hoon) =+ whole-formula=q:(~(mint ut %noun) %noun whole-hoon)
~& %ivory-compiled ~& %ivory-compiled
:: ::
:: tang: standard library (%zuse) installation event :: zuse-ovo: standard library installation event
:: ::
=/ tang =/ zuse-ovo=ovum
=/ pax (weld sys /zuse) =/ pax (weld sys /zuse)
=/ txt .^(@ %cx (weld pax /hoon)) =/ txt .^(@ %cx (weld pax /hoon))
`ovum`[/vane/zuse [%veer %$ pax txt]] [/vane/zuse [%veer %$ pax txt]]
:: ::
:: installed: kernel with tang installed :: installed: Arvo gate (formal instance) with %zuse installed
:: ::
~& %tang-installing ~& %zuse-installing
=/ installed =/ installed
.*(0 [%7 whole-formula [%9 2 %10 [6 %1 now tang] %0 1]]) .*(0 [%7 whole-formula [%9 2 %10 [6 %1 now zuse-ovo] %0 1]])
~& %tang-installed ~& %zuse-installed
:: ::
:: produce both whole-formula (for jet registration) :: produce a formula that evaluates :whole-formula (for jet registration),
:: and a kernel with the standard library already installed :: then ignores that result and produces :installed
:: ::
[%7 whole-formula %1 installed] [%7 whole-formula %1 installed]

13
gen/solid.hoon
View File

@ -12,7 +12,7 @@
:- %say :- %say
|= $: [now=@da eny=@uvJ bec=beak] |= $: [now=@da eny=@uvJ bec=beak]
arg=$@(~ [top=path ~]) arg=$@(~ [top=path ~])
dub/_| dub=_|
== ==
:- %noun :- %noun
:: sys: root path to boot system, `/~me/[desk]/now/sys` :: sys: root path to boot system, `/~me/[desk]/now/sys`
@ -27,9 +27,6 @@
=/ compiler-src .^(@t %cx (weld compiler-path /hoon)) =/ compiler-src .^(@t %cx (weld compiler-path /hoon))
=/ arvo-src .^(@t %cx (weld arvo-path /hoon)) =/ arvo-src .^(@t %cx (weld arvo-path /hoon))
=/ arvo-formula =/ arvo-formula
=; res
?:(?=(%& -.res) p.res (mean (flop p.res)))
%- mule |.
~& %solid-loaded ~& %solid-loaded
=/ compiler-hoon (rain compiler-path compiler-src) =/ compiler-hoon (rain compiler-path compiler-src)
?. dub ?. dub
@ -79,7 +76,7 @@
=/ txt .^(@ %cx (weld pax /hoon)) =/ txt .^(@ %cx (weld pax /hoon))
[[%vane den] [%veer abr pax txt]] [[%vane den] [%veer abr pax txt]]
-- --
:: arvo with vanes installed :: installed: Arvo gate (formal interface) with %zuse and vanes installed
:: ::
=/ installed =/ installed
=< q =< q
@ -88,7 +85,9 @@
.*(0 arvo-formula) .*(0 arvo-formula)
|= [ovo=ovum ken=*] |= [ovo=ovum ken=*]
[~ .*(ken [%9 2 %10 [6 %1 now ovo] %0 1])] [~ .*(ken [%9 2 %10 [6 %1 now ovo] %0 1])]
:: produce both the arvo-formula (for jet registration) ::
:: and a kernel with the vanes already installed :: produce a pair of :arvo-formula (for jet registration) and
:: the Arvo core (structural interface), which is the context
:: of the formal Arvo interface gate :installed
:: ::
[arvo-formula .*(installed [%0 7])] [arvo-formula .*(installed [%0 7])]