Sorry, I was wrong - that is *not* a thing of GHC 7.0.2 vs  7.0.3. Now it occurs in both environments... <br><font color="#888888">Hartmut</font><br><br><div class="gmail_quote">On Mon, Jul 25, 2011 at 10:14 AM, Hartmut <span dir="ltr">&lt;<a href="mailto:hartmut0407@googlemail.com">hartmut0407@googlemail.com</a>&gt;</span> wrote:<br>
<blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">

When I use GHC 7.0.2 instead of GHC 7.0.3  the problem with &quot;double-conversion / stdc++&quot; on my Linux disappears.<br><font color="#888888"><br>Hartmut
</font></blockquote></div><br>