Teo Camarasu authored 1 year ago and Matthew Pickering committed 1 year ago

This is to avoid this bug: https://github.com/NixOS/nix/issues/9142

Deal with re-export of Data.List.List

Suport ghc/ghc!11426

This change was introduced in
ghc!11367

* Use branches for nixpkgs and all-cabal-hashes, so they can be updated
  with `nix flake lock --update`
* Remove old `default.nix` file.

The fixes have been backported, servant should work in 9.4.5, hgeometry in 9.8.1.

This has already been patched upstream, but not yet released. See: https://github.com/haskell/vector/commit/c3616f425bf1caabf21872697610e75e61308b63

Cabal-3.2.1.0 and Cabal-syntax-3.8.1.0 need updating to account
for the bugfix in GHC MR !11107 which means that an import of Rep(..)
no longer brings the class methods of Generic into scope.

This patch enables the TypeAbstractions extension in singletons-base
on GHC >= 9.8, as the extension is now required for invisible binders
in type declarations, which are used pervasively throughout the library.

The `__GLASGOW_HASKELL__` macro was missing its underscores.

GHC MR !11112 makes it so that one needs to enable the (new)
TypeAbstractions extension in order to use type applications in
constructor patterns. The old behaviour (ScopedTypeVariables + TypeApplications)
is still supported, but it emits a warning, which causes sbv to fail
to build due to -Werror.

In addition, the changes in GHC MR !11112 mean that the use of invisible
binders in type declarations requires the TypeAbstractions extension
to be enabled.

`isUnsafeEqualityProof` was removed in favor of `isUnsafeEqualityCase` in
ghc@59202c80.

Fixes #40.