diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/dictionary/ordered.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/dictionary/ordered.lux | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux index 217c07d1e..b9226a891 100644 --- a/stdlib/source/library/lux/data/collection/dictionary/ordered.lux +++ b/stdlib/source/library/lux/data/collection/dictionary/ordered.lux @@ -62,7 +62,7 @@ (All (_ k v) (-> k (Dictionary k v) (Maybe v))) (let [... (open "_#[0]") (the #&order dict) ] - (loop [node (the #root dict)] + (loop (again [node (the #root dict)]) (case node {.#None} {.#None} @@ -87,7 +87,7 @@ (All (_ k v) (-> (Dictionary k v) k Bit)) (let [... (open "_#[0]") (the #&order dict) ] - (loop [node (the #root dict)] + (loop (again [node (the #root dict)]) (case node {.#None} #0 @@ -109,7 +109,7 @@ {.#None} {.#Some node} - (loop [node node] + (loop (again [node node]) (case (the <side> node) {.#None} {.#Some (the #value node)} @@ -123,7 +123,7 @@ (def: .public (size dict) (All (_ k v) (-> (Dictionary k v) Nat)) - (loop [node (the #root dict)] + (loop (again [node (the #root dict)]) (case node {.#None} 0 @@ -252,7 +252,7 @@ (def: .public (has key value dict) (All (_ k v) (-> k v (Dictionary k v) (Dictionary k v))) (let [(open "_#[0]") (the #&order dict) - root' (loop [?root (the #root dict)] + root' (loop (again [?root (the #root dict)]) (case ?root {.#None} {.#Some (red key value {.#None} {.#None})} @@ -475,7 +475,7 @@ (def: .public (lacks key dict) (All (_ k v) (-> k (Dictionary k v) (Dictionary k v))) (let [(open "_#[0]") (the #&order dict) - [?root found?] (loop [?root (the #root dict)] + [?root found?] (loop (again [?root (the #root dict)]) (case ?root {.#Some root} (let [root_key (the #key root) @@ -546,7 +546,7 @@ (template [<name> <type> <output>] [(def: .public (<name> dict) (All (_ k v) (-> (Dictionary k v) (List <type>))) - (loop [node (the #root dict)] + (loop (again [node (the #root dict)]) (case node {.#None} (list) @@ -567,8 +567,8 @@ (def: (= reference sample) (let [(open "/#[0]") (the #&order reference)] - (loop [entriesR (entries reference) - entriesS (entries sample)] + (loop (again [entriesR (entries reference) + entriesS (entries sample)]) (case [entriesR entriesS] [{.#End} {.#End}] #1 |