urbit/shrub
1
1
Fork 0
mirror of https://github.com/urbit/shrub.git synced 2025-01-05 11:09:30 +03:00
Code Issues Packages Projects Releases Wiki Activity

type variance bug fix

Browse Source
This commit is contained in:
joshuareagan 2018-12-05 22:23:36 -06:00
parent 2001d39360
commit b8a4ab3f10
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
sys/hoon.hoon
View File

@ -9762,13 +9762,17 @@
++ felt
~/ %felt
|= lap/opal
!:
^- type
?- -.lap
%& p.lap
%| %- fire
%| %- fork
%+ turn ~(tap in q.lap)
|= {a/type b/foot}
[a [%dry %$ 1]]
|= [a=type b=foot]
:- %hold
?. ?=([%core *] a) !!
=+ dox=[%core q.q.a q.a]
[dox [%$ 1]]
==
:: ::
++ feel :: detect existence