From: Gabriel Dos Reis (gdr_at_[hidden])
Date: 2003-11-23 00:50:29
Brian McNamara <lorgon_at_[hidden]> writes:
| The other thing we would "need" is specialization relative to concept
| constraints. That is, in addition to
|
| // forall T, T* models Clonable
| template <class T>
| struct Clonable<T*> { ... };
|
| we need to be able to say
|
| // forall Clonable T, list<T> models Clonable
| template <class T : Clonable>
| struct Clonable<list<T> > { ... };
See the "design" paper and Stroustrup's companion "a more abstract
complement to type checking" in the post-Kona list (now available form
the committee website).
-- Gaby