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

hoon: support ? and ~ in typed paths properly

Browse Source
This commit is contained in:
fang 2022-07-07 16:06:50 +02:00
parent 77091d53d4
commit c977486f71
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972
1 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -11756,7 +11756,7 @@
(stag %clsg (more fas stem)) (stag %clsg (more fas stem))
== ==
:: ::
++ stem !: ++ stem
%+ knee *hoon |. ~+ %+ knee *hoon |. ~+
%+ cook %+ cook
|= iota=$%([%hoon =hoon] iota) |= iota=$%([%hoon =hoon] iota)
@ -11773,7 +11773,7 @@
:- '$' (cold %$ buc) :- '$' (cold %$ buc)
:- '0'^'9' (slot bisk:so) :- '0'^'9' (slot bisk:so)
:- '-' (slot tash:so) :- '-' (slot tash:so)
:- '.' zust:so :- '.' ;~(pfix dot zust:so)
:- '~' (slot ;~(pfix sig ;~(pose crub:so (easy [%n ~])))) :- '~' (slot ;~(pfix sig ;~(pose crub:so (easy [%n ~]))))
:- '\'' (stag %t qut) :- '\'' (stag %t qut)
:- '[' (slip (ifix [sel ser] wide)) :- '[' (slip (ifix [sel ser] wide))
@ -13141,7 +13141,12 @@
^- spec ^- spec
:+ %bccl :+ %bccl
[%leaf %tas aura] [%leaf %tas aura]
[%bcts term [%base %atom aura]]~ :_ ~
:+ %bcts term
?+ aura [%base %atom aura]
%f [%base %flag]
%n [%base %null]
==
;~(plug sym ;~(pfix tis pat mota)) ;~(plug sym ;~(pfix tis pat mota))
:: ::
:: /constant :: /constant
@ -13159,6 +13164,11 @@
[%leaf %tas aura] [%leaf %tas aura]
[%base %atom aura]~ [%base %atom aura]~
;~(pfix pat mota) ;~(pfix pat mota)
::
:: /?
::
:- '?'
(cold [%bccl [%leaf %tas %f] [%base %flag] ~] wut)
:: ::
:: /~ :: /~
:: ::
@ -13166,6 +13176,8 @@
(cold [%bccl [%leaf %tas %n] [%base %null] ~] sig) (cold [%bccl [%leaf %tas %n] [%base %null] ~] sig)
== ==
:: ::
:: open-ended or fixed-length
::
;~ pose ;~ pose
(cold [%base %noun] ;~(plug fas tar)) (cold [%base %noun] ;~(plug fas tar))
(easy %base %null) (easy %base %null)