From 36464e9454f45894a4cac4f9add742b03b457a0f Mon Sep 17 00:00:00 2001
From: Kris Brown <kris@topos.institute>
Date: Fri, 22 Sep 2023 16:18:42 -0700
Subject: [PATCH] more coverage

---
 src/syntax/GATs.jl    | 1 -
 test/syntax/Scopes.jl | 2 ++
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/syntax/GATs.jl b/src/syntax/GATs.jl
index 708bec81..68d7f9a8 100644
--- a/src/syntax/GATs.jl
+++ b/src/syntax/GATs.jl
@@ -164,7 +164,6 @@ function fromexpr!(c::Context, e, bound::TypeScope, ::Type{AlgTerm}; constants=t
     end
     e::Expr => error("could not parse AlgTerm from $e")
     constant::Constant => AlgTerm(constant)
-    i::Ident => AlgTerm(i)
   end
 end
 
diff --git a/test/syntax/Scopes.jl b/test/syntax/Scopes.jl
index 5d513c33..535e7857 100644
--- a/test/syntax/Scopes.jl
+++ b/test/syntax/Scopes.jl
@@ -190,6 +190,8 @@ xz_scope = Scope([bind_x, bind_z])
 @test valtype(xz_scope) == String
 
 c = ScopeList([xy_scope, xz_scope])
+@test sprint(show, c)[1:2 == "[{"
+
 @test_throws ErrorException Scopes.flatten(c)
 
 @test getscope(c, 1) == xy_scope