On Mon, Oct 8, 2012 at 12:16 PM, Lorenzo Caminiti <lorcaminiti@gmail.com>wrote:
Unfortunately, I don't think I can do this in a lib :( Can I? Does Boost.Generic provide such errors?
It's theoretically possible, to an extent, when I get automatically generate archetypes from the pseudo-signatures working and if people were to use a Boost.Generic macro when writing their constrained algorithms. I was working toward generating archetypes last year, but it's now on hold until I finish fixing explicit concept maps, which is taking a little bit longer than expected. I wasn't expecting to use archetypes to the full extent that they were used in N2914 though because it's complicated to do in a library. What will probably end up happening first in that area is archetypes will be automatically generated from concept definitions, but people will have to manually work with them. With algorithms that have simple constraints specified as template< ((Regular)) T > void foo( T ); it's definitely feasible, but with complicated clauses, it would be difficult. -- -Matt Calabrese