Re: Which stable GHC release is expected to have support for linear types?

Hi, Am Montag, den 10.07.2017, 16:31 +0200 schrieb Sven Panne:

2017-07-10 13:41 GMT+02:00 Wolfgang Jeltsch

...

: 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. [...]

You can happily move around any cloned repository, Git has absolutely no problem with that. What often breaks is some imperfect tooling on top of Git itself, which might be the case here.

I found that this is not true for git modules, which can be very annoying; see https://stackoverflow.com/a/11298947/946226 (Of course, in some sense, git modules are “imperfect tooling on top of Git”, so you are not wrong). Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/