We forgot to say that the motivation of this is that if we throw an error or take an assumption on how to resolve the conflict, plus some other changes we already done, we should be able to NOT use the Compiler at all when installing traits. The only place where we would still need the Compiler is when using Alias, but so far we have only ONE user in the image and it is TPureBehavior. Meaning that with this changes, in the 99.99% of the cases (it only uses Compiler when importing Traits with aliases) we can have kernels and boostraped images that can grow (even with traits) without the compiler.<div>
Anyway, besides this &quot;benefit&quot;, we didn&#39;t like that it silently fails and creates a method saying &quot;self traitConflict&quot;.</div><div>Maybe we are not saying something....</div><div><br></div><div>Cheers,<br>
<br><div class="gmail_quote">On Mon, Aug 20, 2012 at 4:48 PM, Mariano Martinez Peck <span dir="ltr">&lt;<a href="mailto:marianopeck@gmail.com" target="_blank">marianopeck@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<br><br><div class="gmail_quote"><div><div class="h5">On Mon, Aug 20, 2012 at 4:46 PM, Guillermo Polito <span dir="ltr">&lt;<a href="mailto:guillermopolito@gmail.com" target="_blank">guillermopolito@gmail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div><div>Trait named: #TA</div><div><span style="white-space:pre-wrap">	</span>uses: {}</div><div><span style="white-space:pre-wrap">	</span>category: &#39;ABC&#39;</div></div><div><br>
</div><div>Trait named: #TB</div><div><span style="white-space:pre-wrap">	</span>uses: {}</div><div><span style="white-space:pre-wrap">	</span>category: &#39;ABC&#39;</div><div><br></div>
<div><div><br>TA&gt;&gt;a</div><div>� � ^10</div></div><div><br></div><div>TB&gt;&gt;a</div><div>� � ^10</div><div><br></div><div><div>Object subclass: #A</div><div><span style="white-space:pre-wrap">	</span>uses: TA + TB</div>


<div><span style="white-space:pre-wrap">	</span>instanceVariableNames: &#39;&#39;</div><div><span style="white-space:pre-wrap">	</span>classVariableNames: &#39;&#39;</div><div><span style="white-space:pre-wrap">	</span>poolDictionaries: &#39;&#39;</div>


<div><span style="white-space:pre-wrap">	</span>category: &#39;ABC&#39;</div></div><div><br></div><div>==&gt;</div><div><br></div><div>A&gt;&gt;a</div><div>� � ^self traitConflict</div><div><br></div><div>
<br></div><div>?</div><div><br></div><div>Why not an exception from a conflictive composition? This is to Mariano me a silent failure :/</div><div><br></div></blockquote><div><br></div></div></div><div>Or assume a resolution (like when selectors of classes have precedence over trait methods)</div>

<div><br></div><div>�</div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div></div><div>Guille</div><span class="HOEnZb"><font color="#888888">
</font></span></blockquote></div><span class="HOEnZb"><font color="#888888"><br><br clear="all"><div><br></div>-- <br>Mariano<br><a href="http://marianopeck.wordpress.com" target="_blank">http://marianopeck.wordpress.com</a><br>
<br>
</font></span></blockquote></div><br><br clear="all"><div><br></div>-- <br>Mariano<br><a href="http://marianopeck.wordpress.com" target="_blank">http://marianopeck.wordpress.com</a><br><br>
</div>