template this parameters for constructors

[Jacob Carlborg]

On 2013-02-20 16:56, Gor Gyolchanyan wrote:
> This adds boilerplate, that I can't afford. I need to transparently add
> dynamic dispatch to classes and I can't modify all of them. Besides, I
> have had experience with this previously and it causes a ton of
> problems, because there's no way of making sure the static type is
> passed and its' the right one.

The compiler will make sure the a type is passed. You could add some 
constraints on the template type but it wouldn't be 100% bulletproof.

class Base (T : Base) { }
class Sub : Base!(Sub) { }

-- 
/Jacob Carlborg