From: Ian McCulloch (ianmcc_at_[hidden])
Date: 2005-07-08 20:47:18
Michael Stevens wrote:
> Interesting solution using a 3rd party for traits. If I understand it
> correctly it only works for a known and limited set of expressions for
> which you can predefine the traits.
No, I don't think so: the logic for computing types needs to move into the
traits class too. Do you have an example in mind where this could not be
done?
Cheers,
Ian