On Mon, Feb 4, 2013 at 2:09 PM, Geoffrey Mainland <span dir="ltr">&lt;<a href="mailto:mainland@apeiron.net" target="_blank">mainland@apeiron.net</a>&gt;</span> wrote:<br><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div class="im">I&#39;d like to figure out how to properly support having the set of</div>
available primops depend on the dynamic flags before adding too much<br>
more. I&#39;ll be speaking to Simon PJ about it tomorrow.</blockquote><div><br></div><div>Could we use a fallback, like we did for e.g. popcount? I don&#39;t think have conditionally defined primops is a good idea. How would you use them in programs? You&#39;d have to do something like:</div>

<div><br></div><div>#ifdef ???</div><div>-- use primops</div><div>#else</div><div>-- use fallback</div><div>#endif</div><div><br></div><div>and everyone would write their own fallback. It would be better if GHC fell back to some generic implementation.</div>

<div><br></div><div>-- Johan</div><div> </div></div>