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

doccords: remove unwrap-note from dprint

Browse Source 
we shouldn't be getting docs from the AST, so this should never be needed
This commit is contained in:
drbeefsupreme 2022-04-05 15:55:42 -04:00
parent 3afc9b6899
commit 69399c4153
No known key found for this signature in database
GPG Key ID: B70D5683DE7F9EFC
1 changed files with 0 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkg/arvo/lib/dprint.hoon
View File

@ -206,16 +206,6 @@
%noun ~
%void ~
==
:> checks if a hoon is wrapped with a help note, and returns it if so
++ unwrap-note
|= gen=hoon
^- what
?: ?=([%note *] gen)
?: ?=([%help *] p.gen)
`crib.p.p.gen
~
~
::
:> checks if a hint type is a help hint and returns the docs if so
++ unwrap-hint