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 c1ecd3e5ea378f04cfe77228f70ac40be081a67d..4e33233804e8237d8fad53a2d7ec8c6e9531d15e 100644 (file)
--- 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);