Yes, I have read it! However, my question is not about promotion (converting mixed types to a single common type), mine is more about figuring out when a method error exists due to not matching + operator with (::C,::A) ,(::A,::C) or (::C,::C) (I am not sure how Julia evaluates an expr (x+y) + (x+y) ) , but resulting 3 situations is going to give a methodError due to not matching parameter types. In this case, the compiler can fix it by implicitly converting type Cs to type A by going through some conversion.
This is my question. So far I had no satisfactory answer. Thanks On Sat, Feb 27, 2016 at 10:21 PM, Toivo Henningsson <[email protected]> wrote: > Have you read about type promotion in the manual, eg > > http://docs.julialang.org/en/release-0.4/manual/conversion-and-promotion/ > > Julia never does any automatic type promotion, you have to opt into it > yourself by calling into the promotion machinery.
