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
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