diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/sequence.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/sequence.lux | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index 477d034a7..493b5d411 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -16,7 +16,7 @@ [control ["[0]" maybe (.use "[1]#[0]" functor)] ["[0]" try (.only Try)] - ["[0]" exception (.only exception:)] + ["[0]" exception (.only exception)] ["<>" parser (.only) ["<[0]>" code (.only Parser)]]] [data @@ -239,15 +239,15 @@ (.has #tail (..tail val))) ))) -(exception: incorrect_sequence_structure) +(exception incorrect_sequence_structure) -(exception: .public [a] (index_out_of_bounds [sequence (Sequence a) - index Nat]) +(exception .public [a] (index_out_of_bounds [sequence (Sequence a) + index Nat]) (exception.report "Size" (at n.decimal encoded (the #size sequence)) "Index" (at n.decimal encoded index))) -(exception: base_was_not_found) +(exception base_was_not_found) (def .public (within_bounds? sequence idx) (All (_ a) (-> (Sequence a) Nat Bit)) |