aboutsummaryrefslogtreecommitdiff
path: root/stdlib/source/library/lux/data/collection/sequence.lux
diff options
context:
space:
mode:
Diffstat (limited to 'stdlib/source/library/lux/data/collection/sequence.lux')
-rw-r--r--stdlib/source/library/lux/data/collection/sequence.lux8
1 files changed, 4 insertions, 4 deletions
diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux
index 77873fa40..93bea49d4 100644
--- a/stdlib/source/library/lux/data/collection/sequence.lux
+++ b/stdlib/source/library/lux/data/collection/sequence.lux
@@ -227,7 +227,7 @@
... If so, a brand-new root must be established, that is
... 1-level taller.
(|> sequence
- (.has #root (|> (`` (is (Hierarchy (~~ (type_of val)))
+ (.has #root (|> (`` (is (Hierarchy (,, (type_of val)))
(empty_hierarchy [])))
(array.has! 0 {#Hierarchy (the #root sequence)})
(array.has! 1 (..path (the #level sequence) (the #tail sequence)))))
@@ -293,8 +293,8 @@
{try.#Success (if (n.< (tail_off sequence_size) idx)
(.revised #root (hierarchy#has (the #level sequence) idx val)
sequence)
- (.revised #tail (`` (is (-> (Base (~~ (type_of val)))
- (Base (~~ (type_of val))))
+ (.revised #tail (`` (is (-> (Base (,, (type_of val)))
+ (Base (,, (type_of val))))
(|>> array.clone (array.has! (branch_idx idx) val))))
sequence))}
(exception.except ..index_out_of_bounds [sequence idx]))))
@@ -369,7 +369,7 @@
(def .public sequence
(syntax (_ [elems (<>.some <code>.any)])
- (in (.list (` (..of_list (.list (~+ elems))))))))
+ (in (.list (` (..of_list (.list (,* elems))))))))
(def (node_equivalence //#=)
(All (_ a) (-> (Equivalence a) (Equivalence (Node a))))