Fix matchable macro

Note that TermInterface v0.2 dispatch on types instead of instances.
JuliaSymbolics · Jun 13, 2022 · 305a9d2 · 305a9d2 · YingboMa · Jun 13, 2022
1 parent 1623a11
commit 305a9d2
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git a/Project.toml b/Project.toml
@@ -1,7 +1,7 @@
 name = "Metatheory"
 uuid = "e9d8d322-4543-424a-9be4-0cc815abe26c"
 authors = ["Alessandro Cheli - 0x0f0f0f <sudo-woodo3@protonmail.com>"]
-version = "1.3.3"
+version = "1.3.4"
 
 [deps]
 AutoHashEquals = "15f4f7f2-30c1-5605-9d31-71845cf9641f"

diff --git a/src/utils.jl b/src/utils.jl
@@ -151,6 +151,7 @@ macro matchable(expr)
  quote
  $expr
  TermInterface.istree(::$name) = true
+ TermInterface.istree(::Type{<:$name}) = true
  TermInterface.operation(::$name) = $name
  TermInterface.arguments(x::$name) = getfield.((x,), ($(QuoteNode.(fields)...),))
  TermInterface.arity(x::$name) = $(length(fields))