more coverage

AlgebraicJulia · Sep 22, 2023 · 36464e9 · 36464e9
1 parent 28fac3a
commit 36464e9
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
diff --git 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
@@ -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
-Original file line number
+Diff line change
@@ Expand Up @@
         end
         e::Expr => error("could not parse AlgTerm from $e")
         constant::Constant => AlgTerm(constant)
-        i::Ident => AlgTerm(i)
       end
     end
@@ Expand Down @@