#861: exclude λ marker from not-empty-atom lint

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>

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>

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>

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>