circuithub/rel8
1
1
Fork 0
mirror of https://github.com/circuithub/rel8.git synced 2024-09-11 16:05:41 +03:00
Code Issues Projects Releases Wiki Activity

GHC 9 support

Browse Source
This commit is contained in:
Shane O'Brien 2021-04-07 14:57:50 +01:00
parent 444bf051c4
commit 84845f0484
No known key found for this signature in database
GPG Key ID: 35A00ED1B695C1A1
3 changed files with 3 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
default.nix
View File

@ -5,7 +5,7 @@ let
nixpkgsArgs = haskellNix.nixpkgsArgs;
compiler-nix-name = "ghc8104";
compiler-nix-name = "ghc901";
pkgs = import nixpkgsSrc nixpkgsArgs;

2
shell.nix
View File

@ -4,7 +4,7 @@ let
hsPkgs = import ./default.nix;
in
hsPkgs.shellFor {
withHoogle = true;
withHoogle = false;
tools = { cabal = "latest"; };
exactDeps = false;
buildInputs = [ pkgs.postgresql pkgs.pythonPackages.sphinx ];

8
src/Rel8/Schema/Nullability/Internal.hs
View File

@ -6,7 +6,6 @@
{-# language GADTs #-}
{-# language MultiParamTypeClasses #-}
{-# language RankNTypes #-}
{-# language QuantifiedConstraints #-}
{-# language StandaloneKindSignatures #-}
{-# language TypeFamilies #-}
{-# language UndecidableInstances #-}
@ -115,12 +114,7 @@ nullabilization = nullabilization'
-- supports equality, and @a@ can either be exactly an @a@, or it could also be
-- @Maybe a@.
type Sql :: (Type -> Constraint) -> Type -> Constraint
class
( (forall c. (forall x. (constraint x => c x)) => Sql c a)
, HasNullability a
, constraint (Unnullify a)
)
=> Sql constraint a
class (constraint (Unnullify a), HasNullability a) => Sql constraint a
instance (constraint (Unnullify a), HasNullability a) => Sql constraint a