From e89a8c82521e2139dda6fea060d4915c44cf4e74 Mon Sep 17 00:00:00 2001
From: devil <europedreadlydevil@gmail.com>
Date: Wed, 6 May 2026 18:14:59 +0300
Subject: [PATCH] =?UTF-8?q?#861:=20exclude=20=CE=BB=20marker=20from=20not-?=
 =?UTF-8?q?empty-atom=20lint?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 .../org/eolang/lints/atoms/not-empty-atom.xsl       |  4 ++--
 .../allows-atom-with-typed-lambda.yaml              | 13 +++++++++++++
 .../single/not-empty-atom/catches-empty-atom.yaml   |  3 ++-
 .../prints-context-when-lines-empty.yaml            |  3 ++-
 4 files changed, 19 insertions(+), 4 deletions(-)
 create mode 100644 src/test/resources/org/eolang/lints/packs/single/not-empty-atom/allows-atom-with-typed-lambda.yaml

diff --git a/src/main/resources/org/eolang/lints/atoms/not-empty-atom.xsl b/src/main/resources/org/eolang/lints/atoms/not-empty-atom.xsl
index 6afd44034..91c16abe0 100644
--- a/src/main/resources/org/eolang/lints/atoms/not-empty-atom.xsl
+++ b/src/main/resources/org/eolang/lints/atoms/not-empty-atom.xsl
@@ -11,7 +11,7 @@
   <xsl:output encoding="UTF-8" method="xml"/>
   <xsl:template match="/">
     <defects>
-      <xsl:for-each select="//o[eo:atom(.) and o[@base and @base!='∅' and not(@base='ξ' and @name='xi🌵')]]">
+      <xsl:for-each select="//o[eo:atom(.) and o[@base and @base!='∅' and not(@name='λ') and not(@base='ξ' and @name='xi🌵')]]">
         <xsl:element name="defect">
           <xsl:variable name="line" select="eo:lineno(@line)"/>
           <xsl:attribute name="line">
@@ -28,7 +28,7 @@
           <xsl:text>The atom </xsl:text>
           <xsl:value-of select="eo:escape(@name)"/>
           <xsl:text> may not have any attributes, which however exist: </xsl:text>
-          <xsl:for-each select="o[@base]">
+          <xsl:for-each select="o[@base and not(@name='λ')]">
             <xsl:if test="position() &gt; 1">
               <xsl:text>, </xsl:text>
             </xsl:if>
diff --git a/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/allows-atom-with-typed-lambda.yaml b/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/allows-atom-with-typed-lambda.yaml
new file mode 100644
index 000000000..11e639226
--- /dev/null
+++ b/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/allows-atom-with-typed-lambda.yaml
@@ -0,0 +1,13 @@
+# SPDX-FileCopyrightText: Copyright (c) 2016-2026 Objectionary.com
+# SPDX-License-Identifier: MIT
+---
+sheets:
+  - /org/eolang/lints/atoms/not-empty-atom.xsl
+asserts:
+  - /defects[count(defect)=0]
+document: |
+  <object author="tests">
+    <o name="times">
+      <o base="Φ.number" name="λ"/>
+    </o>
+  </object>
diff --git a/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/catches-empty-atom.yaml b/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/catches-empty-atom.yaml
index 7b1dca82c..5b73c4d6e 100644
--- a/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/catches-empty-atom.yaml
+++ b/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/catches-empty-atom.yaml
@@ -9,6 +9,7 @@ asserts:
 document: |
   <object author="tests">
     <o line="1" name="number">
-      <o base="Φ.f" name="λ"/>
+      <o base="∅" name="λ"/>
+      <o base="Φ.f" name="x"/>
     </o>
   </object>
diff --git a/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/prints-context-when-lines-empty.yaml b/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/prints-context-when-lines-empty.yaml
index eca7e8b11..920293224 100644
--- a/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/prints-context-when-lines-empty.yaml
+++ b/src/test/resources/org/eolang/lints/packs/single/not-empty-atom/prints-context-when-lines-empty.yaml
@@ -8,6 +8,7 @@ asserts:
 document: |
   <object author="tests">
     <o name="number">
-      <o base="Φ.foo" name="λ"/>
+      <o base="∅" name="λ"/>
+      <o base="Φ.foo" name="x"/>
     </o>
   </object>