From b8d80c9ae7a0c477cb69d42b3eaa4550622f3ad3 Mon Sep 17 00:00:00 2001
From: Kris Brown <kris@topos.institute>
Date: Wed, 27 Sep 2023 15:44:37 -0700
Subject: [PATCH] hotfix: coerce to AlgTerm

---
 src/syntax/GATs.jl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/syntax/GATs.jl b/src/syntax/GATs.jl
index c935bc3a..3bc7d233 100644
--- 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