object-does-not-match-filename lints prints incorrect filename

[maxonfjvipon]

If /program/@name is foo.x.main and /program/objects/o[1]/@name is main and /program/metas/meta[head='package']/tail is f, which is:

+package f

[] > main

Then I see in log: Object "main" does not match with filename "".

So the /program/@name is not printed correctly if it does not have the same prefix as +package alias

[h1alexbel]

@maxonfjvipon assign me, please

[h1alexbel]

@maxonfjvipon in this case, I think main (object name) should be equal to main (from program name). However, in the following example (with the same program name: foo.x.main):

+package f

[] > foo

we should report the warning, since foo does not match with main. Am I correct?

[maxonfjvipon]

@h1alexbel when the program name is foo.x.main it means that the object main must have parent x, which must have parent foo. That all means that object main must be in package foo.x. That all again means that there must be a file foo/x/main.xmir. But in my example we have object main in package f. So it fails correctly, but it does not print program name correctly

[h1alexbel]

@maxonfjvipon I think we should compare only the filename in this lint, so in foo.x.main, main is the filename. In the reported case we should not fail, since object name main equals to the filename main. WDYT?

[maxonfjvipon]

@h1alexbel this is the original ticket and yes, there's no any word about package.
Then we should decide if this lint should compare

1. full /program/@name with (package + object name) or just
2. last part of /program/@name (for example main from foo.x.main) with just object name

@yegor256 WDYT?

[yegor256]

@maxonfjvipon I believe, the @name in the /program must be equal to package + object name

[maxonfjvipon]

@h1alexbel see above, let's fix it

[h1alexbel]

@yegor256 should we make a new release?

[yegor256]

@rultor release, tag is 0.0.37

[rultor]

@rultor release, tag is 0.0.37

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

[rultor]

@rultor release, tag is 0.0.37

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

[h1alexbel]

@maxonfjvipon the problem should be fixed, try again with new version, please

[h1alexbel]

@maxonfjvipon still an issue?

[maxonfjvipon]

@h1alexbel no, thanks