On 11/25/14 08:18 AM, Herbert Valerio Riedel wrote:
Would it be possible to update your `sudo apt-get update`& `sudo apt-get dist-upgrade` your Linux environment with the latest bugfixes to Ubuntu 12.04.5? That way we can be sure it's not a subtle bug already fixed upstream...
I'm not sure, but IMHO this will lead to upgrade to 14.04.1. What you should use is probably
`sudo apt-get update` & `sudo apt-get upgrade` Karel _______________________________________________ ghc-devs mailing list ghc-devs@haskell.org http://www.haskell.org/mailman/listinfo/ghc-devs