Name Resolution of "self"

Syside Bug Reports
1

With the latest version of Syside (April 29, 2026) references to “self” resolve to Base::Anything::self rather than its local redefinition. This causes error markers for (every?) occurrence of “self”.

This is typical:

    interaction TransferBefore specializes Transfer, HappensBefore intersects Transfer, HappensBefore {

        doc

/*

         * TransferBefore is a specialization of Transfer in which the source happens before

         * the transfer, which happens before the target.

         */

end feature source: Occurrence redefines Transfer::source, HappensBefore::earlierOccurrence;

end feature target: Occurrence redefines Transfer::target, HappensBefore::laterOccurrence;

feature self: TransferBefore redefines Performance::self;

private succession source then self;

private succession self then target;

    }

The last two lines get error message: Could not find implicit supertype Succession.binary (‘Occurrences’::‘happensBeforeLinks’) - invalid standard library.(implicit-supertype)

2

Name resolution has not changed in a while. The exact same snippet works fine in the bundled standard library.

This means that semantic resolution did not find Occurrences::happensBeforeLinks feature required by the specification semantic constraints for binary successions. Either the feature does not exist under that name, or there may be multiple Occurrences symbols in any of the root namespaces which would show warnings on such symbols.

Note: happensBeforeLinks is here

3

Daumantas,

Could we have an online meeting to look at the symptoms?

Every use of “self” has an error, often of the form: Occurrences::Occurrence::(anonymous Invariant) does not conform to Occurrences::Occurrencesysidetype-error

In all cases Go to Definition arrives at Anything::self–not the local redefinition of self–for which “does not conform” makes sense.
These errors did not occur last week.
I chose TransferBefore as example because it’s short, and I’ve not been messing with it for Supplemental Formal Semantics.

–Brian

4

Can you provide the sources that trigger these diagnostics? Would be easier for me to poke around for potential causes.