sternenseemann

cabal2nix tries to fetch hackage revisions even if already present in the source

2

Consider the [servant-cassava.cabal file](https://github.com/haskell-servant/servant-cassava/blob/66617547851d38d48f5f1d1b786db1286bdafa9d/servant-cassava.cabal#L4): It has a Hackage `x-revision` field checked in the repository which, interestingly, was never applied on Hackage. `cabal2nix`, however, recognizes this and sets the `revision` and...

By supplying an URL to e.g. an archive or git repository, `cabal2nix` can generate expressions using fetcher functions from nixpkgs. We have no regression tests for this, as it requires...

Handle internal libraries correctly

5

Since 2.0, Cabal has a notion of [internal libraries](https://cabal.readthedocs.io/en/latest/cabal-package.html#sublibs) (which is any named library in the cabal file): > Cabal 2.0 and later support “internal libraries”, which are extra named...

RFC: move postprocessing into overlays in nixpkgs as much as possible?

4

`src/Distribution/Nixpkgs/Haskell/FromCabal/PostProcess.hs` has a lot of post processing hooks which do things that would also be possible via overrides, like disabling tests, adding dependencies, adding a phase hook etc. I've stumbled...

Split `hackage-packages.nix` into multiple files

10

`hackage-packages.nix` in NixOS is ever growing and I think it is time to think about making `hackage2nix` generate a file per package and a file `callPackage`-ing those files. The reasons...

Test suite fails on macOS

8

``` Preprocessing test suite 'specs' for acid-state-0.16.0.1.. Building test suite 'specs' for acid-state-0.16.0.1.. [1 of 2] Compiling Data.Acid.TemplateHaskellSpec ( test/Data/Acid/TemplateHaskellSpec.hs, dist/build/specs/specs-tmp/Data/Acid/TemplateHaskellSpec.o, dist/build/specs/specs-tmp/Data/Acid/TemplateHaskellSpec.dyn_o ) [2 of 2] Compiling Main ( test/Spec.hs,...

``` [5 of 8] Compiling Nix.Linter.Types ( src/Nix/Linter/Types.hs, dist/build/Nix/Linter/Types.o, dist/build/Nix/Linter/Types.dyn_o ) src/Nix/Linter/Types.hs:55:28: error: • Couldn't match type ‘Text’ with ‘Key’ Expected: Note -> aeson-2.0.3.0:Data.Aeson.Types.Internal.Pair Actual: Note -> (Text, Value) •...

Control.Monad.Trans.AnyCont fails to type check with GHC >= 9.0

1

Tested with `llvm-9` branch. ``` [ 1 of 116] Compiling Control.Monad.Trans.AnyCont ( src/Control/Monad/Trans/AnyCont.hs, /home/lukas/src/hs/llvm-hs/dist-newstyle/build/x86_64-linux/ghc-9.0.2/llvm-hs-9.0.1.1/build/Control/Monad/Trans/AnyCont.o, /home/lukas/src/hs/llvm-hs/dist-newstyle/build/x86_64-linux/ghc-9.0.2/llvm-hs-9.0.1.1/build/Control/Monad/Trans/AnyCont.dyn_o ) src/Control/Monad/Trans/AnyCont.hs:15:34: error: • Couldn't match type: forall r1. ContT r1 m a with: ContT...

Tests fail on aarch64

1

Seems like [this is the culprit](https://github.com/llvm-hs/llvm-hs/blob/dec4189977eacec00f876dcf1d1579e59269aa88/llvm-hs/test/LLVM/Test/Module.hs#L293) and you need a `x86_64-linux` (cross)-toolchain for the tests. ``` setupCompilerEnvironmentPhase Build with /nix/store/n5z7zr3jl1k96wcrrjqlc5bxdhjc1i69-ghc-8.10.4. unpacking sources unpacking source archive /nix/store/2xmdp36vnlr5kpxw3wi4lpcsjc6qma77-llvm-hs-9.0.1.tar.gz source root is llvm-hs-9.0.1...

antlr3 C runtime generates incorrect ABI flags for non x86 with gcc

1

If `--enable-64bit` and `--enable-abiflags` are passed to the configure script, it'll decide on passing `-m64`. This option however implies x86 and will fail e. g. on `aarch64`. A similar thing...