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

Merge remote-tracking branch 'origin/fix-slab' into ford-fusion

Browse Source
This commit is contained in:
Ted Blackman 2020-06-25 21:58:21 -04:00
commit 3daecd8c1b
1 changed files with 10 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkg/arvo/sys/hoon.hoon
View File

@ -12015,9 +12015,17 @@
=+ gun=(~(mint ut typ) %noun gen)
[p.gun (slum q.gat q.sam)]
::
:: +slab: states whether you can access an arm in a type.
::
:: -- way: the access type ($vial): read, write, or read-and-write.
:: The fourth case of $vial, %free, is not permitted because it would
:: allow you to discover "private" information about a type,
:: information which you could not make use of in (law-abiding) hoon anyway.
::
++ slab :: test if contains
|= {cog/@tas typ/type}
=(& -:(~(find ut typ) %free [cog ~]))
|= [way=?(%read %rite %both) cog=@tas typ=type]
?= [%| *]
(~(find ut typ) way ~[cog])
::
++ slap
|= {vax/vase gen/hoon} ^- vase :: untyped vase .*