https://d.puremagic.com/issues/show_bug.cgi?id=12484
[email protected] changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution| |INVALID --- Comment #1 from [email protected] 2014-03-27 15:32:25 PDT --- And I just realized that the error is mine. The extra n parameter must go at the end or template inference can't figure it out, of course. This works: struct Cmp(x: Zero, y: Succ!n, c: Less, n) {} struct Cmp(x: Succ!n, y: Zero, c: Greater, n) {} void main() { assert(is(Cmp!(Zero, Zero, Equal))); //Ok assert(is(Cmp!(Zero, One, Less))); //Ok assert(is(Cmp!(One, Zero, Greater))); //Ok } -- Configure issuemail: https://d.puremagic.com/issues/userprefs.cgi?tab=email ------- You are receiving this mail because: -------
