I have a weird bug in the promotion system where promote_type(a,b) is not 
equal to promote_type(b,a).  It looks like the function call on line 101 of 
promotion.jl for one ordering is being called even though a≠b.   a and b 
are different template variable choices of the same type.  @code_typed 
returns two answers (which I've never seen before), corresponding to line 
101 and line 110 of promotion.jl.

I wish I could provide simplified code but it may be too complicated to 
narrow down.  I'm wondering if anyone has encountered this before?

Tested on Julia v0.3.7 and Julia v0.3.4.


Reply via email to