diff options
Diffstat (limited to '')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/sequence.lux | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index 74654008c..39bce01ad 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -26,7 +26,7 @@ ["[0]" array ["[1]" \\unsafe (.only Array)]]]] [macro - [syntax (.only syntax:)] + [syntax (.only syntax)] ["^" pattern] ["[0]" code]] [math @@ -365,8 +365,9 @@ (All (_ a) (-> (Sequence a) Bit)) (|>> (the #size) (n.= 0))) -(syntax: .public (sequence [elems (<>.some <code>.any)]) - (in (.list (` (..of_list (.list (~+ elems))))))) +(def: .public sequence + (syntax (_ [elems (<>.some <code>.any)]) + (in (.list (` (..of_list (.list (~+ elems)))))))) (implementation: (node_equivalence //#=) (All (_ a) (-> (Equivalence a) (Equivalence (Node a)))) |