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

naive: cleanup style

Browse Source
This commit is contained in:
drbeefsupreme 2021-06-10 12:43:33 -04:00
parent 0bf69a99a3
commit 3c36a38181
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC
1 changed files with 44 additions and 40 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

84
pkg/arvo/tests/lib/naive.hoon
View File

@ -576,34 +576,36 @@
++ common-vote %vote-key-0 ++ common-vote %vote-key-0
++ common-ownr %ownr-key-0 ++ common-ownr %ownr-key-0
++ common-tran %tran-key-0 ++ common-tran %tran-key-0
++ rut-ship-list %- ly :* ~rut ++ rut-ship-list %- ly
~holrut :* ~rut
~rigrut ~holrut
~losrut ~rigrut
~rabsum-ravtyd ~losrut
~disryt-nolpet ~rabsum-ravtyd
~pinpun-pilsun ~disryt-nolpet
~dovmul-mogryt ~pinpun-pilsun
~habtyc-nibpyx ~dovmul-mogryt
~pidreg-dacnum ~habtyc-nibpyx
~radres-tinnyl ~pidreg-dacnum
~ ~radres-tinnyl
== ~
==
:: ::
:: initial ownership keys for each point under ~rut :: initial ownership keys for each point under ~rut
++ default-own-keys %- my:nl :* [~rut %rut-key-0] ++ default-own-keys %- my:nl
[~holrut %holrut-key-0] :* [~rut %rut-key-0]
[~rigrut %rigrut-key-0] [~holrut %holrut-key-0]
[~losrut %losrut-key-0] [~rigrut %rigrut-key-0]
[~rabsum-ravtyd %holrut-rr-key-0] [~losrut %losrut-key-0]
[~disryt-nolpet %losrut-dn-key-0] [~rabsum-ravtyd %holrut-rr-key-0]
[~pinpun-pilsun %losrut-pp-key-0] [~disryt-nolpet %losrut-dn-key-0]
[~dovmul-mogryt %holrut-dm-key-0] [~pinpun-pilsun %losrut-pp-key-0]
[~habtyc-nibpyx %losrut-hn-key-0] [~dovmul-mogryt %holrut-dm-key-0]
[~pidreg-dacnum %holrut-pd-key-0] [~habtyc-nibpyx %losrut-hn-key-0]
[~radres-tinnyl %losrut-rt-key-0] [~pidreg-dacnum %holrut-pd-key-0]
~ [~radres-tinnyl %losrut-rt-key-0]
== ~
==
:: ::
-- --
:: ::
@ -640,20 +642,22 @@
!> (~(got by suc-map) cur-event) !> (~(got by suc-map) cur-event)
:: ::
!> !>
=^ f state %- n =^ f
:* initial-state ::state? state
%bat %- n
=< q %- gen-tx :* initial-state ::state?
:* nonce.owner.own:(~(got by points.state) cur-ship) %bat
:* [cur-ship proxy.cur-event] =< q
%set-management-proxy :: why does the tx-type not work? %- gen-tx
::tx-type.cur-event :+ nonce.owner.own:(~(got by points.state) cur-ship)
(addr common-mgmt) :+ [cur-ship proxy.cur-event]
== %set-management-proxy ::tx-type.cur-event why does the tx-type not work?
(~(got by default-own-keys) cur-ship) (addr common-mgmt)
== (~(got by default-own-keys) cur-ship)
== ==
?: =(address.management-proxy.own:(~(got by points.state) cur-ship) (addr common-mgmt)) ?: .= =< address.management-proxy.own
(~(got by points.state) cur-ship)
(addr common-mgmt)
%.y %.y
%.n %.n
:: ::