Strange library git glitch

Simon Peyton Jones simonpj at
Fri May 15 15:01:38 UTC 2020

Thanks.  It does have a directory dist-install/ in it - but that's put there by the build system, so if I remove it, it'll just come back.  And other libraries (like deepseq) has dist-install too but does not complain.  So mysterious.

On the other hand git submodule update -recursive *did* fix it.  Seems odd.  I'm already saying "submodules" and I don' think any submodules have further submodules - or do they?


From: ghc-devs <ghc-devs-bounces at> On Behalf Of Hécate
Sent: 15 May 2020 15:37
To: ghc-devs at
Subject: Re: Strange library git glitch

My bad, it seems like this is another issue.

I found this StackOverflow page quite helpful in explaining the hows and whys:


Le 15/05/2020 à 16:30, Hécate a écrit :

Hi Simon,

I usually manage to get it to disappear by using `git submodule update --recursive`.
Is it a flag you've used in your previous attempts?


Le 15/05/2020 à 16:24, Simon Peyton Jones via ghc-devs a écrit :
No amount of git submodule update makes it go away.  Any ideas?


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