On 04/08/12 13:01, Dmitry Olshansky wrote:
> 3. After any function was generated compiler checks an entry in the duplicate 
> table that matches size, followed by matching checksum and only then (if 
> required) doing a straight memcmp. If it happens that there is a match 
> compiler just throws generated code away and _aliases_ it's symbol to that of 
> a matched entry.
> (so there has to be an alias table if there isn't one already)
[...]
> Thoughts?

Don't forget that this needs to work:   

   static auto f(T)(T a) { return a; }
   assert(cast(void*)&f!int!=cast(void*)&f!uint);

artur

Reply via email to