On Friday, May 30, 2014 2:01:59 PM UTC-4, Tim Holy wrote: > > On Friday, May 30, 2014 10:49:13 AM Steven G. Johnson wrote: > > To be more paranoid can also do the fast thing only for T <: Number and > > isleaftype(T) > > It seems like it would be nice if one could dispatch on the result of > isleaftype.
That would be cool, though I'm not sure what the syntax would be. But in principle it should not be necessary for performance: since isleaftype(T) is knowable at compile time, the compiler should be able to optimize away the conditional. It looks like this isn't happening right now, though.
