From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Tue, 6 Jul 2021 00:03:20 +0000 (+0100)
Subject: promote and rename lower_treat_pinned
X-Git-Tag: otter-0.7.2~267
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~ianmdlvl/git?a=commitdiff_plain;h=5bbb1df655b37edb1c72ea140b14971678b48489;p=otter.git

promote and rename lower_treat_pinned

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---

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);