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

small fixes and docs

Browse Source
This commit is contained in:
Philip Monk 2019-02-12 11:26:48 -08:00
parent 3336699660
commit 42d5c9004c
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
3 changed files with 24 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
app/aqua.hoon
View File

@ -609,7 +609,7 @@
|= [who=ship thus=_this]
=. this thus
sleep:(pe who)
=. piers (~(got by fleet-snaps) lab.ovo)
=. piers (~(uni by piers) (~(got by fleet-snaps) lab.ovo))
=. this
%+ turn-ships (turn ~(tap by piers) head)
|= [who=ship thus=_this]

4
app/ph.hoon
View File

@ -111,7 +111,9 @@
--
::
:- %composed-child-boot-2
%+ compose-tests (planet ~haplun-todtus)
%+ compose-tests
%+ compose-tests (planet ~mitnep-todsut)
(planet ~haplun-todtus)
^- test-core
|_ [our=@p now=@da]
++ label %composed-child-boot-2

37
lib/ph.hoon
View File

@ -6,26 +6,28 @@
|%
:: Defines a complete integration test.
::
:: Perhaps route should take a unix-effect rather than a sign.
:: Similarly, perhaps ++abet should produce a list of
:: unix-events. Also, perhaps we should support state.
::
:: Perhaps closer to this:
:: ++ test-core
:: $_ ^?
:: |%
:: ++ start ^?(..abet)
:: ++ route |~([wire unix-effect] ^?(..abet))
:: ++ abet *(list unix-event)
:: --
::
++ test-core
$_ ^?
|%
::
:: Unique name, used as a cache label.
::
++ label *term
::
:: List of ships that are part of the test.
::
:: We'll only hear effects from these ships, and only these will
:: be in the cache points.
::
++ ships *(list ship)
++ start |~(@da *(quip ph-event _^?(..start)))
++ route |~([@da [ship unix-effect]] *(quip ph-event _^?(..start)))
::
:: Called first to kick off the test.
::
++ start |~(now=@da *(quip ph-event _^?(..start)))
::
:: Called on every effect from a ship.
::
++ route |~([now=@da ship unix-effect] *(quip ph-event _^?(..start)))
--
::
++ ph-event
@ -103,7 +105,7 @@
::
:: Cache lookup label
::
++ label :((cury cat 3) label:a '--1-' label:b)
++ label :((cury cat 3) label:a '--' label:b)
::
:: Union of ships in a and b
::
@ -168,7 +170,7 @@
|= her=ship
^- test-core
|%
++ label (cat 3 'iinit-' (scot %p her))
++ label (cat 3 'init-' (scot %p her))
++ ships ~[her]
++ start
|= now=@da
@ -198,6 +200,7 @@
[%test-done &]~
==
--
::
++ galaxy
|= her=ship
?> =(%czar (clan:title her))