mirror of
https://github.com/ilyakooo0/urbit.git
synced 2024-09-20 23:18:00 +03:00
naive: better style
This commit is contained in:
parent
eb68a42b0d
commit
000f7ca717
@ -267,9 +267,9 @@
|
|||||||
++ parse-tx
|
++ parse-tx
|
||||||
^- (unit [tx _batch])
|
^- (unit [tx _batch])
|
||||||
=^ from-proxy=@ batch (take 0 3)
|
=^ from-proxy=@ batch (take 0 3)
|
||||||
?: (gth from-proxy 4) (debug %bad-proxy ~)
|
?. ?=(?(%0 %1 %2 %3 %4) from-proxy) (debug %bad-proxy ~)
|
||||||
=/ =proxy
|
=/ =proxy
|
||||||
?+ from-proxy !! :: checked above that lte 4
|
?- from-proxy
|
||||||
%0 %own
|
%0 %own
|
||||||
%1 %spawn
|
%1 %spawn
|
||||||
%2 %manage
|
%2 %manage
|
||||||
|
Loading…
Reference in New Issue
Block a user