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

hoon: hook up $+ for shorthand type rendering

Browse Source 
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.
This commit is contained in:
fang 2022-03-10 01:40:02 +01:00
parent 0cfa42ec10
commit 3df227760f
No known key found for this signature in database
GPG Key ID: EB035760C1BBA972
2 changed files with 20 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkg/arvo/app/dojo.hoon
View File

@ -679,7 +679,9 @@
[%face ^] a(q $(a q.a)) [%face ^] a(q $(a q.a))
[%cell ^] a(p $(a p.a), q $(a q.a)) [%cell ^] a(p $(a p.a), q $(a q.a))
[%fork *] a(p (silt (turn ~(tap in p.a) |=(b=type ^$(a b))))) [%fork *] a(p (silt (turn ~(tap in p.a) |=(b=type ^$(a b)))))
[%hint *] !! [%hint *] ?. ?=(%know -.q.p.a) $(a q.a)
?@ p.q.p.a [(cat 3 '#' mark.p.q.p.a)]~
[(rap 3 '#' auth.p.q.p.a (spat type.p.q.p.a) ~)]~
[%core ^] `wain`/core [%core ^] `wain`/core
[%hold *] a(p $(a p.a)) [%hold *] a(p $(a p.a))
== ==

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

@ -7781,7 +7781,7 @@
[%bcgl *] $(mod q.mod) [%bcgl *] $(mod q.mod)
[%bcgr *] $(mod q.mod) [%bcgr *] $(mod q.mod)
[%bckt *] $(mod q.mod) [%bckt *] $(mod q.mod)
[%bcls *] $(mod q.mod) [%bcls *] [%note [%know p.mod] $(mod q.mod)]
[%bcmc *] :: borrow sample [%bcmc *] :: borrow sample
:: ::
[%tsgl [%$ 6] p.mod] [%tsgl [%$ 6] p.mod]
@ -7832,7 +7832,7 @@
[%bchp *] (decorate (function:clear p.mod q.mod)) [%bchp *] (decorate (function:clear p.mod q.mod))
[%bcmc *] (decorate (home [%tsgl [%limb %$] p.mod])) [%bcmc *] (decorate (home [%tsgl [%limb %$] p.mod]))
[%bcsg *] [%ktls example(mod q.mod) (home p.mod)] [%bcsg *] [%ktls example(mod q.mod) (home p.mod)]
[%bcls *] (decorate example(mod q.mod)) [%bcls *] (decorate [%note [%know p.mod] example(mod q.mod)])
[%bcts *] (decorate [%ktts p.mod example:clear(mod q.mod)]) [%bcts *] (decorate [%ktts p.mod example:clear(mod q.mod)])
[%bcdt *] (decorate (home (interface %gold p.mod q.mod))) [%bcdt *] (decorate (home (interface %gold p.mod q.mod)))
[%bcfs *] (decorate (home (interface %iron p.mod q.mod))) [%bcfs *] (decorate (home (interface %iron p.mod q.mod)))
@ -8189,7 +8189,7 @@
relative:clear(mod q.mod) relative:clear(mod q.mod)
relative:clear(mod p.mod) relative:clear(mod p.mod)
:: ::
[%bcls *] relative(mod q.mod) [%bcls *] [%note [%know p.mod] relative(mod q.mod)]
[%bcdt *] (decorate (home (interface %gold p.mod q.mod))) [%bcdt *] (decorate (home (interface %gold p.mod q.mod)))
[%bcfs *] (decorate (home (interface %iron p.mod q.mod))) [%bcfs *] (decorate (home (interface %iron p.mod q.mod)))
[%bczp *] (decorate (home (interface %lead p.mod q.mod))) [%bczp *] (decorate (home (interface %lead p.mod q.mod)))
@ -10906,6 +10906,7 @@
[%stop p=@ud] :: [%stop p=@ud] ::
[%tree p=term q=wine] :: [%tree p=term q=wine] ::
[%unit p=term q=wine] :: [%unit p=term q=wine] ::
[%name p=stud q=wine] ::
== :: == ::
-- --
|_ sut=type |_ sut=type
@ -10996,6 +10997,11 @@
[%unit *] [%unit *]
=^ cox gid $(q.ham q.q.ham) =^ cox gid $(q.ham q.q.ham)
:_(gid [%rose [" " (weld (trip p.q.ham) "(") ")"] cox ~]) :_(gid [%rose [" " (weld (trip p.q.ham) "(") ")"] cox ~])
::
[%name *]
:_ gid
?@ p.q.ham (cat 3 '#' mark.p.q.ham)
(rap 3 '#' auth.p.q.ham (spat type.p.q.ham) ~)
== ==
-- --
:: ::
@ -11183,6 +11189,9 @@
?~ wal ?~ wal
~ ~
[~ %rose [[' ' ~] ['[' ~] [']' ~]] [%leaf '~' ~] u.wal ~] [~ %rose [[' ' ~] ['[' ~] [']' ~]] [%leaf '~' ~] u.wal ~]
::
[%name *]
$(q.ham q.q.ham)
== ==
:: ::
++ doge ++ doge
@ -11287,7 +11296,9 @@
== ==
:: ::
[%hint *] [%hint *]
$(sut q.sut) =+ yad=$(sut q.sut)
?. ?=(%know -.q.p.sut) yad
[p.yad [%name p.q.p.sut q.yad]]
:: ::
[%face *] [%face *]
=+ yad=$(sut q.sut) =+ yad=$(sut q.sut)
@ -13002,6 +13013,7 @@
['=' (rune tis %bcts exqg)] ['=' (rune tis %bcts exqg)]
['?' (rune wut %bcwt exqs)] ['?' (rune wut %bcwt exqs)]
[';' (rune mic %bcmc expa)] [';' (rune mic %bcmc expa)]
['+' (rune lus %bcls exqg)]
== ==
== ==
:- '%' :- '%'
@ -13072,6 +13084,7 @@
['-' (stag %ktcl (rune hep %bchp exqb))] ['-' (stag %ktcl (rune hep %bchp exqb))]
['=' (stag %ktcl (rune tis %bcts exqg))] ['=' (stag %ktcl (rune tis %bcts exqg))]
['?' (stag %ktcl (rune wut %bcwt exqs))] ['?' (stag %ktcl (rune wut %bcwt exqs))]
['+' (stag %ktcl (rune lus %bcls exqg))]
['.' (rune dot %kttr exqa)] ['.' (rune dot %kttr exqa)]
[',' (rune com %ktcl exqa)] [',' (rune com %ktcl exqa)]
== ==