Simon Peyton Jones simonpj at
Fri Dec 18 08:52:27 UTC 2015

Thank you. Thomas, you are such a star… you do fix lots of corner bugs and loose ends that no one else is looking at.  You do us all a service, and I’m very grateful.


From: Thomas Miedema [mailto:thomasmiedema at]
Sent: 17 December 2015 20:49
To: Ben Gamari <ben at>
Cc: Simon Peyton Jones <simonpj at>; ghc-devs <ghc-devs at>
Subject: Re: ghc-split??

Fixed in<>

On Thu, Dec 17, 2015 at 7:57 PM, Thomas Miedema <thomasmiedema at<mailto:thomasmiedema at>> wrote:
This was broken by the "Remote GHCi" patch. I'm currently validating a fix. In the meantime you can set `SplitObjs=NO` in mk/<>.

On Thu, Dec 17, 2015 at 7:00 PM, Ben Gamari <ben at<mailto:ben at>> wrote:
Simon Peyton Jones <simonpj at<mailto:simonpj at>> writes:

> I’m getting this with a clean HEAD on Linux.  Any ideas?
> Simon
> ghc-stage1: could not execute: /5playpen/simonpj/HEAD-4/inplace/lib/bin/ghc-split

Interesting: this binary is inplace/lib/ghc-split in my local tree. Does
this exist?


- Ben

ghc-devs mailing list
ghc-devs at<mailto:ghc-devs at><>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list