8 Sep
2015
8 Sep
'15
4:20 p.m.
Warning: Wong return type. Warning: Expected: { mpz = object(implements _static_modules.Gmp()->mpz) }. Warning: Got : object(is _static_modules.Gmp()->mpz) | mixed.
Why is there a "| mixed" in this type?
You probably need to add a tIfNot (or modifying the existing) for the generic case so that it doesn't match.
I don't think I understand how this works. I thought tIfNot(A,B) meant that if A doesn't match, attempt to match B. That would mean that the return value of A is irrelevent, and tMix could never be the result, as B always results in tFlt.