Type analysis is still very sketchy. To enhance
overload resolution a number of issues must be
addressed:
* The OverloadResolver class needs to be refined,
i.e. the 'conversion_penalty' method needs to
be implemented (right now only exact matches
are detected).
* TypeEvaluator needs to be enhanced to better
promote types in expressions. |