unspecialize spawn proxy change

This commit is contained in:
drbeefsupreme 2021-04-14 14:33:31 -04:00
parent 97eaf0d3f4
commit fae0e9cd42
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC

View File

@ -38,7 +38,7 @@
|= =^state:naive
=^ f1 state (init-bud state)
=^ f2 state (n state (owner-changed:l1 ~dopbud (key ~dopbud)))
=^ f3 state (n state (changed-spawn-proxy:l1 ~dopbud))
=^ f3 state (n state (changed-spawn-proxy:l1 ~dopbud deposit-address:naive))
[:(welp f1 f2 f3) state]
::
:: ~marbud is for testing L2 ownership
@ -103,8 +103,8 @@
(log broke-continuity:log-names:naive rift ship ~)
::
++ changed-spawn-proxy
|= =ship
(log changed-spawn-proxy:log-names:naive *@t ship deposit-address:naive ~)
|= [=ship =address]
(log changed-spawn-proxy:log-names:naive *@t ship address ~)
::
++ changed-transfer-proxy
|= [=ship =address]