Cloning ghc-7.8

Simon Peyton Jones simonpj at
Thu Apr 24 10:38:40 UTC 2014

OK.  So are you saying that you can't reliably change to a different branch in an existing tree, but rather must freshly clone from the source each time you want to check out a different branch?

That seems a bit extreme.  I thought switching branches is precisely what git is good at.

Still I'll blow away my tree and try what you say.


| -----Original Message-----
| From: Herbert Valerio Riedel [mailto:hvriedel at]
| Sent: 24 April 2014 11:30
| To: Simon Peyton Jones
| Cc: Austin Seipp
| Subject: Re: Cloning ghc-7.8
| On 2014-04-24 at 12:14:16 +0200, Simon Peyton Jones wrote:
| > I tried the sequence below and got this:
| maybe try this sequence that was suggested by Austin on #ghc a couple
| of
| days ago:
| <thoughtpolice> (sync-all has a little difficulty with the submodules
| here, and you'll end up needing to always clean anyway due to interface
| changes, etc)
| <thoughtpolice> 'git clone -b ghc-7.8 git:// && cd ghc
| && ./sync-all get -b ghc-7.8' should do it

More information about the ghc-devs mailing list