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

clay: make covariant in type of +hoon

Browse Source
This commit is contained in:
Philip Monk 2020-05-16 05:22:39 -07:00
parent 9bb6daad06
commit b7beb6a697
No known key found for this signature in database
GPG Key ID: B66E1F02604E44EC
2 changed files with 26 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/solid.pill
View File

@ -1,3 +1,3 @@
version https://git-lfs.github.com/spec/v1 version https://git-lfs.github.com/spec/v1
oid sha256:9c37d3bca1ecd239b23a4f3f6c8a046dbbcf6e1c1f48b7a89ae14eea2d9a5255 oid sha256:aa03602671bf8e42072f75ae41c6978fd670a84c33959a7caf29fb125355fcf8
size 13122161 size 13137499

25
pkg/arvo/sys/vane/clay.hoon
View File

@ -3810,7 +3810,30 @@
?: ?=(%& -.u.u.p.result) ``p.u.u.p.result ?: ?=(%& -.u.u.p.result) ``p.u.u.p.result
~ ~
:: ::
++ stay [ver ruf] :: We clear the ford cache by replacing it with its bunt as a literal.
:: This nests within +ford-cache without reference to +type, +hoon, or
:: anything else in the sample of cache objects. Otherwise we would be
:: contravariant in the those types, which makes them harder to change.
::
++ stay
:- ver
%= ruf
dos.rom
%- ~(run by dos.rom.ruf)
|= =dojo
dojo(fod.dom [~ ~ ~])
::
hoy
%- ~(run by hoy.ruf)
|= =rung
%= rung
rus
%- ~(run by rus.rung)
|= =rede
rede(fod.dom [~ ~ ~])
==
==
::
++ take :: accept response ++ take :: accept response
|= [tea=wire hen=duct dud=(unit goof) hin=(hypo sign)] |= [tea=wire hen=duct dud=(unit goof) hin=(hypo sign)]
^+ [*(list move) ..^$] ^+ [*(list move) ..^$]