On 2/11/2014 5:30 AM, Dicebot wrote:
For example, you have
been arguing in PR to keep `lwr` and `upr` identifiers while quick grep shows
that there is not a single place in Phobos which uses such naming scheme in
public API.
grep -i -r lwr *.d
std\traits.d: alias G Lwr;
std\traits.d: enum ok = functionLinkage!Upr == functionLinkage!Lwr;
std\traits.d: enum ok = variadicFunctionStyle!Upr ==
variadicFunctionStyle!Lwr;
std\traits.d: // Note the order of arguments. The convertion order
Lwr -> Upr is
std\traits.d: // correct since Upr should be semantically 'narrower'
than Lwr.
std\traits.d: enum ok = isStorageClassImplicitlyConvertible!(Lwr,
Upr);
std\traits.d: enum lwrAtts = functionAttributes!Lwr;
std\traits.d: ( (uprAtts & wantExact) == (lwrAtts & wantExact))
&&
std\traits.d: ( (uprAtts & FA.pure_ ) >= (lwrAtts & FA.pure_
)) &&
std\traits.d: ( (uprAtts & FA.nothrow_) >= (lwrAtts &
FA.nothrow_)) &&
std\traits.d: (!!(uprAtts & safety ) >= !!(lwrAtts & safety
)) ;
std\traits.d: enum ok = is(ReturnType!Upr : ReturnType!Lwr);
std\traits.d: alias ParameterTypeTuple!Lwr LwrParams;
std\traits.d: alias ParameterStorageClassTuple!Lwr LwrPSTCs;
std\traits.d: enum lwrStc = LwrPSTCs[i];
std\traits.d: ((uprStc & wantExact ) == (lwrStc &
wantExact )) &&
std\traits.d: ((uprStc & STC.scope_) >= (lwrStc &
STC.scope_)) &&
std\traits.d: static if (UprParams.length == LwrParams.length)
std\traits.d: enum ok = is(UprParams == LwrParams) &&
checkNext!(0).ok;
std\typetuple.d: * type tuple. TL[$(I lwr) .. $(I upr)] returns a new type
