Implementing Haskell's Type-Level Quicksort in D

[Stanislav Blinov]

On Monday, 10 February 2014 at 17:12:11 UTC, Meta wrote:

> I tried defining a static opCall in the Zero struct that 
> doesn't take any arguments, but that didn't make a difference. 
> I'm guessing this is a bug with Typedef, but does anyone have 
> an idea of where that bug might be?

I would say it's not Typedef's fault, but std.typecons.Proxy's 
one. It has issues forwarding through opCall and opDispatch:

https://d.puremagic.com/issues/show_bug.cgi?id=11947

I'm currently working on a fix:

https://github.com/D-Programming-Language/phobos/pull/1914

Looks like a case for static opCall should also be covered.