Unused aliases false positive

[OlesiaSub]

This code

+alias org.eolang.io.stdout
+alias org.eolang.txt.sprintf
+alias org.eolang.txt.sprintf

[] > main
  stdout > @
    sprintf
      "I am %d years old"
      21

should not be executed because of duplicated aliases.

However, compiler will fail with the following mistakes:

It says that both sprintf aliases are not used, even though one of them is.

[yegor256]

@mximp definitely a bug, please help

[mximp]

@EugeneDar would you try to fix it?

[EugeneDar]

@mximp sure, I'll try to do it

[EugeneDar]

@yegor256 @mximp what type of error should we get in this case? Probably only the alias "..." is dublicated?

[mximp]

@EugeneDar That's right. In this case there should be single alias duplicated error.

[EugeneDar]

@yegor256 @mximp @Graur The problem is that when converting from EO to XMIR, we get duplication, as you can see on the fifth line below.

   <objects>
      <o abstract="" line="5" name="main" pos="0">
         <o line="5" name="x" pos="1"/>
         <o base="org.eolang.io.stdout" line="6" name="@" pos="2">
            <o base="org.eolang.txt.sprintf org.eolang.txt.sprintf"
               line="7"
               pos="4">
               <o base="string" data="string" line="8" pos="6">Hello</o>
            </o>
         </o>
      </o>
   </objects>

In that case, is this XMIR correct?

[EugeneDar]

The XMIR above is derived from this code

  +alias org.eolang.io.stdout
  +alias org.eolang.txt.sprintf
  +alias org.eolang.txt.sprintf

  [x] > main
    stdout > @
      sprintf
        "Hello"

[yegor256]

@EugeneDar this is definitely a broken XMIR

[mximp]

@EugeneDar What is your question?

[EugeneDar]

@mximp I wanted to know if this XMIR is correct in order to know if the translator to XMIR needs to be fixed or if the error search needs to be fixed.

[EugeneDar]

@OlesiaSub this problem fixed there https://github.com/objectionary/eo/pull/1041

[OlesiaSub]

@EugeneDar thanks!