On Dec 24, 2010, at 6:56 AM, beo wulf wrote: > where C = a Pair-Generic: , A & B 's types are both known then does factor do > the dispatch at run time or at compile time?
When the compiler can deduce the type of a generic input, it will choose the method to invoke at compile time. > Bonus points: if statically, can you point me to which line of the factor > compiler this happens at? I believe that this is handled during propagation. See compiler.tree.propagation. -Joe ------------------------------------------------------------------------------ Learn how Oracle Real Application Clusters (RAC) One Node allows customers to consolidate database storage, standardize their database environment, and, should the need arise, upgrade to a full multi-node Oracle RAC database without downtime or disruption http://p.sf.net/sfu/oracle-sfdevnl _______________________________________________ Factor-talk mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/factor-talk
