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

hoon: improve $pith pattern mode syntax

Browse Source 
Produce the correct type, support the ~ element, allow specifying an
open-ended type.
This commit is contained in:
fang 2022-07-06 16:33:28 +02:00
parent 5af620176e
commit 01a6b8a16a
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972
1 changed files with 14 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -13132,15 +13132,23 @@
;~ pose
:: /name=@aura
::
%+ stag %bcts
;~ plug sym
;~ pfix tis pat
(stag %base (stag %atom mota))
== ==
%+ cook
|= [=term =aura]
^- spec
:+ %bccl
[%leaf %tas aura]
[%bcts term [%base %atom aura]]~
;~(plug sym ;~(pfix tis pat mota))
::
:: /constant
::
(stag %leaf (stag %tas sym))
(stag %leaf (stag %tas ;~(pose sym (cold %$ buc))))
==
::
:: /~
::
:- '~'
(cold [%bccl [%leaf %tas %n] [%base %null] ~] sig)
==
::
;~ pose