urbit/pkg/arvo/tests/sys/vane/clay.hoon
2020-04-18 19:53:45 -04:00

676 lines
20 KiB
Plaintext

/+ *test, test-ford-external
/= clay-raw /sys/vane/clay
/* hello-gen %hoon /gen/hello/hoon
/* strandio-lib %hoon /lib/strandio/hoon
/* strand-lib %hoon /lib/strand/hoon
/* spider-sur %hoon /sur/spider/hoon
::
!:
=, format
::
=/ test-pit=vase !>(..zuse)
=/ clay-gate (clay-raw test-pit)
=/ fusion fusion:clay-gate
::
|%
++ test-get-fit ^- tang
=/ =ankh:clay
:- fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %mar fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %foo fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %bar fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hoon fil=`[*lobe:clay hoon+!>('baz')] dir=~
== == == ==
%+ expect-eq
!> `(unit path)`[~ /mar/foo/bar/hoon]
!> (~(get-fit an:fusion ankh) /mar/foo-bar)
::
++ test-parse-pile ^- tang
%+ expect-eq
!> ^- pile:fusion
:* ~ ~ ~ ~
tssg+[%dbug [/sur/foo/hoon [[1 1] [1 2]]] [%cnts ~[[%.y 1]] ~]]~
==
!> (parse-pile:(ford):fusion /sur/foo/hoon ".")
::
++ test-cycle ^- tang
=/ source=@t
'''
/+ self
.
'''
=/ =ankh:clay
:- fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %lib fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %self fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hoon fil=`[*lobe:clay hoon+!>(source)] dir=~
== == ==
%- expect-fail
|.
=/ ford
%: ford:fusion
ankh
deletes=~
changes=~
file-store=~
*ford-cache:fusion
==
(build-file:ford /lib/self/hoon)
::
++ test-parse-fail ^- tang
%- expect-fail
|. (parse-pile:(ford):fusion /sur/foo/hoon "[")
::
++ test-hello-gen ^- tang
=/ =ankh:clay
:- fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %gen fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hello fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hoon fil=`[*lobe:clay hoon+!>(hello-gen)] dir=~
== == ==
=/ ford
%: ford:fusion
ankh
deletes=~
changes=(my [/gen/hello/hoon &+hoon+hello-gen]~)
file-store=~
*ford-cache:fusion
==
=/ [res=vase nub=state:ford:fusion] (build-file:ford /gen/hello/hoon)
;: weld
%+ expect-eq
!> noun+'hello, bob'
(slap res (ream '(+ [*^ [%bob ~] ~])'))
::
%+ expect-eq
!> (~(gas in *(set path)) /gen/hello/hoon ~)
!> dez:(~(got by vases.cache.nub) /gen/hello/hoon)
==
::
++ test-strandio-lib ^- tang
=/ =ankh:clay
:- fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %lib fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %strandio fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hoon fil=`[*lobe:clay hoon+!>(strandio-lib)] dir=~
==
::
:+ %strand fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hoon fil=`[*lobe:clay hoon+!>(strand-lib)] dir=~
== ==
::
:+ %sur fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %spider fil=~
%- ~(gas by *(map @tas ankh:clay))
:~ :+ %hoon fil=`[*lobe:clay hoon+!>(spider-sur)] dir=~
== == ==
=/ ford
%: ford:fusion
ankh
deletes=~
changes=~
file-store=~
*ford-cache:fusion
==
=/ [res=vase nub=state:ford:fusion] (build-file:ford /lib/strandio/hoon)
;: weld
%- expect
!>((slab %get-our -.res))
::
%+ expect-eq
!> %- ~(gas in *(set path))
:~ /lib/strandio/hoon
/lib/strand/hoon
/sur/spider/hoon
==
!> dez:(~(got by vases.cache.nub) /lib/strandio/hoon)
==
--
::
::++ test-info ^- tang
:: =^ results0 clay-gate
:: %- clay-call :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: call-args=[duct=~[/init] -:!>(*task:able:clay) [%init ~nul]]
:: expected-moves=~
:: ==
:: ::
:: =^ results1 clay-gate
:: %- clay-call-with-comparator :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= call-args
:: :+ duct=~[/info] type=-:!>(*task:able:clay)
:: ^- task:able:clay
:: :+ %info %home
:: ^- nori:clay
:: :- %&
:: ^- soba:clay
:: :~ [/file1/noun `miso:clay`[%ins [%noun %noun 'file1']]]
:: [/file2/noun `miso:clay`[%ins [%noun %noun 'file2']]]
:: ==
:: ^= move-comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* ~] moves)
:: [%leaf "wrong number of moves: {<(lent moves)>}"]~
:: ::
:: ^- tang
:: ;: weld
:: ::
:: ^- tang
:: ::
:: =/ move=move:clay-gate i.moves
:: =/ =duct p.move
:: =/ card=(wind note:clay-gate gift:able:clay) q.move
:: ::
:: %+ weld
:: (expect-eq !>(~[/info]) !>(duct))
:: ::
:: ?. ?=(%pass -.card)
:: [%leaf "bad move, not a %pass: {<move>}"]~
:: ::
:: =/ =wire p.card
:: ::
:: %+ weld
:: (expect-eq !>(/commit/home/inserts) !>(wire))
:: ::
:: =/ note=note:clay-gate q.card
:: ::
:: ?. ?=([%f %build *] note)
:: [%leaf "bad move, not a %build: {<move>}"]~
:: ::
:: %+ weld
:: (expect-eq !>(%.n) !>(live.note))
:: ::
:: %- expect-schematic:test-ford-external
:: :_ schematic.note
:: ^- schematic:ford
:: :+ %pin ~1111.1.1
:: :- %list
:: :~ :- [%$ %path -:!>(*path) /file1/noun]
:: :^ %cast [~nul %home] %noun
:: [%$ %noun %noun 'file1']
:: ::
:: :- [%$ %path -:!>(*path) /file2/noun]
:: :^ %cast [~nul %home] %noun
:: [%$ %noun %noun 'file2']
:: ==
:: == ==
:: ::
:: :: inserting
:: ::
:: =^ results2 clay-gate
:: %- clay-take-with-comparator :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= take-args
:: :* wire=/commit/home/inserts
:: duct=~[/info]
:: -:!>(*sign:clay-gate)
:: ^- sign:clay-gate
:: :* %f %made ~1111.1.1 %complete %success %list
:: ^- (list build-result:ford)
:: :~ :+ %success
:: [%success %$ %path -:!>(*path) /file1/noun]
:: [%success %cast %noun %noun 'file1']
:: ::
:: :+ %success
:: [%success %$ %path -:!>(*path) /file2/noun]
:: [%success %cast %noun %noun 'file2']
:: == == ==
:: ^= comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* ~] moves)
:: [%leaf "wrong number of moves: {<(lent moves)>}"]~
:: ::
:: %+ expect-eq
:: !> ^- move:clay-gate
:: :- duct=~[/info]
:: ^- (wind note:clay-gate gift:able:clay)
:: :+ %pass /commit/home/diffs
:: ^- note:clay-gate
:: :- %f
:: [%build live=%.n [%pin ~1111.1.1 [%list ~]]]
:: !> i.moves
:: == :: ==
:: ::
:: :: diffing
:: ::
:: =^ results3 clay-gate
:: %- clay-take-with-comparator :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= take-args
:: :* wire=/commit/home/diffs
:: duct=~[/info]
:: -:!>(*sign:clay-gate)
:: ^- sign:clay-gate
:: [%f %made ~1111.1.1 %complete %success %list ~]
:: ==
:: ^= move-comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* ~] moves)
:: [%leaf "wrong number of moves: {<(lent moves)>}"]~
:: ::
:: %+ expect-eq
:: !> ^- move:clay-gate
:: :- duct=~[/info]
:: ^- (wind note:clay-gate gift:able:clay)
:: :+ %pass /commit/home/casts
:: ^- note:clay-gate
:: :- %f
:: [%build live=%.n [%pin ~1111.1.1 [%list ~]]]
:: !> i.moves
:: ==
:: ::
:: :: castifying
:: ::
:: =^ results4 clay-gate
:: %- clay-take-with-comparator :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= take-args
:: :* wire=/commit/home/casts
:: duct=~[/info]
:: -:!>(*sign:clay-gate)
:: ^- sign:clay-gate
:: [%f %made ~1111.1.1 %complete %success %list ~]
:: ==
:: ^= comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* ~] moves)
:: [%leaf "wrong number of moves: {<(lent moves)>}"]~
:: ::
:: =/ move=move:clay-gate i.moves
:: =/ =duct p.move
:: =/ card=(wind note:clay-gate gift:able:clay) q.move
:: ::
:: %+ weld
:: (expect-eq !>(~[/info]) !>(duct))
:: ::
:: ?. ?=(%pass -.card)
:: [%leaf "bad move, not a %pass: {<move>}"]~
:: ::
:: =/ =wire p.card
:: ::
:: %+ weld
:: (expect-eq !>(/commit/home/mutates) !>(wire))
:: ::
:: =/ note=note:clay-gate q.card
:: ::
:: ?. ?=([%f %build *] note)
:: [%leaf "bad move, not a %build: {<move>}"]~
:: ::
:: %+ weld
:: (expect-eq !>(%.n) !>(live.note))
:: ::
:: %- expect-schematic:test-ford-external
:: :_ schematic.note
:: ^- schematic:ford
:: [%pin ~1111.1.1 %list ~]
:: ==
:: ::
:: :: mutating
:: ::
:: =^ results5 clay-gate
:: %- clay-take-with-comparator :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= take-args
:: :* wire=/commit/home/mutates
:: duct=~[/info]
:: -:!>(*sign:clay-gate)
:: ^- sign:clay-gate
:: [%f %made ~1111.1.1 %complete %success %list ~]
:: ==
:: ^= comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* ~] moves)
:: [%leaf "wrong number of moves: {<(lent moves)>}"]~
:: ::
:: =/ move=move:clay-gate i.moves
:: =/ =duct p.move
:: =/ card=(wind note:clay-gate gift:able:clay) q.move
:: ::
:: %+ weld
:: (expect-eq !>(~[/info]) !>(duct))
:: ::
:: ?. ?=(%pass -.card)
:: [%leaf "bad move, not a %pass: {<move>}"]~
:: ::
:: =/ =wire p.card
:: ::
:: %+ weld
:: (expect-eq !>(/commit/home/checkout) !>(wire))
:: ::
:: =/ note=note:clay-gate q.card
:: ::
:: ?. ?=([%f %build *] note)
:: [%leaf "bad move, not a %build: {<move>}"]~
:: ::
:: %+ weld
:: (expect-eq !>(%.n) !>(live.note))
:: ::
:: %- expect-schematic:test-ford-external
:: :_ schematic.note
:: ^- schematic:ford
:: :- %list
:: ^- (list schematic:ford)
:: :~ :- :^ %$ %path-hash -:!>([*path *@uvI])
:: :- /file1/noun
:: 0v1u.egg7f.h1o7a.22g2g.torgm.2kcfj.k8b3s.n5hlf.57i21.5m1nn.bhob7
:: ::
:: [%volt [~nul %home] %noun 'file1']
:: ::
:: :- :^ %$ %path-hash -:!>([*path *@uvI])
:: :- /file2/noun
:: 0vj.5f6kr.5o1of.dubnd.6k5a7.jprgp.8ifgp.0ljbi.dqau7.7c0q0.fj144
:: ::
:: [%volt [~nul %home] %noun 'file2']
:: == ==
:: ::
:: :: patching
:: ::
:: =^ results6 clay-gate
:: %- clay-take :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= take-args
:: :* wire=/commit/home/checkout
:: duct=~[/info]
:: -:!>(*sign:clay-gate)
:: ^- sign:clay-gate
:: :* %f %made ~1111.1.1 %complete %success %list
:: ^- (list build-result:ford)
:: :~ :+ %success
:: :* %success %$ %path-hash -:!>([*path *@uvI])
:: /file1/noun
:: 0v1u.egg7f.h1o7a.22g2g.torgm.2kcfj.
:: k8b3s.n5hlf.57i21.5m1nn.bhob7
:: ==
:: [%success %volt %noun %noun 'file1']
:: ::
:: :+ %success
:: :* %success %$ %path-hash -:!>([*path *@uvI])
:: /file2/noun
:: 0vj.5f6kr.5o1of.dubnd.6k5a7.jprgp.
:: 8ifgp.0ljbi.dqau7.7c0q0.fj144
:: ==
:: [%success %volt %noun %noun 'file2']
:: == == ==
:: ^= expected-moves
:: :~ :* duct=~[/init] %give %note '+' %rose ["/" "/" ~]
:: :~ [%leaf "~nul"]
:: [%leaf "home"]
:: [%leaf "1"]
:: [%leaf "file1"]
:: [%leaf "noun"]
:: == ==
:: ::
:: :* duct=~[/init] %give %note '+' %rose ["/" "/" ~]
:: :~ [%leaf "~nul"]
:: [%leaf "home"]
:: [%leaf "1"]
:: [%leaf "file2"]
:: [%leaf "noun"]
:: == == == ==
:: :: make a second write request during the same arvo event
:: ::
:: :: This should produce a Behn timer at `now` to run the write
:: :: request.
:: ::
:: =^ results7 clay-gate
:: %- clay-call-with-comparator :*
:: clay-gate
:: now=~1111.1.1
:: scry=*sley
:: ^= call-args
:: :+ duct=~[/info2] type=-:!>(*task:able:clay)
:: ^- task:able:clay
:: :+ %info %home
:: ^- nori:clay
:: :- %&
:: ^- soba:clay
:: :~ [/file3/noun `miso:clay`[%ins [%noun %noun 'file3']]]
:: [/file4/noun `miso:clay`[%ins [%noun %noun 'file4']]]
:: ==
:: ^= comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* ~] moves)
:: [%leaf "wrong number of moves: {<moves>}"]~
:: ::
:: =/ move=move:clay-gate i.moves
:: =/ =duct p.move
:: =/ card=(wind note:clay-gate gift:able:clay) q.move
:: ::
:: %+ weld
:: (expect-eq !>(~[/info2]) !>(duct))
:: ::
:: ?. ?=(%pass -.card)
:: [%leaf "bad move, not a %pass: {<move>}"]~
:: ::
:: =/ =wire p.card
:: ::
:: %+ weld
:: (expect-eq !>(/queued-request) !>(wire))
:: ::
:: =/ note=note:clay-gate q.card
:: ::
:: ?. ?=([%b %wait *] note)
:: [%leaf "bad move, not a %wait: {<move>}"]~
:: ::
:: (expect-eq !>(~1111.1.1) !>(p.note))
:: ==
:: ::
:: =^ results8 clay-gate
:: %- clay-take-with-comparator :*
:: clay-gate
:: now=~2222.2.2
:: scry=*sley
:: ^= take-args
:: :* wire=/queued-request
:: duct=~[/info2]
:: -:!>(*sign:clay-gate)
:: ^- sign:clay-gate
:: [%b %wake ~]
:: ==
:: ^= comparator
:: |= moves=(list move:clay-gate)
:: ^- tang
:: ::
:: ?. ?=([* * * ~] moves)
:: [%leaf "wrong number of moves: {<(lent moves)>}"]~
:: ::
:: ^- tang
:: ;: weld
:: %+ expect-eq
:: !> ^- move:clay-gate
:: :- duct=~[/info2]
:: ^- (wind note:clay-gate gift:able:clay)
:: :+ %pass /castifying/~nul/home/~2222.2.2
:: ^- note:clay-gate
:: :- %f
:: [%build live=%.n [%pin ~2222.2.2 [%list ~]]]
:: !> i.moves
:: ::
:: %+ expect-eq
:: !> ^- move:clay-gate
:: :- duct=~[/info2]
:: ^- (wind note:clay-gate gift:able:clay)
:: :+ %pass /diffing/~nul/home/~2222.2.2
:: ^- note:clay-gate
:: :- %f
:: [%build live=%.n [%pin ~2222.2.2 [%list ~]]]
:: !> i.t.moves
:: ::
:: ^- tang
:: ::
:: =/ move=move:clay-gate i.t.t.moves
:: =/ =duct p.move
:: =/ card=(wind note:clay-gate gift:able:clay) q.move
:: ::
:: %+ weld
:: (expect-eq !>(~[/info2]) !>(duct))
:: ::
:: ?. ?=(%pass -.card)
:: [%leaf "bad move, not a %pass: {<move>}"]~
:: ::
:: =/ =wire p.card
:: ::
:: %+ weld
:: (expect-eq !>(/inserting/~nul/home/~2222.2.2) !>(wire))
:: ::
:: =/ note=note:clay-gate q.card
:: ::
:: ?. ?=([%f %build *] note)
:: [%leaf "bad move, not a %build: {<move>}"]~
:: ::
:: %+ weld
:: (expect-eq !>(%.n) !>(live.note))
:: ::
:: %- expect-schematic:test-ford-external
:: :_ schematic.note
:: ^- schematic:ford
:: :+ %pin ~2222.2.2
:: :- %list
:: :~ :- [%$ %path -:!>(*path) /file3/noun]
:: :^ %cast [~nul %home] %noun
:: [%$ %noun %noun 'file3']
:: ::
:: :- [%$ %path -:!>(*path) /file4/noun]
:: :^ %cast [~nul %home] %noun
:: [%$ %noun %noun 'file4']
:: ==
:: == ==
:: ::
:: ;: welp
:: results0
:: results1
:: results2
:: results3
:: results4
:: results5
:: results6
:: results7
:: ==
:::: |utilities: helper functions for testing
::::
:::: TODO: make these utilities generic for any vane
::::
::::+| utilities
::::
:::: +clay-call: have clay run a +task and assert it produces :expected-moves7890
::::
::++ clay-call
:: |= $: clay-gate=_clay-gate
:: now=@da
:: scry=sley
:: call-args=[=duct =type wrapped-task=(hobo task:able:clay)]
:: expected-moves=(list move:clay-gate)
:: ==
:: ^- [tang _clay-gate]
:: ::
:: =/ clay-core (clay-gate our=~nul now=now eny=`@`0xdead.beef scry=scry)
:: ::
:: =^ moves clay-gate (call:clay-core [duct ~ type wrapped-task]:call-args)
:: ::
:: =/ output=tang
:: %+ expect-eq
:: !> expected-moves
:: !> moves
:: ::
:: [output clay-gate]
:::: +clay-call-with-comparator: run a clay +task and test output moves
::::
::++ clay-call-with-comparator
:: |= $: clay-gate=_clay-gate
:: now=@da
:: scry=sley
:: call-args=[=duct =type wrapped-task=(hobo task:able:clay)]
:: move-comparator=$-((list move:clay-gate) tang)
:: ==
:: ^- [tang _clay-gate]
:: ::
:: =/ clay-core (clay-gate our=~nul now=now eny=`@`0xdead.beef scry=scry)
:: ::
:: =^ moves clay-gate (call:clay-core [duct ~ type wrapped-task]:call-args)
:: ::
:: =/ output=tang (move-comparator moves)
:: ::
:: [output clay-gate]
:::: +clay-take: have clay receive a +note and assert output moves
::::
::++ clay-take
:: |= $: clay-gate=_clay-gate
:: now=@da
:: scry=sley
:: take-args=[=wire =duct wrapped-sign=(hypo sign:clay-gate)]
:: expected-moves=(list move:clay-gate)
:: ==
:: ^- [tang _clay-gate]
:: ::
:: =/ clay-core (clay-gate our=~nul now=now eny=`@`0xdead.beef scry=scry)
:: ::
:: =^ moves clay-gate (take:clay-core [wire duct ~ wrapped-sign]:take-args)
:: ::
:: =/ output=tang
:: %+ expect-eq
:: !> expected-moves
:: !> moves
:: ::
:: [output clay-gate]
:::: +clay-take-with-comparator: have clay receive a +note and test output moves
::::
::++ clay-take-with-comparator
:: |= $: clay-gate=_clay-gate
:: now=@da
:: scry=sley
:: take-args=[=wire =duct wrapped-sign=(hypo sign:clay-gate)]
:: move-comparator=$-((list move:clay-gate) tang)
:: ==
:: ^- [tang _clay-gate]
:: ::
:: =/ clay-core (clay-gate our=~nul now=now eny=`@`0xdead.beef scry=scry)
:: ::
:: =^ moves clay-gate (take:clay-core [wire duct ~ wrapped-sign]:take-args)
:: ::
:: =/ output=tang (move-comparator moves)
:: ::
:: [output clay-gate]
::--