inconsistent arguments count is not detected

[yegor256]

Imagine this EO program:

[] > foo
  bar 42 > x
  bar 1 2 3 > y

It's illegal, because two objects with the same @base have different number of arguments.

We should check this on the level of Programs, not a single XMIR file.

This should lead to a warning, not error.

[maxonfjvipon]

@yegor256 what about partial application?

[yegor256]

@maxonfjvipon it's possible, but very rarely. That's why it's a warning. When someone will use partial application, they will add +unlint to the program.