Support structs without fields?

[ericphanson]

E.g.

julia> @compactify begin
           @abstract struct AT end
           struct A <: AT end
           struct B <: AT end
           end
ERROR: LoadError: AssertionError: no getproperty matches?
Stacktrace:
 [1] _compactify(mod::Module, block::Expr; debug::Bool, show_methods::Bool)
   @ Unityper ~/.julia/packages/Unityper/vtKYP/src/compactify.jl:346
 [2] var"@compactify"(__source__::LineNumberNode, __module__::Module, exs::Vararg{Any})
   @ Unityper ~/.julia/packages/Unityper/vtKYP/src/compactify.jl:46
in expression starting at REPL[3]:1

If I remove the @assert expr !== ifold "no getproperty matches?" this seems to work but I'm not sure if there's some other issue.

[chriselrod]

What's the advantage over

@enum AT A B

?

[ericphanson]

I think I wanted to do MasonProtter/SumTypes.jl#15 (comment) in UniTyper but couldn’t represent the empty object

[chriselrod]

A single empty should work?

julia> @compactify begin
                  @abstract struct AT end
                  struct A <: AT end
                  struct B <: AT; x::Int=0; end
                  end

I'd guess removing the @assert like you did shouldn't cause any problems.