drbeefsupreme
24a175a803
dojo: flop order of topics for dy-inspect
...
you had to search for core:arm instead of arm:core before
2022-04-07 13:05:15 -04:00
drbeefsupreme
b0230086ce
doccords: dprint chapter and overview print tweak
...
printing an overview only gives the summary now, not the details. also
fixed chapter printing so that it doesn't print the details twice
2022-04-07 12:55:30 -04:00
drbeefsupreme
b41b22ab70
doccords: dprint fix chapter printing
2022-04-07 12:42:55 -04:00
drbeefsupreme
7d8fabe6cf
doccords: dprint remove +shallow-match
...
it was factored into +find-item-in-type
2022-04-07 11:54:33 -04:00
drbeefsupreme
7a94319af3
dojo, doccords: dprint library can take list term
...
this allows you to search for foo:bar instead of just foo
2022-04-06 17:37:55 -04:00
drbeefsupreme
0e8cf3bbfa
doccords: dprint improve default arm core docs
...
the logic for getting the docs on the default arm of a core is now more
similar to how other arm docs are gotten, rather than having its own
system. there is still more room for improvement
2022-04-06 16:34:02 -04:00
drbeefsupreme
2a57e85a09
hoon: comment out %note entry in +open
...
this was wiping out some comments buried that weren't written at the top
of an arm. not sure if this is used in another fashion that will create
issues, so I just commented it out to help remember that it used to be
there in case it needs further changes, like if I should actually skip
%know and %made notes but not %help notes
2022-04-06 16:27:07 -04:00
drbeefsupreme
33b2761b39
doccords, dojo: move flop print-arm -> dy-inspect
...
this looks more sensible
2022-04-06 15:50:23 -04:00
drbeefsupreme
912a5023bb
doccords: flop order of +print-arm results
2022-04-06 14:58:28 -04:00
drbeefsupreme
877fe0059e
dojo: add command to lookup doccords
...
syntax: `# foo` to look up foo. this is not the final form - it does not
support `# foo:bar` yet. the dprint library needs some changes first.
2022-04-06 14:02:25 -04:00
drbeefsupreme
69399c4153
doccords: remove unwrap-note from dprint
...
we shouldn't be getting docs from the AST, so this should never be needed
2022-04-05 15:55:42 -04:00
drbeefsupreme
3afc9b6899
doccords: dprint all docs in %arm items from type
...
before this, it was grabbing the initial arm-doc from the AST rather
than the type. now %arm items have all 3 types of docs available. the
interface has been degraded somewhat though, as %arm items no longer
have a single docs field. more refactoring will be needed to figure out
the best way to do this.
2022-04-05 15:52:35 -04:00
drbeefsupreme
37a787970c
doccords: dprint refactoring and renaming
2022-04-05 15:17:57 -04:00
drbeefsupreme
6f32d107fc
hoon: doccords wrap tisfas fix
...
I didn't know what I was doing before, I think this is the right way to
wrap tisfas with a %note hoon.
2022-04-05 14:45:51 -04:00
drbeefsupreme
151608d583
doccords: dprint fix depth calculation
...
stupid loobeans tripping me up
2022-04-05 14:44:47 -04:00
drbeefsupreme
eb4b996420
doccords: dprint can dist. arm-doc and prod-doc
...
rewrites select-arm-docs so that it checks for nested hint types and
sees if the outermost help hint has a %funk link with the name of the
arm in order to tell that its an arm-doc
2022-04-05 12:38:02 -04:00
drbeefsupreme
063e3ed716
hoon: doccords dist. between arm-doc and prod-doc
...
docs written above an arm are now distinguishable in the AST from
docs written above the product of the arm, by tagging docs written
above the arm with a %funk link
2022-04-05 12:35:53 -04:00
drbeefsupreme
6a6078b554
doccords: dprint core and chapter items
...
adds the ability to find cores and chapters and produce an item from them
2022-04-04 16:23:27 -04:00
Joe Bryan
f7f4b3e748
hoon: preserve structural sharing by testing subject/product equality in +burp
2022-04-04 14:12:25 -04:00
Joe Bryan
0c255c1294
hoon: plug type leak in vase literals by properly burping %hint
2022-04-04 14:12:24 -04:00
drbeefsupreme
edfcceb1d9
doccords: dprint print overview
...
also adds another mule to a play:ut call to avoid another crash that i'm
not sure yet why it is happening
2022-03-31 18:45:28 -04:00
drbeefsupreme
a15711c74d
doccords: dprint fix crash on non-help %hint
2022-03-31 17:59:45 -04:00
drbeefsupreme
f9dfb590d6
hoon: turn on hints for %noun types
2022-03-31 17:41:48 -04:00
drbeefsupreme
d9e44e9e76
doccords: dprint print core routine
2022-03-31 17:35:50 -04:00
drbeefsupreme
752182f0bf
doccords: dprint fix default core arm printing
...
if the product had its own docs, it wouldn't also get the docs for a
the default arm produced by the core. this fixes that. also misc style
fixes
2022-03-31 17:33:59 -04:00
drbeefsupreme
1af2e8fdae
doccords: dprint library unwrapping hints
...
doesn't totally work yet
2022-03-31 14:39:09 -04:00
drbeefsupreme
91aeb0fdbf
doccords: more printing tools
2022-03-30 15:36:30 -04:00
drbeefsupreme
af7d38124b
doccords: finding and print doccords library
...
initial commit for library for finding and printing doccords. has some
basic functionality for looking through a type and finding the docs
within it and printing them, but is mostly unfinished
2022-03-30 14:51:40 -04:00
drbeefsupreme
e50635babd
hoon: doccords wrap %rock %sand %wing %knit %bust
...
wraps them in %note hoons
2022-03-18 18:22:26 -04:00
drbeefsupreme
37580fa722
hoon: doccords for tisfas
...
wraps the skin in tisface with a %help skin
2022-03-18 17:03:02 -04:00
drbeefsupreme
2fa0bd3644
squash! hoon: doccords wrap bar runes with %notes
2022-03-16 13:43:55 -04:00
drbeefsupreme
c01732de16
hoon: doccords wrap bar runes with %notes
...
this changes the parser to take any bar runes surrounded by formal
comments and wraps them with %note tags containing those comments
2022-03-16 13:05:58 -04:00
drbeefsupreme
ff81189823
hoon: doccords %brdt cleanup revert
2022-03-16 12:13:39 -04:00
drbeefsupreme
1c72ff6103
Revert "hoon: change %brdt AST to support doccords label"
...
This reverts commit 0dc3498a6f
2022-03-16 12:12:39 -04:00
drbeefsupreme
643700546f
hoon: populate %brpt doccords label
2022-03-14 17:09:41 -04:00
drbeefsupreme
0dc3498a6f
hoon: change %brdt AST to support doccords label
2022-03-14 17:08:49 -04:00
drbeefsupreme
f08b613416
hoon: populate label for %brcn doccords
...
This changes the parser for +tall so that it looks before and after a
hoon for doccords, and then extracts a label for %brcn if it exists.
+wrap will be used to annotating most hoons, but this commit only covers
%brcn
2022-03-14 17:00:04 -04:00
fang
41a796d2d1
hoon: hook up $+ for shorthand type rendering
...
Too often when dealing with big types the compiler traces and other such
outputs become hard to read. Wrapping a type as $+(shorthand big-type)
will now print #shorthand in place of the type.
2022-03-14 13:58:48 -04:00
drbeefsupreme
0a3ec9a92d
hoon: doccords cleanup %note tag for +boog
2022-03-14 11:49:31 -04:00
drbeefsupreme
336817d5bc
hoon: doccords for core chapters
...
this populates the $what in $tome
2022-03-14 11:49:30 -04:00
drbeefsupreme
cdaf23a184
hoon: prefix and postfix doccords for ++ and +$
...
there's a stub for +* but its not working yet
2022-03-14 11:49:29 -04:00
fang
98c6c77ebb
Merge branch 'next/arvo'
2022-02-17 20:32:26 +01:00
Jōshin
ca0a861c5e
zuse: add missing assertions
2022-02-09 14:14:12 -06:00
Jōshin
64fcd685af
zuse: comment clarifying sk bounds check
2022-02-03 13:52:09 -06:00
Jōshin
4cef7dc38b
bounds-check against sk=1
...
+sign:schnorr crashes on `=(0 sk)`, so the bounds checking code is not
exercised for sk=0. It also crashes on `(gte sk n.domain.c)`, which is
redundant with the size check on sk, so we remove that.
2022-02-03 13:21:21 -06:00
Jōshin
f07f759253
zuse: style cleanup, use +rep/+end
2022-02-03 12:54:27 -06:00
Jōshin
822eb6ea08
Merge branch 'next/arvo' into jo/secp-arvo
2022-02-02 20:34:11 -06:00
drbeefsupreme
f67962b803
helm: cleanup +poke-rekey to match #5522
2022-01-28 12:23:36 -05:00
Hunter Miller
88e956df01
Merge branch 'next/landscape'
2022-01-27 10:24:04 -06:00
drbeefsupreme
b5f299c02d
helm: fix |rekey to work with multikey files
2022-01-26 16:29:14 -05:00
