mirror of
https://github.com/ilyakooo0/urbit.git
synced 2025-01-03 12:42:48 +03:00
dprint: dont print (undocumented) on arms
style reasons
This commit is contained in:
parent
0fbdd6808a
commit
ec74127a43
@ -544,11 +544,17 @@
|
||||
;: weld
|
||||
(print-header (weld "+" name.item) adoc.item)
|
||||
[%txt ""]~
|
||||
(styled [[`%br ~ `%b] 'product:']~)
|
||||
(print-header "" pdoc.item)
|
||||
[%txt ""]~
|
||||
(styled [[`%br ~ `%b] 'default arm in core:']~)
|
||||
(print-header "" cdoc.item)
|
||||
?~ pdoc.item
|
||||
*(list sole-effect)
|
||||
%- zing :~ (styled [[`%br ~ `%b] 'product:']~)
|
||||
(print-header "" pdoc.item)
|
||||
[%txt ""]~
|
||||
==
|
||||
?~ cdoc.item
|
||||
*(list sole-effect)
|
||||
%- zing :~ (styled [[`%br ~ `%b] 'default arm in core:']~)
|
||||
(print-header "" cdoc.item)
|
||||
==
|
||||
==
|
||||
::
|
||||
:: +print-face: renders documentation for a face
|
||||
@ -572,8 +578,8 @@
|
||||
~? >> debug %print-header
|
||||
;: weld
|
||||
(styled [[`%br ~ `%g] (crip name)]~)
|
||||
?~ doc
|
||||
(styled [[`%br ~ `%r] '(undocumented)']~)
|
||||
?~ doc *(list sole-effect)
|
||||
:: (styled [[`%br ~ `%r] '(undocumented)']~)
|
||||
:~ :- %tan
|
||||
%- flop
|
||||
;: weld
|
||||
|
Loading…
Reference in New Issue
Block a user