Scope graphs support disambiguation by path ordering. When it comes to disambiguate the resolution of method names in the presence of method overloading, a combination of actual argument types, formal argument types, and resolution path need to be taken into account. A Stratego hook to filter a set of ambiguous resolutions could provide a first generic mechanism. Even with more sophisticated disambiguation constructs in NaBL2, such a hook might be useful to keep for modelling complicated disambiguation rules of existing programming languages such as PL/SQL.

Submitted by Guido Wachsmuth on 6 March 2017 at 16:50