From 9dd68845e8320f3342b707426335042accd04cf6 Mon Sep 17 00:00:00 2001 From: Nicolas Boulenguez Date: Sun, 29 Sep 2024 17:05:40 +0200 Subject: [PATCH] jq: remove more unused stuff --- impls/jq/utils.jq | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/impls/jq/utils.jq b/impls/jq/utils.jq index 36cae741d5..6956eab813 100644 --- a/impls/jq/utils.jq +++ b/impls/jq/utils.jq @@ -22,13 +22,6 @@ def wrap(kind): value: . }; -def wrap2(kind; opts): - opts + { - kind: kind, - value: . - }; - - def find_free_references(keys): def _refs: if . == null then [] else @@ -74,25 +67,6 @@ def find_free_references(keys): end; _refs | unique; -def tomal: - ( - select(type == "array") | ( - map(tomal) | wrap("list") - ) - ) // ( - select(type == "string") | ( - if startswith("sym/") then - .[4:] | wrap("symbol") - else - wrap("string") - end - ) - ) // ( - select(type == "number") | ( - wrap("number") - ) - ); - # The following IO actions are implemented in rts.py. def __readline: