From 1c4b01d96ac276185e3c3c3ab99399547af6673b Mon Sep 17 00:00:00 2001 From: Tim Besard Date: Wed, 13 May 2026 09:13:19 +0200 Subject: [PATCH] Minor tweaks. --- src/primitives.jl | 2 +- src/syntax.jl | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/src/primitives.jl b/src/primitives.jl index 3c1dab0..c63bcf2 100644 --- a/src/primitives.jl +++ b/src/primitives.jl @@ -166,7 +166,7 @@ Base.unsafe_convert(::Type{P}, x::id) where {P<:id} = convert(P, x) # can then constrain on `Object{<:FooKind}` to match Foo and every wrapped # subclass via native Julia subtyping — no parallel trait dispatch needed. abstract type ObjectKind end -abstract type Object{K} end +abstract type Object{K<:ObjectKind} end # Extract a wrapper's Kind from its `Object{K}` parameter. The fallbacks cover # the unparameterized `Object` umbrella (returns the root Kind, so subclass diff --git a/src/syntax.jl b/src/syntax.jl index 6dca1a3..583bfe0 100644 --- a/src/syntax.jl +++ b/src/syntax.jl @@ -9,7 +9,6 @@ export @objc, @objcwrapper, @objcproperties, @objcblock # `objc_parent` walks the wrapper hierarchy for `@objcproperties`'s property # chain (which inherits ancestors' getters/setters). -objc_parent(::Type{Object}) = nothing objc_parent(::Type{<:Object}) = nothing