From 011b19d0e26e05c743bd3e9b68c3df20187e6df2 Mon Sep 17 00:00:00 2001 From: Ted Blackman Date: Wed, 8 Feb 2023 13:02:11 -0500 Subject: [PATCH] minor cleanup indentation; also removed a superfluous |- just after a |^ --- pkg/arvo/gen/hood/tomb.hoon | 65 ++++++++++++++++++------------------- 1 file changed, 32 insertions(+), 33 deletions(-) diff --git a/pkg/arvo/gen/hood/tomb.hoon b/pkg/arvo/gen/hood/tomb.hoon index 8f77e0377..63328b0c2 100644 --- a/pkg/arvo/gen/hood/tomb.hoon +++ b/pkg/arvo/gen/hood/tomb.hoon @@ -17,41 +17,40 @@ =- (turn - notes) =- (turn lobes -) |= =lobe - |^ - |- ^- (set [ship desk tako norm path]) - ?~ domes - ~ - =/ =aeon 1 - %- ~(uni in $(domes t.domes)) - |- ^- (set [ship desk tako norm path]) - ?: (lth let.dome.i.domes aeon) - ~ - =/ =tako (~(got by hit.dome.i.domes) aeon) - =/ paths (draw-tako ship.i.domes desk.i.domes +.i.domes tako aeon) - (~(uni in paths) $(aeon +(aeon))) - :: - ++ draw-tako - |= [=ship =desk [do=dome tom=(map tako norm) nor=norm] =tako =aeon] - ^- (set [^ship ^desk ^tako norm path]) - ~+ - :: TODO: maybe offer to |rm here? - :: ?: =(tako (~(got by hit.do) aeon)) ~ - =/ =yaki (~(got by hut.rang) tako) - =/ takos - |- ^- (set [^ship ^desk ^tako norm path]) - ?~ p.yaki - ~ - (~(uni in $(p.yaki t.p.yaki)) ^$(tako i.p.yaki)) +|^ ^- (set [ship desk tako norm path]) +?~ domes + ~ +=/ =aeon 1 +%- ~(uni in $(domes t.domes)) +|- ^- (set [ship desk tako norm path]) +?: (lth let.dome.i.domes aeon) + ~ +=/ =tako (~(got by hit.dome.i.domes) aeon) +=/ paths (draw-tako ship.i.domes desk.i.domes +.i.domes tako aeon) +(~(uni in paths) $(aeon +(aeon))) +:: +++ draw-tako + |= [=ship =desk [do=dome tom=(map tako norm) nor=norm] =tako =aeon] + ^- (set [^ship ^desk ^tako norm path]) + ~+ + :: TODO: maybe offer to |rm here? + :: ?: =(tako (~(got by hit.do) aeon)) ~ + =/ =yaki (~(got by hut.rang) tako) + =/ takos |- ^- (set [^ship ^desk ^tako norm path]) - ?~ q.yaki - takos - %- ~(uni in $(q.yaki l.q.yaki)) - %- ~(uni in $(q.yaki r.q.yaki)) - ^- (set [^ship ^desk ^tako norm path]) - ?. =(lobe q.n.q.yaki) + ?~ p.yaki ~ - [[ship desk tako (~(gut by tom) tako nor) p.n.q.yaki] ~ ~] - -- + (~(uni in $(p.yaki t.p.yaki)) ^$(tako i.p.yaki)) + |- ^- (set [^ship ^desk ^tako norm path]) + ?~ q.yaki + takos + %- ~(uni in $(q.yaki l.q.yaki)) + %- ~(uni in $(q.yaki r.q.yaki)) + ^- (set [^ship ^desk ^tako norm path]) + ?. =(lobe q.n.q.yaki) + ~ + [[ship desk tako (~(gut by tom) tako nor) p.n.q.yaki] ~ ~] +-- :: ++ lobes =| lubs=(list lobe)