mirror of
https://github.com/urbit/shrub.git
synced 2024-12-19 00:13:12 +03:00
hoon: plug type leak in vase literals by properly burping %hint
This commit is contained in:
parent
5ff4cc7f66
commit
15e570a622
@ -9066,7 +9066,7 @@
|
||||
==
|
||||
[%face *] [%face p.sut burp(sut q.sut)]
|
||||
[%fork *] [%fork (~(run in p.sut) |=(type burp(sut +<)))]
|
||||
[%hint *] (hint p.sut burp(sut q.sut))
|
||||
[%hint *] (hint [burp(sut p.p.sut) q.p.sut] burp(sut q.sut))
|
||||
[%hold *] [%hold burp(sut p.sut) q.sut]
|
||||
==
|
||||
::
|
||||
|
Loading…
Reference in New Issue
Block a user