[Issue 8184] problem with tuple argument deduction

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=8184

Iain Buclaw  changed:

   What|Removed |Added

   Priority|P2  |P3

--

[Issue 8184] problem with tuple argument deduction

[d-bugmail--- via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=8184

hst...@quickfur.ath.cx changed:

   What|Removed |Added

 CC||hst...@quickfur.ath.cx

--- Comment #1 from hst...@quickfur.ath.cx ---
Tested on latest DMD (v2.084.0-395-gcb3a72613). Could not reproduce problem.

Please provide more details, what does it mean "does not work"? Compile error?
Runtime error? Wrong semantics?

Also, please provide a full compilable/runnable code, since from the given code
it's not clear which instantiation parameters causes it to fail.

--

[Issue 8184] problem with tuple argument deduction

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=8184

Andrei Alexandrescu and...@erdani.com changed:

   What|Removed |Added

Version|unspecified |D2

--

Issue 8184 - problem with tuple argument deduction

[Zhenya]

this work

class Bind(alias indeces)
{
static if(is(typeof(indeces) : int[]))
{
static auto opCall(D,V...)(D dg,V values)
{
static if(is(D d : R delegate(U), R, U...) 
  is(V == 
Combination!(indeces,ParameterTypeTuple!D)))

{
static if(indeces.length  1)
return
Bind!(update!(indeces,indeces[0])[1..$])(Curry!(indeces[0])(dg,values[0]),values[1..$]);
else
return Curry!(indeces[0])(dg,values[0]);
}
}
}
}

while this doesn't work

class Bind(alias indeces)
{
static if(is(typeof(indeces) : int[]))
{
static auto opCall(R,U...)(R delegate(U) 
dg,Combination!(U) values)

{
static if(indeces.length  1)
return
Bind!(update!(indeces,indeces[0])[1..$])(Curry!(indeces[0])(dg,values[0]),values[1..$]);
else
return Curry!(indeces[0])(dg,values[0]);
}
}
}