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

Merge pull request #6047 from bacwyls/team_patch

Browse Source 
zuse: change team:title to return false for moons
This commit is contained in:
Philip Monk 2023-01-05 15:23:03 -07:00 committed by GitHub
commit 9031128759
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 19 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
pkg/arvo/sys/zuse.hoon
View File

@ -4928,7 +4928,7 @@
=< q.q %- need %- need
(rof ~ %j `beam`[[our %sein %da now] /(scot %p who)])
--
:: middle core: for userspace use, with .^
:: middle core: stateless queries for default numeric sponsorship
::
=> |%
:: :: ++clan:title
@ -4968,7 +4968,7 @@
%pawn (end 4 who)
==
--
:: surface core: stateless queries for default numeric sponsorship
:: surface core: for userspace use, with .^
::
|%
:: :: ++cite:title
@ -5003,13 +5003,25 @@
%j
/(scot %p our)/sein/(scot %da now)/(scot %p who)
==
:: +team was created with two meanings:
:: A. her / her moon
:: B. whoever should be able to control her ship
::
:: these two things aren't obviously equal anymore,
:: and it's more important for +team to satisfy B than A,
:: so now +team just means "her".
::
:: (ships can definitely be trusted to control themselves)
:: :: ++team:title
++ team :: our / our moon
|= [our=ship who=ship]
++ team :: her
|= [her=ship who=ship]
^- ?
?| =(our who)
&(?=(%earl (clan who)) =(our (^sein who)))
==
=(her who)
:: :: ++moon:title
++ moon :: her moon
|= [her=ship who=ship]
^- ?
&(=(%earl (clan who)) =(her (^sein who)))
-- ::title
:: ::
:::: ++milly :: (2k) milliseconds