GHC 7.4.2 on Ubuntu Trusty

2014-10-22 Thread Yitzchak Gale
In order support some older software that we released, we need to get a working GHC 7.4.2 on Ubuntu Trusty. We currently have GHC 7.8.3. The binary tarball for GHC 7.4.2 does not install on Trusty due to multiple incompatibilities. For example, GHC requires GMP 3, but Trusty only provides GMP =

Re: GHC 7.4.2 on Ubuntu Trusty

2014-10-22 Thread Ryan Trinkle
Here's an off-the-wall solution idea: you could try the Nix package manager. It essentially sandboxes everything all the time, so you shouldn't have any trouble with dependencies like this, and ghc 7.4.2 is explicitly supported. Of course, if your requirements include tight apt integration, this

Re: GHC 7.4.2 on Ubuntu Trusty

2014-10-22 Thread Yuras Shumovich
On Wed, 2014-10-22 at 13:48 +0300, Yitzchak Gale wrote: In order support some older software that we released, we need to get a working GHC 7.4.2 on Ubuntu Trusty. We currently have GHC 7.8.3. The binary tarball for GHC 7.4.2 does not install on Trusty due to multiple incompatibilities. For

Re: GHC 7.4.2 on Ubuntu Trusty

2014-10-22 Thread Yitzchak Gale
I wrote: How do I get a working GHC 7.4.2 on Trusty? Thanks to all for the suggestions. Daniel Trstenjak wrote, off-list: I can only recommend: https://launchpad.net/~hvr/+archive/ubuntu/ghc Thanks Daniel! I hadn't looked at Herbert's ppa for a while. Despite the comments, which say it is

Re: Type checker plugins

2014-10-22 Thread Iavor Diatchki
Hi, It shouldn't be hard to do the merge, but I am not sure that I'll have time to do it before the weekend---I'll give it a go then. -Iavor On Tue, Oct 21, 2014 at 9:40 AM, Adam Gundry a...@well-typed.com wrote: Thanks Iavor, this is really helpful! If you have a moment to merge Simon's