Andreas Abel

@EgbertRijke : the regression of 2.6.4 will be fixed in Agda 2.9.0 - agda/agda#8263 - https://github.com/agda/agda/pull/8267

> Sounds like a dup of [#11298](https://github.com/haskell/cabal/issues/11298) Interesting that this one is in temporal proximity (just 3 weeks ago). #11298 has a slightly different symptom, also it is for running...

P.S.: Found on https://stackoverflow.com/questions/7167424/replace-all-symlinks-with-original a hack to replace symlinks with their target by abuse of `sed`: ``` ~/.cabal/bin$ find . -type l -exec sed -i '' {} \; ``` (Does...

Ok, but if I keep the while (lightweight) `.cabal/share` folder and use static linking (which is the default), then with default `install-method: copy` I should be able to keep working...

Well, something is odd then in v2-cabal. Once I have created a binary, it does not matter any more which ghc version I used to build it, so there shouldn't...

Can this issue get a triage please?

I changed the title to reflect better the core problem of `cabal v2-install` (e.g. over `cabal v1-install`): It puts stuff (e.g. data files) into a GHC-version dependent location, and if...

Reproducer (full code see attached zip file): ```haskell import Paths_has_data_files (getDataDir) main :: IO () main = do dataDir

Thanks for the report! > ``` > $ /cygdrive/c/cabal/bin/agda /cygdrive/h/bla.agda > An internal error has occurred. Please report this as a bug. > Location of the error: __IMPOSSIBLE__, called at...

Thanks! 1. Can you please also try if `isAbsolute` fails on this canonicalized path `can`? 2. And can you try out what `makeAbsolute` gives you on the `searchdir`? 3. What...