Hi Wolfgang,

the directory name should not matter (mine is named differently for example). Renaming the base directory after cloning (instead of using git clone foo dir-name) can sometimes confuse git, if that might be the problem.

In any case, we are unable to reproduce this so if you could provide exact reproductions steps we can update the guide. Your git version may be useful as well.

Cheers,

Edvard

2017-07-09 22:35 GMT+02:00 Wolfgang Jeltsch <wolfgang-it@jeltsch.info>:

Hi, Edvard!

I generally followed the instructions on

https://github.com/tweag/ghc/tree/linear-types#building-from-source ,

but when running

git checkout tweag/linear-types ,

I got the following error message:

> fatal: Not a git repository: ${BASEDIR}/ghc/.git/modules/.arc-linters/arcanist-external-json-linter

I guess this is because my local directory is not named “ghc”, but “ghc-
linear”. In my opinion, the repository should not assume that a local
copy of it resides in a directory of a certain name. Is this a GHC issue
or an issue with your linear-types branch?

All the best,
Wolfgang

Am Mittwoch, den 05.07.2017, 16:20 +0000 schrieb Edvard Hübinette:
> Hi Wolfgang,
>
> I've put together a small README for getting this up and running (both
> for using stack with pre-built Docker images, and from source). It can
> be found in the repository here: https://github.com/tweag/ghc/tree/lin
> ear-types.
>
> Hope this will help!
>
> Cheers,
> Edvard Hübinette