From 5bbb1df655b37edb1c72ea140b14971678b48489 Mon Sep 17 00:00:00 2001 From: Ian Jackson Date: Tue, 6 Jul 2021 01:03:20 +0100 Subject: [PATCH] promote and rename lower_treat_pinned Signed-off-by: Ian Jackson --- templates/script.ts | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/templates/script.ts b/templates/script.ts index c1ecd3e5..4e332338 100644 --- a/templates/script.ts +++ b/templates/script.ts @@ -564,16 +564,16 @@ type LowerTodoList = { [piece: string]: LowerTodoItem }; keyops_local['lower'] = function (uo: UoRecord) { lower_targets(uo); } -function lower_targets(uo: UoRecord): boolean { - function target_treat_pinned(p: PieceInfo): boolean { - return wresting || p.pinned;; - } +function lower_treat_pinned(p: PieceInfo): boolean { + return wresting || p.pinned;; +} +function lower_targets(uo: UoRecord): boolean { let targets_todo : LowerTodoList = Object.create(null); for (let piece of uo.targets!) { let p = pieces[piece]!; - let pinned = target_treat_pinned(p); + let pinned = lower_treat_pinned(p); targets_todo[piece] = { p, piece, pinned, }; } let problem = lower_pieces(targets_todo); -- 2.30.2