
29 May
2006
29 May
'06
5:53 p.m.
Adrián Etchevarne
Problem:
How can I get a tuple type from a tuples::cons<> list ?
example:
given the type:
cons
> >
obtain
tuple
Real problem:
I need to insert a type T at the beginning of a tuple, how I can do this?
example
given the type T and tuple
, obtain a tuple
That's a lot easier to solve, in some sense, than the "Problem:"
above. The cons list *is* a valid tuple. So to inserta new type at
the front, just write
const