From b7e1282e957247d5e28748c3caa888ab44a74959 Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Tue, 11 Feb 2025 14:14:04 -0800
Subject: [PATCH 1/7] Working fix, sans JuliaSyntax

---
 base/views.jl        | 10 ++++------
 src/julia-parser.scm |  8 ++++++--
 src/julia-syntax.scm | 10 ++++++----
 3 files changed, 16 insertions(+), 12 deletions(-)

diff --git a/base/views.jl b/base/views.jl
index 6898abdda1471..3dfcd6794193d 100644
--- a/base/views.jl
+++ b/base/views.jl
@@ -18,16 +18,14 @@ replace_ref_begin_end!(ex) = replace_ref_begin_end_!(ex, nothing)[1]
 # replace_ref_begin_end_!(ex,withex) returns (new ex, whether withex was used)
 function replace_ref_begin_end_!(ex, withex)
     used_withex = false
-    if isa(ex,Symbol)
-        if ex === :begin
+    if isa(ex,Expr)
+        if ex.head === :begin
             withex === nothing && error("Invalid use of begin")
             return withex[1], true
-        elseif ex === :end
+        elseif ex.head === :end
             withex === nothing && error("Invalid use of end")
             return withex[2], true
-        end
-    elseif isa(ex,Expr)
-        if ex.head === :ref
+        elseif ex.head === :ref
             ex.args[1], used_withex = replace_ref_begin_end_!(ex.args[1], withex)
             S = isa(ex.args[1],Symbol) ? ex.args[1]::Symbol : gensym(:S) # temp var to cache ex.args[1] if needed
             used_S = false # whether we actually need S
diff --git a/src/julia-parser.scm b/src/julia-parser.scm
index 4415dc8686065..57d769aa934a1 100644
--- a/src/julia-parser.scm
+++ b/src/julia-parser.scm
@@ -182,7 +182,7 @@
 (define space-sensitive #f)
 ; seeing `for` stops parsing macro arguments and makes a generator
 (define for-generator #f)
-; treat 'end' like a normal symbol instead of a reserved word
+; treat begin/end like special symbols instead of reserved words
 (define end-symbol #f)
 ; treat newline like ordinary whitespace instead of as a potential separator
 (define whitespace-newline #f)
@@ -1624,7 +1624,7 @@
         (parse-imports s word))
        ((do)
         (error "invalid \"do\" syntax"))
-       (else (error "unhandled reserved word")))))))
+       (else (error (string "unhandled reserved word " word))))))))
 
 (define (parse-do s)
   (with-bindings
@@ -2545,6 +2545,10 @@
                     (symbol str)))
                  ((eq? t 'true)  '(true))
                  ((eq? t 'false) '(false))
+                 ;; issue #57269: a[var"begin"] -> 'begin
+                 ;;               a[begin]      -> '(begin)
+                 ((and end-symbol (eq? t 'begin)) '(begin))
+                 ((and end-symbol (eq? t 'end)) '(end))
                  (else t)))
 
           ;; parens or tuple
diff --git a/src/julia-syntax.scm b/src/julia-syntax.scm
index 4fa6dc2e14a70..5b6b7b4976494 100644
--- a/src/julia-syntax.scm
+++ b/src/julia-syntax.scm
@@ -113,8 +113,8 @@
 
 ;; replace `begin` and `end` for the closest ref expression, so doesn't go inside nested refs
 (define (replace-beginend ex a n tuples last)
-  (cond ((eq? ex 'end)                (end-val a n tuples last))
-        ((eq? ex 'begin)              (begin-val a n tuples last))
+  (cond ((equal? ex '(begin))         (begin-val a n tuples last))
+        ((equal? ex '(end))           (end-val a n tuples last))
         ((or (atom? ex) (quoted? ex)) ex)
         ((eq? (car ex) 'ref)
          ;; inside ref only replace within the first argument
@@ -1612,7 +1612,7 @@
              (idxs (cddr lhs))
              (rhs  (caddr e)))
          (let* ((reuse (and (pair? a)
-                            (contains (lambda (x) (eq? x 'end))
+                            (contains (lambda (x) (equal? x '(end)))
                                       idxs)))
                 (arr   (if reuse (make-ssavalue) a))
                 (stmts (if reuse `((= ,arr ,(expand-forms a))) '()))
@@ -1870,7 +1870,9 @@
   (let ((a    (cadr e))
         (idxs (cddr e)))
     (let* ((reuse (and (pair? a)
-                       (contains (lambda (x) (or (eq? x 'begin) (eq? x 'end)))
+                       (contains (lambda (x)
+                                   (or (equal? x '(begin))
+                                       (equal? x '(end))))
                                  idxs)))
            (arr   (if reuse (make-ssavalue) a))
            (stmts (if reuse `((= ,arr ,a)) '())))

From 2bbe794cc22a5488d22eaa6cd259b1c9db81cb4e Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Wed, 12 Feb 2025 13:40:38 -0800
Subject: [PATCH 2/7] Bump juliasyntax for pkgeval

---
 deps/JuliaSyntax.version | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/deps/JuliaSyntax.version b/deps/JuliaSyntax.version
index 9487754d8a617..2dafe327e8abd 100644
--- a/deps/JuliaSyntax.version
+++ b/deps/JuliaSyntax.version
@@ -1,4 +1,4 @@
-JULIASYNTAX_BRANCH = main
-JULIASYNTAX_SHA1 = 46723f071d5b2efcb21ca6757788028afb91cc13
+JULIASYNTAX_BRANCH = mlechu/fix-end-parsing
+JULIASYNTAX_SHA1 = d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45
 JULIASYNTAX_GIT_URL := https://github.com/JuliaLang/JuliaSyntax.jl.git
 JULIASYNTAX_TAR_URL = https://api.github.com/repos/JuliaLang/JuliaSyntax.jl/tarball/$1

From e9a07eb9c444750b617c16b6c9be4b523ce85ede Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Wed, 12 Feb 2025 13:55:53 -0800
Subject: [PATCH 3/7] Add juliasyntax checksums

---
 .../md5                                                          | 1 +
 .../sha512                                                       | 1 +
 2 files changed, 2 insertions(+)
 create mode 100644 deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5
 create mode 100644 deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512

diff --git a/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5 b/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5
new file mode 100644
index 0000000000000..82d78b6c4eb3f
--- /dev/null
+++ b/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5
@@ -0,0 +1 @@
+fe3e583f8676039e7c17cf921b973b0a
diff --git a/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512 b/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512
new file mode 100644
index 0000000000000..1eae5b6595f68
--- /dev/null
+++ b/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512
@@ -0,0 +1 @@
+f4ac285d2e61fdeb70f7830cf0789b9dc6a8a950d0e1acb8430b17c2d4d9e8c8baaedef84aa41236c203833e048e360fed36edc9367f05b502bb67c6ba4d5c15

From 7ba922ca5da89c763aecdc0c835caf2bcb36f75a Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Mon, 17 Feb 2025 11:27:11 -0800
Subject: [PATCH 4/7] Mark `'(begin)`, `'(end)` effect-free

---
 src/ast.scm | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ast.scm b/src/ast.scm
index a20f8f87f955c..fb2c2630a3876 100644
--- a/src/ast.scm
+++ b/src/ast.scm
@@ -405,7 +405,8 @@
 
 ;; identify some expressions that are safe to repeat
 (define (effect-free? e)
-  (or (not (pair? e)) (ssavalue? e) (sym-dot? e) (quoted? e) (memq (car e) '(null true false))))
+  (or (not (pair? e)) (ssavalue? e) (sym-dot? e) (quoted? e)
+      (memq (car e) '(null true false begin end))))
 
 ;; get the variable name part of a declaration, x::int => x
 (define (decl-var v)

From b4e0eb724ae278aa2314769db5bd21a079b40c8c Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Mon, 17 Feb 2025 11:13:18 -0800
Subject: [PATCH 5/7] Partial fix for printing

Two things to fix:

- We do correct-but-ugly printing of `end` when it's inside another
     expression (probably due to setting beginsym to false too often)
- `show` doesn't play nicely with ternary expressions, which seems like an
     unrelated issue.
---
 base/show.jl | 2 ++
 test/show.jl | 5 +++--
 2 files changed, 5 insertions(+), 2 deletions(-)

diff --git a/base/show.jl b/base/show.jl
index 879916d794f96..4dc3e8f09cc63 100644
--- a/base/show.jl
+++ b/base/show.jl
@@ -2542,6 +2542,8 @@ function show_unquoted(io::IO, ex::Expr, indent::Int, prec::Int, quote_level::In
         # we want to show bad ASTs reasonably to make errors understandable.
         lambda_io = IOContext(io, :SOURCE_SLOTNAMES => false)
         show_unquoted_expr_fallback(lambda_io, ex, indent, quote_level)
+    elseif get(io, beginsym, false) && head in (:begin, :end)
+        print(io, head)
     else
         unhandled = true
     end
diff --git a/test/show.jl b/test/show.jl
index 17f0e2bfbf5e3..3026dcdaa2079 100644
--- a/test/show.jl
+++ b/test/show.jl
@@ -2377,13 +2377,14 @@ end
 
 # begin/end indices
 @weak_test_repr "a[begin, end, (begin; end)]"
-@test_broken repr(Base.remove_linenums!(:(a[begin, end, (begin; end)]))) == ":(a[begin, end, (begin;\n          end)])"
+@test repr(Base.remove_linenums!(:(a[begin, end, (begin; end)]))) == ":(a[begin, end, (begin;\n          end)])"
 @weak_test_repr "a[begin, end, let x=1; (x+1;); end]"
-@test_broken repr(Base.remove_linenums!(:(a[begin, end, let x=1; (x+1;); end]))) ==
+@test repr(Base.remove_linenums!(:(a[begin, end, let x=1; (x+1;); end]))) ==
         ":(a[begin, end, let x = 1\n          begin\n              x + 1\n          end\n      end])"
 @test_repr "a[(bla;)]"
 @test_repr "a[(;;)]"
 @weak_test_repr "a[x -> f(x)]"
+@test_broken @weak_test_repr """:([1,2,3,4][:end === :end ? end : var"end"])"""
 
 @testset "Base.Iterators" begin
     @test sprint(show, enumerate("test")) == "enumerate(\"test\")"

From 3677eb50fa12bd815cbe42baa040172079d4e9c6 Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Mon, 17 Feb 2025 11:35:59 -0800
Subject: [PATCH 6/7] Syntax tests

---
 test/syntax.jl | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/test/syntax.jl b/test/syntax.jl
index 7a7ca63f797da..39ff6fb78b661 100644
--- a/test/syntax.jl
+++ b/test/syntax.jl
@@ -4198,6 +4198,16 @@ module Ambig57404
 end
 @test Ambig57404.S == 1
 
+# #57269
+@testset """var"begin"/var"end" in array index""" begin
+    @test (let var"end" = 1; (1:10)[var"end"]; end) === 1
+    @test (let var"end" = 1; (1:10)[end]; end) === 10
+    @test (let var"begin" = 2; (1:10)[2var"begin" + 1]; end) === 5
+    @test ((1:10)[end === 10 ? end : begin]) === 10
+    @test_throws ArgumentError (let var"begin" = nothing; (1:10)[var"begin"]; end)
+    @test (let a=[1]; a[end]::Int = 100; end) === 100
+end
+
 # Issue #56904 - lambda linearized twice
 @test (let; try 3; finally try 1; f(() -> x); catch x; end; end; x = 7; end) === 7
 @test (let; try 3; finally try 4; finally try 1; f(() -> x); catch x; end; end; end; x = 7; end) === 7

From abc56fde8972f57deb4f058fbcc7471864c5ed97 Mon Sep 17 00:00:00 2001
From: Em Chu <im.mlechu@gmail.com>
Date: Mon, 28 Apr 2025 10:22:34 -0700
Subject: [PATCH 7/7] Update checksums

---
 deps/JuliaSyntax.version                                        | 2 +-
 .../md5                                                         | 1 +
 .../sha512                                                      | 1 +
 .../md5                                                         | 1 -
 .../sha512                                                      | 1 -
 .../md5                                                         | 1 -
 .../sha512                                                      | 1 -
 7 files changed, 3 insertions(+), 5 deletions(-)
 create mode 100644 deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/md5
 create mode 100644 deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/sha512
 delete mode 100644 deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/md5
 delete mode 100644 deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/sha512
 delete mode 100644 deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5
 delete mode 100644 deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512

diff --git a/deps/JuliaSyntax.version b/deps/JuliaSyntax.version
index 2dafe327e8abd..bcec4a18d8283 100644
--- a/deps/JuliaSyntax.version
+++ b/deps/JuliaSyntax.version
@@ -1,4 +1,4 @@
 JULIASYNTAX_BRANCH = mlechu/fix-end-parsing
-JULIASYNTAX_SHA1 = d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45
+JULIASYNTAX_SHA1 = 17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90
 JULIASYNTAX_GIT_URL := https://github.com/JuliaLang/JuliaSyntax.jl.git
 JULIASYNTAX_TAR_URL = https://api.github.com/repos/JuliaLang/JuliaSyntax.jl/tarball/$1
diff --git a/deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/md5 b/deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/md5
new file mode 100644
index 0000000000000..0fb8cf22d1717
--- /dev/null
+++ b/deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/md5
@@ -0,0 +1 @@
+45dd003f87f340d4316fa97e920e1c91
diff --git a/deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/sha512 b/deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/sha512
new file mode 100644
index 0000000000000..876c82fabded4
--- /dev/null
+++ b/deps/checksums/JuliaSyntax-17be4e33b713d4e0f41f5ae3c5abcaef68bd9c90.tar.gz/sha512
@@ -0,0 +1 @@
+b80b06044dbacef4ca17140ba7fd3e7ca867dfeebae77e972e5287e3ff18d328884c9f6a5377a4e9c65642614a586c38dd91226a079aa60d74db0225f7ef9fa9
diff --git a/deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/md5 b/deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/md5
deleted file mode 100644
index ff40f520dfe85..0000000000000
--- a/deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/md5
+++ /dev/null
@@ -1 +0,0 @@
-2a0921e59edfab54554aa173f091c5b7
diff --git a/deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/sha512 b/deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/sha512
deleted file mode 100644
index 64e90d0edaba0..0000000000000
--- a/deps/checksums/JuliaSyntax-46723f071d5b2efcb21ca6757788028afb91cc13.tar.gz/sha512
+++ /dev/null
@@ -1 +0,0 @@
-17050e23216335f6599f009f71e9614a11b6686e455554b1efd287cd8526a7ebece06dc473e34cd50f61bf52085ff72bb4279144a9fdb3a234d3d589a10fddaf
diff --git a/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5 b/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5
deleted file mode 100644
index 82d78b6c4eb3f..0000000000000
--- a/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/md5
+++ /dev/null
@@ -1 +0,0 @@
-fe3e583f8676039e7c17cf921b973b0a
diff --git a/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512 b/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512
deleted file mode 100644
index 1eae5b6595f68..0000000000000
--- a/deps/checksums/JuliaSyntax-d0cdf2982738b0f1ee87e1680d46c0c6db7a7a45.tar.gz/sha512
+++ /dev/null
@@ -1 +0,0 @@
-f4ac285d2e61fdeb70f7830cf0789b9dc6a8a950d0e1acb8430b17c2d4d9e8c8baaedef84aa41236c203833e048e360fed36edc9367f05b502bb67c6ba4d5c15