Hi, Edvard!

I renamed the local directory after cloning. If Git really cannot deal with this, then this is yet another reason for preferring darcs over Git.

Unfortunately, it would be hard to reproduce this problem, since I took slightly different steps before incorporating the linear-types branch, as I did not yet know about the documentation on getting the linear-types branch at that time.

All the best,
Wolfgang

Am Montag, den 10.07.2017, 11:22 +0200 schrieb Edvard Hübinette:
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