diff options
Diffstat (limited to 'stdlib/source/library/lux/data/collection/sequence.lux')
| -rw-r--r-- | stdlib/source/library/lux/data/collection/sequence.lux | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/stdlib/source/library/lux/data/collection/sequence.lux b/stdlib/source/library/lux/data/collection/sequence.lux index 8e9340a6f..34a3e512d 100644 --- a/stdlib/source/library/lux/data/collection/sequence.lux +++ b/stdlib/source/library/lux/data/collection/sequence.lux @@ -243,8 +243,9 @@ (exception: .public [a] (index_out_of_bounds [sequence (Sequence a) index Nat]) - (exception.report ["Size" (# n.decimal encoded (the #size sequence))] - ["Index" (# n.decimal encoded index)])) + (exception.report + "Size" (# n.decimal encoded (the #size sequence)) + "Index" (# n.decimal encoded index))) (exception: base_was_not_found) |