Where is the lowering of end within [ ] documented

General Usage
, ,
1

Where is the lowering of end within [] documented? Ie the fact that it is assigned a value from lastindex, as in

julia> Meta.@lower (1:4)[min(end, 5)]
:($(Expr(:thunk, CodeInfo(
1 ─ %1 = Main.:(:)
│   %2 =   dynamic (%1)(1, 4)
│   %3 = Main.min
│   %4 =   dynamic Base.lastindex(%2)
│   %5 =   dynamic (%3)(%4, 5)
│   %6 =   dynamic Base.getindex(%2, %5)
└──      return %6
))))

I just realized that I know this, but can’t find it in the docs (context: someone asked me about it and I wanted to share a docs section that explains it.)

1 Like
2

I think it’s hidden away in the compiler internals.

1 Like
3

It’s documented in the lastindex docstring, which says:

The syntaxes A[end] and A[end, end] lower to A[lastindex(A)] and A[lastindex(A, 1), lastindex(A, 2)], respectively.

The end docstring also says:

end may also be used when indexing to represent the last index of a collection or the last index of a dimension of an array.

but it should probably cross-reference lastindex specifically.

Probably it should also be referenced from the “Arrays” chapter of the manual, which currently only says:

As a special part of this syntax, the end keyword may be used to represent the last index of each dimension within the indexing brackets, as determined by the size of the innermost array being indexed.

5 Likes
4

(post deleted by author)

5

Funnily enough, this is done in the parser, not in lowering.

julia> Meta.parse("[1][begin : end]")
:(([1])[var"begin":var"end"])

julia> Meta.parse("[begin : end]")
:([begin
          #= none:1 =#
          :
      end])

julia> [begin : end]
1-element Vector{Colon}:
 (::Colon) (generic function with 16 methods)

If you think about it for a second, then it is clear why this has to work that way: Macros.
That is quite the footgun for code generation!

And the distinction is not “internals”, it is public API (macros). So I guess the docs should say var"begin" and var"end" get lowered to appropriate firstindex/lastindex called when within an indexing bracket; and begin/end sometimes get parsed into var"begin"/var"end" when within an indexing bracket.

…and the “sometimes” is really non-trivial – see begin : end, which plausibly could have been getindex(A, Colon()) or getindex(A, Colon()(firstindex(A), lastindex(A))). Luckily both give the same result for most (all?) Base types.

1 Like
6

A bit tangential, but I have no idea why it is var"end" but not kw"end"?