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

hoon: %gist spec doccords are tagged

Browse Source 
future-proofing %gist specs by putting a %help tag on the $help. this
looks pointless at first glance, but it allows the opportunity for %gist
specs to have a $% in the future in a way such that the old type nests
with the new one, eliding the need for a typo->type migration
This commit is contained in:
drbeefsupreme 2022-12-05 18:00:44 -05:00
parent 4afdfdb689
commit ce209fc2c7
1 changed files with 6 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -6340,8 +6340,7 @@
$~ [%base %null] :: $~ [%base %null] ::
$% [%base p=base] :: base type $% [%base p=base] :: base type
[%dbug p=spot q=spec] :: set debug [%dbug p=spot q=spec] :: set debug
::TODO consider [%gist p=[%help p=help] q=spec] [%gist p=[%help p=help] q=spec] :: formal comment
[%gist p=help q=spec] :: formal comment
[%leaf p=term q=@] :: constant atom [%leaf p=term q=@] :: constant atom
[%like p=wing q=(list wing)] :: reference [%like p=wing q=(list wing)] :: reference
[%loop p=term] :: hygienic reference [%loop p=term] :: hygienic reference
@ -7819,7 +7818,7 @@
:: ::
[%base *] (decorate (basal p.mod)) [%base *] (decorate (basal p.mod))
[%dbug *] example(mod q.mod, bug [p.mod bug]) [%dbug *] example(mod q.mod, bug [p.mod bug])
[%gist *] example(mod q.mod, nut `help/p.mod) [%gist *] example(mod q.mod, nut `p.mod)
[%leaf *] (decorate [%rock p.mod q.mod]) [%leaf *] (decorate [%rock p.mod q.mod])
[%like *] example(mod bcmc/(unreel p.mod q.mod)) [%like *] example(mod bcmc/(unreel p.mod q.mod))
[%loop *] [%limb p.mod] [%loop *] [%limb p.mod]
@ -8014,7 +8013,7 @@
:: formal comment :: formal comment
:: ::
[%gist *] [%gist *]
relative(mod q.mod, nut `help/p.mod) relative(mod q.mod, nut `p.mod)
:: ::
:: constant :: constant
:: ::
@ -8432,7 +8431,7 @@
|- |-
?. ?=([%gist *] body.gen) ?. ?=([%gist *] body.gen)
[%ktcl body.gen] [%ktcl body.gen]
[%note help+[p.body.gen] $(body.gen q.body.gen)] [%note p.body.gen $(body.gen q.body.gen)]
%+ turn `(list term)`sample.gen %+ turn `(list term)`sample.gen
|= =term |= =term
^- spec ^- spec
@ -11705,11 +11704,11 @@
=? b !=(c *note) =? b !=(c *note)
::TODO: consider commenting see apse:docs ::TODO: consider commenting see apse:docs
?> ?=([%help *] c) ?> ?=([%help *] c)
[%gist p.c b] [%gist help/p.c b]
=+ docs=~(tap by bat.a) =+ docs=~(tap by bat.a)
|- |-
?~ docs b ?~ docs b
$(docs t.docs, b [%gist i.docs b]) $(docs t.docs, b [%gist help/i.docs b])
(seam fel) (seam fel)
++ scye :: with prefix doccords ++ scye :: with prefix doccords
|* fel=rule |* fel=rule