<div dir="ltr">The user can generate the string however they want. The proposed traceM does not duplicate any printf functionality, and neither requires nor prevents the use of printf.<div><br></div><div>It is more about allowing the user to add trace actions in an arbitrary monad, rather than just the IO monad. If people want to trace in IO, and we think it is worth a function to do that, might they not want to trace in any monad, and it be worth adding a function for that?<div>
<br></div><div style>Chris</div></div></div><div class="gmail_extra"><br><br><div class="gmail_quote">On 21 January 2013 16:53, Henning Thielemann <span dir="ltr">&lt;<a href="mailto:lemming@henning-thielemann.de" target="_blank">lemming@henning-thielemann.de</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div class="im"><br>
On Mon, 21 Jan 2013, Chris Seaton wrote:<br>
<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Would traceM be a wanted addition to Debug.Trace?<br>
</blockquote>
<br></div>
You can use printf for generating Strings and show them using plain &#39;trace&#39;.<br>
</blockquote></div><br></div>