Julia: parametric type definitions (`struct Box{T}`, `abstract type Shape{T}`) are dropped

[rajatnagda45]

Version / commit

v0.9.77 (v8 @ 5c7b847)

Environment

macOS, Python 3.13, clean checkout of v8.

What happens

A parametric type declaration is dropped from the graph entirely — no node, and for the subtyping form no inherits edge either. The non-parametric forms (struct Box, abstract type Shape, Dog <: Animal) all work; only the {...} parameter list breaks it. Parametric types are the backbone of generic Julia.

Minimal reproduction

# params.jl
struct Box{T}
    value::T
end
abstract type Shape{T} end
struct Sq{T} <: Shape{T}
end

from graphify.extract import extract_julia
r = extract_julia("params.jl")
print([n["label"] for n in r["nodes"]])
# -> ['params.jl']   # Box, Shape, Sq all missing

Expected vs actual

• Expected: Box, Shape, and Sq nodes, with Sq --inherits--> Shape.
• Actual: none of the three types appear.

Root cause

The type-head reader only recognises a plain identifier. A parametric head is a parametrized_type_expression (its leading identifier is the real name), which matched neither the bare nor the binary_expression (subtyping) branch, so the name came back None and the type was skipped.

A clean checkout of v8 reproduces it. Fix PR to follow.

[github-actions]

Thanks for opening this issue, @rajatnagda45. A maintainer will take a look soon.

If you would like to discuss it in real time, come say hi on our Discord server. For longer-form questions and ideas there is also GitHub Discussions.

To help us triage, please make sure the report includes what you expected, what actually happened, and the steps (and a small sample) to reproduce it.