<div dir="ltr">Paul,<br><br>I'm sorry, I ignored the "PrettyPrint" part and latched onto the "faster" part. You definitely don't want concat. I was looking at run-time. :)<br><br>/jve<br><br><div class="gmail_quote">
On Fri, Aug 15, 2008 at 9:35 AM, Paul Keir <span dir="ltr"><<a href="mailto:pkeir@dcs.gla.ac.uk">pkeir@dcs.gla.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
<div>
<p><font size="2">Thanks,<br>
<br>
So you're recommending:<br>
<br>
text (concat [a,b,c,d,e])<br>
<br>
Might this not transform my pretty printing into ugly printing; when longer strings are used?<br><font color="#888888">
<br>
Paul</font><div><div></div><div class="Wj3C7c"><br>
<br>
<br>
-----Original Message-----<br>
From: <a href="mailto:sw17ch@gmail.com" target="_blank">sw17ch@gmail.com</a> on behalf of John Van Enk<br>
Sent: Fri 15/08/2008 14:31<br>
To: Paul Keir<br>
Cc: <a href="mailto:haskell-cafe@haskell.org" target="_blank">haskell-cafe@haskell.org</a><br>
Subject: Re: [Haskell-cafe] Pretty Print, text or ++?<br>
<br>
Paul,<br>
<br>
Something tells me you might want to look at `concat':<br>
<br>
concat :: [[a]] -> [a]<br>
<br>
/jve<br>
<br>
<br>
2008/8/15 Paul Keir <<a href="mailto:pkeir@dcs.gla.ac.uk" target="_blank">pkeir@dcs.gla.ac.uk</a>><br>
<br>
> Hi there,<br>
><br>
> I'm writing a pretty printer using the Text.PrettyPrint library, and<br>
> there's a pattern I'm coming across quite often. Does anyone know whether,<br>
><br>
> text (a ++ b ++ c ++ d)<br>
> or<br>
> text a <+> text b <+> text c <+> text d<br>
><br>
> runs quicker?<br>
><br>
> Cheers,<br>
> Paul<br>
><br>
> _______________________________________________<br>
> Haskell-Cafe mailing list<br>
> <a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
> <a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
><br>
><br>
<br>
<br>
--<br>
/jve<br>
<br>
</div></div></font>
</p>
</div>
</blockquote></div><br><br clear="all"><br>-- <br>/jve<br>
</div>