accept var".." as valid identifier (#601)

Co-authored-by: Shuhei Kadowaki <[email protected]>
JuliaDebug · Sep 26, 2024 · 9a6d1f1 · 9a6d1f1
1 parent 2b71d47
commit 9a6d1f1
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 0 deletions.
diff --git a/TypedSyntax/src/node.jl b/TypedSyntax/src/node.jl
@@ -142,6 +142,9 @@ function map_signature!(sig::TypedSyntaxNode, slotnames::Vector{Symbol}, slottyp
         if kind(arg) == K"curly"
             arg = first(children(arg))
         end
+        if kind(arg) == K"var"
+            arg = child(arg, 1)
+        end
         kind(arg) == K"tuple" && return nothing, defaultval     # FIXME? see extrema2 test
         @assert kind(arg) == K"Identifier" || is_operator(arg)
         return arg, defaultval

diff --git a/TypedSyntax/test/runtests.jl b/TypedSyntax/test/runtests.jl
@@ -687,6 +687,12 @@ include("test_module.jl")
     @test_nowarn str = sprint(tsn; context=:color=>false) do io, obj
         printstyled(io, obj; hide_type_stable=false)
     end
+
+    # issue 597
+    tsn = TypedSyntaxNode(TSN.f597, (Int,))
+    @test_nowarn str = sprint(tsn; context=:color=>false) do io, obj
+        printstyled(io, obj; hide_type_stable=false)
+    end
 end
 
 if parse(Bool, get(ENV, "CI", "false"))

diff --git a/TypedSyntax/test/test_module.jl b/TypedSyntax/test/test_module.jl
@@ -247,6 +247,8 @@ function obfuscated(x)
     return f(x)
 end
 
+f597(var"#"::Int) = 1
+
 module Internal
 export helper
 helper(x) = x+1