On Wednesday, 2 October 2013 at 13:31:04 UTC, Joseph Rushton
Wakeling wrote:
On 29/09/13 11:37, monarch_dodra wrote:
On Sunday, 29 September 2013 at 09:00:56 UTC, simendsjo wrote:
What is the status of adding these annotations to phobos?
It's difficult to
use these until phobos gets them. E.g. to! and format is not
pure.
Most of phobos is templated, meaning it relies on inference.
In various recent template-related explorations I have often
wished it was possible to infer function attributes from
template arguments .... :-(
See e.g. Proxy, which loses all the corresponding attributes of
the underlying type's methods.
std.typecons.Proxy is designed to work transparently for the
underlying method qualifiers. But I also agree that the
implementation is still insufficient.
Could you show us the "not working" case? It would be much help.
Kenji Hara
