the @abstract attribute seems to be redundant

[yegor256]

We have a function eo:abstract and the @abstract attribute. It seems that the attribute is redundant: we can get rid of it and only live with the function.

[yegor256]

@maxonfjvipon WDYT?

[maxonfjvipon]

@yegor256 the function checks the presence of @abstract attribute.

<xsl:function name="eo:abstract" as="xs:boolean">
  <xsl:param name="o" as="element()"/>
  <xsl:sequence select="not(exists($o/@base)) and (exists($o/o) or $o/@atom or $o/@abstract)"/>
</xsl:function>

I'm not sure we can remove the attribute because there's no unique combination of other mandatory attributes like @base or @name which may replace @abstract

[maxonfjvipon]

@yegor256 or no. Actually if object does not have @base - it's already abstract. It seems that it's enough. WDYT?

[yegor256]

@maxonfjvipon yes, seems to be correct: no @base means "being abstract" or "being an atom". Maybe we can just simplify this to:

<xsl:sequence select="not(exists($o/@base)) and (exists($o/o) or $o/@atom)"/>

[maxonfjvipon]

@yegor256 even exists($o/o) is not necessary because the object can be empty

[yegor256]

@maxonfjvipon let's get rid of it!

[maxonfjvipon]

@yegor256 the problem appeared: void attributes also don't have @base and have only @name attribute.

[x] > a
  [] > y

Here at the level of XMIR there's no difference between x and y, they both looks the same:

<o line="6" name="x" pos="1"/>
<o line="8" name="y" pos="2"/>

[yegor256]

@maxonfjvipon both of them are formations, aren't they? In our current XMIR semantic, the @abstract attribute means "this is formation", isn't it?

[maxonfjvipon]

@yegor256 yes, @abstract means formation, but void attribute is not formation

[yegor256]

@maxonfjvipon maybe let's do it this way (more compliant with the calculus):

<o line="6" name="x" pos="1" base="∅"/>
<o line="8" name="y" pos="2"/>

[maxonfjvipon]

@yegor256 this may work

[0pdd]

@yegor256 2 puzzles #3600, #3601 are still not solved.

[yegor256]

@rultor release, tag is 0.46.0

[rultor]

@rultor release, tag is 0.46.0

@yegor256 OK, I will release it now. Please check the progress here.

[rultor]

@rultor release, tag is 0.46.0

@yegor256 Done! FYI, the full log is here (took me 13min).