From 9fb151179fb45557ed234e49ee2751d9b57b3d04 Mon Sep 17 00:00:00 2001 From: Anton Dyudin Date: Thu, 18 Feb 2016 15:26:04 -0800 Subject: [PATCH 1/4] sort profiling, omit if empty --- arvo/hoon.hoon | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon index c5cd0876a..9ff028aad 100644 --- a/arvo/hoon.hoon +++ b/arvo/hoon.hoon @@ -10367,6 +10367,7 @@ ++ pi-tell :: produce dump |= day/doss ^- (list tape) + ?: =(day *doss) ~ =+ tot=(pi-moth mon.day) ;: welp [(welp "events: " (pi-mumm mon.day)) ~] @@ -10393,7 +10394,8 @@ ?: =(~ out.hup) ~ :- "into:" %+ turn - (~(tap by out.hup) ~) + %+ sort (~(tap by out.hup) ~) + |=({{* a/@ud} {* b/@ud}} (gth a b)) |= {pax/path num/@ud} ^- tape :(welp " " (spud pax) ": " (scow %ud num)) @@ -10401,7 +10403,8 @@ ?: =(~ inn.hup) ~ :- "from:" %+ turn - (~(tap by inn.hup) ~) + %+ sort (~(tap by inn.hup) ~) + |=({{* a/@ud} {* b/@ud}} (gth a b)) |= {pax/path num/@ud} ^- tape :(welp " " (spud pax) ": " (scow %ud num)) From 8d374e940e9e41cf5e63a18be87274d440d0de84 Mon Sep 17 00:00:00 2001 From: Anton Dyudin Date: Thu, 18 Feb 2016 15:53:53 -0800 Subject: [PATCH 2/4] convert type printer to hoon151 syntax --- arvo/hoon.hoon | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/arvo/hoon.hoon b/arvo/hoon.hoon index 9ff028aad..e239c59b5 100644 --- a/arvo/hoon.hoon +++ b/arvo/hoon.hoon @@ -7385,7 +7385,7 @@ $noun :_(gid [%leaf '*' ~]) $path :_(gid [%leaf '/' ~]) $span :_(gid [%leaf '#' 't' ~]) - $void :_(gid [%leaf '#' ~]) + $void :_(gid [%leaf '#' '!' ~]) $wool :_(gid [%leaf '*' '"' '"' ~]) $wall :_(gid [%leaf '*' '\'' '\'' ~]) $yarn :_(gid [%leaf '"' '"' ~]) @@ -7401,7 +7401,7 @@ :: {$face *} =^ cox gid $(q.ham q.q.ham) - :_(gid [%palm [['=' ~] ~ ~ ~] [%leaf (trip p.q.ham)] cox ~]) + :_(gid [%palm [['/' ~] ~ ~ ~] [%leaf (trip p.q.ham)] cox ~]) :: {$list *} =^ cox gid $(q.ham q.q.ham) @@ -7413,21 +7413,21 @@ :: {$plot *} =^ coz gid (many p.q.ham) - :_(gid [%rose [[' ' ~] ['[' ~] [']' ~]] coz]) + :_(gid [%rose [[' ' ~] ['{' ~] ['}' ~]] coz]) :: {$pear *} - :_(gid [%leaf '%' ~(rend co [%$ p.q.ham q.q.ham])]) + :_(gid [%leaf '$' ~(rend co [%$ p.q.ham q.q.ham])]) :: {$stop *} =+ num=~(rend co [%$ %ud p.q.ham]) ?: (~(has in gid) p.q.ham) - :_(gid [%leaf '$' num]) + :_(gid [%leaf '#' num]) =^ cox gid %= $ gid (~(put in gid) p.q.ham) q.ham (~(got by p.ham) p.q.ham) == - :_(gid [%palm [['.' ~] ['^' '$' num] ~ ~] cox ~]) + :_(gid [%palm [['.' ~] ~ ~ ~] [%leaf ['^' '#' num]] cox ~]) :: {$tree *} =^ cox gid $(q.ham q.q.ham) From 28e986b87ea9a34f510c5a795172cc25b2d11216 Mon Sep 17 00:00:00 2001 From: Anton Dyudin Date: Fri, 19 Feb 2016 21:14:36 -0800 Subject: [PATCH 3/4] scanf was dependant on (cook :_(foo |=(...))) Another victim rescued from the dicey pits of electroplating. @cgyarvin, is there a more canonical translation? --- arvo/zuse.hoon | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/arvo/zuse.hoon b/arvo/zuse.hoon index 85b421c6f..f97c6328f 100644 --- a/arvo/zuse.hoon +++ b/arvo/zuse.hoon @@ -1024,7 +1024,7 @@ (scan a (parsf b)) ++ parsf :: make parser from: |^ |* a/(pole _;/(*{$^(rule tape)})) :: ;"chars{rule}chars" - %- cook :_ (bill (norm a)) + =- (cook - (bill (norm a))) |* (list) ?~ +< ~ ?~ t i From ba220c0d24f0e021d0e9038a9e5a4dad230fbbd1 Mon Sep 17 00:00:00 2001 From: Anton Dyudin Date: Fri, 19 Feb 2016 22:21:29 -0800 Subject: [PATCH 4/4] fix eyre ++back rev-0 beak casting to and from %hiss was failing due to occuring at a null revision --- arvo/eyre.hoon | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/arvo/eyre.hoon b/arvo/eyre.hoon index 0a54713e1..c0b9a06a9 100644 --- a/arvo/eyre.hoon +++ b/arvo/eyre.hoon @@ -846,7 +846,8 @@ :: ++ back :: %ford bounce |= {tea/whir mar/mark cay/cage} - (pass-note tea (ford-req -.top [%cast mar $+cay])) + =+ bek=?+(r.top -.top {$ud $0} -.top(r da+now)) + (pass-note tea (ford-req bek [%cast mar $+cay])) :: ++ del-deps |= {a/@uvH b/(each duct ixor)} ^+ +>.$