hotfix: coerce to AlgTerm

AlgebraicJulia · Sep 27, 2023 · b8d80c9 · b8d80c9
1 parent a996cd6
commit b8d80c9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/syntax/GATs.jl b/src/syntax/GATs.jl
@@ -177,7 +177,7 @@ function fromexpr!(c::Context, e, bound::TypeScope, ::Type{AlgType}; kw...)::Alg
     s::Symbol => AlgType(fromexpr(c, s, Ident))
     Expr(:call, head, args...) =>
       AlgType(fromexpr(c, head, Ident), 
-              fromexpr!.(Ref(c), args, Ref(bound), Ref(AlgTerm); kw...))
+              Vector{AlgTerm}(fromexpr!.(Ref(c), args, Ref(bound), Ref(AlgTerm); kw...)))
     _ => error("could not parse AlgType from $e")
   end
 end