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

Add +test-scry-clay-same-path.

Browse Source 
This test case was what fleshed out the date.build issue with pins,
but was originally written to test the resource to scry-request
patch.
This commit is contained in:
Elliot Glaysher 2018-05-08 13:27:21 -07:00
parent 167414a803
commit de224e6b96
1 changed files with 106 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

107
gen/ford-turbo.hoon
View File

@ -24,6 +24,7 @@
test-scry-clay-block
test-scry-clay-live
test-scry-clay-live-again
test-scry-clay-same-path
test-pinned-in-past
test-pinned-in-future
test-pinned-in-pin
@ -459,6 +460,98 @@
results4
(expect-ford-empty ford ~nul)
==
:: tests multiple subscriptions on the same resource at different times
::
:: We can depend on the same paths but at different times. Make sure we can
:: block on /~nul/desk/~1234.5.7/... and /~nul/desk/~1234.5.8/... at the
:: same time.
::
++ test-scry-clay-same-path
~& %test-scry-clay-same-path
::
=/ scry-type=type [%atom %tas ~]
::
=/ blocks=(set @da) (sy ~1234.5.7 ~1234.5.8 ~)
::
=/ ford *ford-gate
::
=/ scry-schematic=schematic:ford
[%scry %c care=%x rail=[[~nul %desk] /bar/foo]]
=/ autocons=schematic:ford
[[%pin ~1234.5.7 scry-schematic] [%pin ~1234.5.8 scry-schematic]]
::
=^ results1 ford
%- test-ford-call :*
ford
now=~1234.5.6
scry=(scry-blocks blocks)
::
call-args=[duct=~[/first] type=~ %make ~nul autocons]
::
^= expected-moves
:~ :* duct=~ %pass
wire=/~nul/scry-request/cx/~nul/desk/~1234.5.7/foo/bar
%c %warp [~nul ~nul] %desk
`[%sing %x [%da ~1234.5.7] /foo/bar]
==
:* duct=~ %pass
wire=/~nul/scry-request/cx/~nul/desk/~1234.5.8/foo/bar
%c %warp [~nul ~nul] %desk
`[%sing %x [%da ~1234.5.8] /foo/bar]
== == ==
::
=^ results2 ford
%- test-ford-take :*
ford
now=~1234.5.7
scry=(scry-blocks blocks)
::
^= take-args
:* wire=/~nul/scry-request/cx/~nul/desk/~1234.5.7/foo/bar duct=~
^= wrapped-sign ^- (hypo sign:ford) :- *type :: ^- sign:ford
[%c %writ ~ [%x [%da ~1234.5.7] %desk] /bar/foo %noun scry-type %seven]
==
::
expected-moves=~
==
::
=^ results3 ford
%- test-ford-take :*
ford
now=~1234.5.8
scry=(scry-blocks blocks)
::
^= take-args
:* wire=/~nul/scry-request/cx/~nul/desk/~1234.5.8/foo/bar duct=~
^= wrapped-sign ^- (hypo sign:ford) :- *type :: ^- sign:ford
[%c %writ ~ [%x [%da ~1234.5.8] %desk] /bar/foo %noun scry-type %eight]
==
::
^= expected-moves
^- (list move:ford-gate)
:~ :* duct=~[/first] %give %made ~1234.5.6 %complete %success
[%success %pin ~1234.5.7 %success %scry %noun scry-type %seven]
[%success %pin ~1234.5.8 %success %scry %noun scry-type %eight]
== == ==
::
=^ results4 ford
%- test-ford-call :*
ford
now=~1234.5.9
scry=scry-is-forbidden
::
call-args=[duct=~[/first] type=~ %kill ~nul]
::
moves=~
==
::
;: weld
results1
results2
results3
results4
(expect-ford-empty ford ~nul)
==
::
++ test-pinned-in-past
~& %test-pinned-in-past
@ -1683,7 +1776,7 @@
now=~1234.5.7
scry=scry-blocked
::
^= call-args
^= take-args
:* wire=/~nul/scry-request/cx/~nul/desk/~1234.5.6/foo/bar duct=~
^= wrapped-sign ^- (hypo sign:ford) :- *type :: ^- sign:ford
[%c %writ ~ [%x [%da ~1234.5.6] %desk] /bar/foo %noun !>(42)]
@ -2933,6 +3026,18 @@
?> =(beam [[~nul %desk %da date] /bar/foo])
::
~
::
++ scry-blocks
|= dates=(set @da) ^- sley
|= [* (unit (set monk)) =term =beam]
^- (unit (unit cage))
::
~| scry-block+[beam+beam term+term]
?> =(term %cx)
?> ?=([%da @da] r.beam)
?> (~(has in dates) p.r.beam)
::
~
:: +scry-is-forbidden: makes sure ford does not attempt to scry
::
++ scry-is-forbidden ^- sley