urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2024-12-14 01:08:54 +03:00
Code Issues Packages Projects Releases Wiki Activity

better type safety in %eyre injection

Browse Source
This commit is contained in:
Anton Dyudin 2015-07-09 15:50:52 -07:00
parent 6e26ecd5d3
commit 6977515ead
1 changed files with 8 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
arvo/eyre.hoon
View File

@ -757,11 +757,14 @@
=+ bek=-:(need (tome p.tee)) =+ bek=-:(need (tome p.tee))
=+ bik=?+(r.bek bek [%ud %0] bek(r da/now)) =+ bik=?+(r.bek bek [%ud %0] bek(r da/now))
=- (pass-note tee (ford-req bik [%flag [p.sih `~] -])) =- (pass-note tee (ford-req bik [%flag [p.sih `~] -]))
=- `silk`[%cast %mime `cay(q.q -)] =- `silk`[%cast %mime `[p.cay -]]
?. ?=([%ud 0] r.bek) q.q.cay ?. ?=([%ud 0] r.bek) q.cay
?+ p.cay q.q.cay :: inject dependency long-poll ?+ p.cay q.cay :: inject dependency long-poll
%urb =| urb=[[%html ~] [[%head ~] marl] [[%body ~] manx marl] ~] %urb =< (slam !>(.) q.cay)
.*(.(urb q.q.cay) !=((inject p.sih urb))) |= urb=manx
~| %malformed-urb
?> ?=([[%html ~] [[%head ~] *] [[%body ~] ^] ~] urb)
(inject p.sih urb)
== ==
~| q.q.cay ~| q.q.cay
=+ ((hard ,[mit=mite rez=octs]) q.q.cay) =+ ((hard ,[mit=mite rez=octs]) q.q.cay)