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
Jōshin
8f8e67f09f
Merge pull request #5625 from urbit/jo/maint-fix
...
repo: desks should be mounted
2022-03-05 14:22:55 -08:00
Jōshin
46f68b493e
repo: desks should be mounted
2022-03-05 00:04:27 -06:00
Jōshin
edf82fa9f4
Merge pull request #5620 from urbit/jo/multi-instructions
...
repo: MAINTAINERS instructions for multi pills
2022-03-02 19:58:47 -08:00
Jōshin
8cdd66773f
repo: MAINTAINERS instructions for multi pills
2022-03-02 21:54:52 -06:00
Hunter Miller
6c221fbddc
interface: updating glob to trigger properly uploaded glob
2022-03-02 18:32:45 -06:00
Hunter Miller
c4bc9b3428
groups: updating glob and version
2022-02-28 11:32:05 -06:00
Hunter Miller
b955554fa8
Merge branch 'next/groups'
2022-02-28 10:55:24 -06:00
tomholford
e0c1e27fa3
Merge pull request #5610 from urbit/th/1376-groups-double-tilde
...
interface: use single sig in NotificationText
2022-02-25 15:27:34 -06:00
tomholford
5959b73ecb
interface: use single sig in NotificationText
...
The `ProfileOverlay` component expects a `ship` arg as a patp without the sig. This deSigs the ship value used in `NotificationText`.
This closes urbit/landscape#1376
2022-02-25 15:24:14 -06:00
Hunter Miller
bfe20b9c4d
Merge pull request #5611 from urbit/lf/fix-reconnect-redux
...
interface: fix subscription reconnect issues
2022-02-25 14:10:47 -06:00
Liam Fitzgerald
cbb17a2135
interface: fix subscription reconnect issues
...
Restores subscription reconnect issues by correctly throwing a
FatalError so that subscriptions are correctly restarted
2022-02-25 13:25:18 -06:00