84845f0 · rel8 · git.iko.soy

default.nix+1−1

compare with master

unifiedsplit

@@ -5,7 +5,7 @@ let

5

6 nixpkgsArgs = haskellNix.nixpkgsArgs;

7

8− compiler-nix-name = "ghc8104";

8+ compiler-nix-name = "ghc901";

9

10 pkgs = import nixpkgsSrc nixpkgsArgs;

11

shell.nix+1−1

@@ -4,7 +4,7 @@ let

4 hsPkgs = import ./default.nix;

5in

6 hsPkgs.shellFor {

7− withHoogle = true;

7+ withHoogle = false;

8 tools = { cabal = "latest"; };

9 exactDeps = false;

10 buildInputs = [ pkgs.postgresql pkgs.pythonPackages.sphinx ];

src/Rel8/Schema/Nullability/Internal.hs+1−7

@@ -6,7 +6,6 @@

6{-# language GADTs #-}

7{-# language MultiParamTypeClasses #-}

8{-# language RankNTypes #-}

9−{-# language QuantifiedConstraints #-}

10{-# language StandaloneKindSignatures #-}

9{-# language StandaloneKindSignatures #-}

11{-# language TypeFamilies #-}

10{-# language TypeFamilies #-}

12{-# language UndecidableInstances #-}

11{-# language UndecidableInstances #-}

@@ -115,12 +114,7 @@ nullabilization = nullabilization'

115-- supports equality, and @a@ can either be exactly an @a@, or it could also be

114-- supports equality, and @a@ can either be exactly an @a@, or it could also be

116-- @Maybe a@.

115-- @Maybe a@.

117type Sql :: (Type -> Constraint) -> Type -> Constraint

116type Sql :: (Type -> Constraint) -> Type -> Constraint

118−class

119− ( (forall c. (forall x. (constraint x => c x)) => Sql c a)

120− , HasNullability a

121− , constraint (Unnullify a)

117+class (constraint (Unnullify a), HasNullability a) => Sql constraint a

122− )

123− => Sql constraint a

124instance (constraint (Unnullify a), HasNullability a) => Sql constraint a

118instance (constraint (Unnullify a), HasNullability a) => Sql constraint a

125

119

126

120