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

clay: don't cast in +stay

Browse Source
This commit is contained in:
Philip Monk 2022-10-13 21:42:36 -07:00
parent 8e2ab9e926
commit 4f5600df15
1 changed files with 12 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -5555,19 +5555,24 @@
`u=[need have leak]
--
::
:: We clear the ford cache by replacing it with its bunt as a literal.
:: This nests within +flow 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.
:: We clear the ford cache by replacing it with its bunt as a literal,
:: with its singleton type. This nests within +flow and +flue without
:: reference to +type, +hoon, or anything else in the sample of cache
:: objects. Otherwise we would be contravariant in those types, which
:: makes them harder to change.
::
++ stay
=/ flu [~ ~]
=+ `flue`flu
=/ flo ~
=+ `flow`flo
:- ver
%= ruf
fad ~
fad flo
dos.rom
%- ~(run by dos.rom.ruf)
|= =dojo
dojo(fod.dom `flue`[~ ~])
dojo(fod.dom flu)
::
hoy
%- ~(run by hoy.ruf)
@ -5576,7 +5581,7 @@
rus
%- ~(run by rus.rung)
|= =rede
rede(fod.dom `flue`[~ ~])
rede(fod.dom flu)
==
==
::