DavePearce/Whiley — Issue #59: Disambiguating Functions/Methods from imports based on Type
Author: DavePearce
Created: 2011-11-30 02:01:14+00:00
State: open

Currently, when you do an import such as:

import * from whiley.lang.*

You cannot then call e.g. toString() directly. This is because there are several toString methods (e.g. Any.toString() versus Char.toString()), and an ambiguity has arisen. It should be possible to resolve this, however. This can be done from within NameResolution by recording the different options, and then searching them in Type Resolution. However, this probably requires a new implementation of TypeResolution which doesn't operate on the Wyil.