The build is unreachable.
Build log
> /tmp/stackage-build2452$ stack unpack traverse-with-class-1.0.0.0@sha256:2d326bab8dd23272562cf0287438dcedb901ee84e464896e7f490cabb08184b4
Unpacked traverse-with-class-1.0.0.0 to /tmp/stackage-build2452/traverse-with-class-1.0.0.0/
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
[1 of 1] Compiling Main ( Setup.hs, Setup.o )
Linking Setup ...
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ./Setup configure --package-db=clear --package-db=global --package-db=/home/circleci/project/builds/nightly/pkgdb --libdir=/home/circleci/project/builds/nightly/lib --bindir=/home/circleci/project/builds/nightly/bin --datadir=/home/circleci/project/builds/nightly/share --libexecdir=/home/circleci/project/builds/nightly/libexec --sysconfdir=/home/circleci/project/builds/nightly/etc --docdir=/home/circleci/project/builds/nightly/doc/traverse-with-class-1.0.0.0 --htmldir=/home/circleci/project/builds/nightly/doc/traverse-with-class-1.0.0.0 --haddockdir=/home/circleci/project/builds/nightly/doc/traverse-with-class-1.0.0.0
Configuring traverse-with-class-1.0.0.0...
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ./Setup build
Preprocessing library for traverse-with-class-1.0.0.0..
Building library for traverse-with-class-1.0.0.0..
[1 of 5] Compiling Data.Generics.Traversable.Core ( Data/Generics/Traversable/Core.hs, dist/build/Data/Generics/Traversable/Core.o )
[2 of 5] Compiling Data.Generics.Traversable.TH ( Data/Generics/Traversable/TH.hs, dist/build/Data/Generics/Traversable/TH.o )
[3 of 5] Compiling Data.Generics.Traversable.Instances ( Data/Generics/Traversable/Instances.hs, dist/build/Data/Generics/Traversable/Instances.o )
[4 of 5] Compiling Data.Generics.Traversable ( Data/Generics/Traversable.hs, dist/build/Data/Generics/Traversable.o )
Data/Generics/Traversable.hs:101:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c a’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everywhere :: forall c a.
(Rec c a) => (forall d. (Rec c d) => d -> d) -> a -> a
|
101 | :: forall c a .
| ^^^^^^^^^^^^...
Data/Generics/Traversable.hs:101:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c d’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everywhere :: forall c a.
(Rec c a) => (forall d. (Rec c d) => d -> d) -> a -> a
|
101 | :: forall c a .
| ^^^^^^^^^^^^...
Data/Generics/Traversable.hs:107:11: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c b’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature: go :: forall b. Rec c b => b -> b
In the expression:
let
go :: forall b. Rec c b => b -> b
go = f . gmap @(Rec c) go
in go
In an equation for ‘everywhere’:
everywhere f
= let
go :: forall b. Rec c b => b -> b
go = f . gmap @(Rec c) go
in go
|
107 | go :: forall b . Rec c b => b -> b
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Generics/Traversable.hs:113:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c a’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everywhere' :: forall c a.
(Rec c a) => (forall d. (Rec c d) => d -> d) -> a -> a
|
113 | :: forall c a .
| ^^^^^^^^^^^^...
Data/Generics/Traversable.hs:113:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c d’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everywhere' :: forall c a.
(Rec c a) => (forall d. (Rec c d) => d -> d) -> a -> a
|
113 | :: forall c a .
| ^^^^^^^^^^^^...
Data/Generics/Traversable.hs:119:11: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c b’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature: go :: forall b. Rec c b => b -> b
In the expression:
let
go :: forall b. Rec c b => b -> b
go = gmap @(Rec c) go . f
in go
In an equation for ‘everywhere'’:
everywhere' f
= let
go :: forall b. Rec c b => b -> b
go = gmap @(Rec c) go . f
in go
|
119 | go :: forall b . Rec c b => b -> b
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Generics/Traversable.hs:125:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c a’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everywhereM :: forall c m a.
(Monad m, Rec c a) => (forall d. (Rec c d) => d -> m d) -> a -> m a
|
125 | :: forall c m a .
| ^^^^^^^^^^^^^^...
Data/Generics/Traversable.hs:125:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c d’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everywhereM :: forall c m a.
(Monad m, Rec c a) => (forall d. (Rec c d) => d -> m d) -> a -> m a
|
125 | :: forall c m a .
| ^^^^^^^^^^^^^^...
Data/Generics/Traversable.hs:131:11: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c b’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature: go :: forall b. Rec c b => b -> m b
In the expression:
let
go :: forall b. Rec c b => b -> m b
go = f <=< gmapM @(Rec c) go
in go
In an equation for ‘everywhereM’:
everywhereM f
= let
go :: forall b. Rec c b => b -> m b
go = f <=< gmapM @(Rec c) go
in go
|
131 | go :: forall b . Rec c b => b -> m b
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
Data/Generics/Traversable.hs:137:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c a’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everything :: forall c r a.
(Rec c a) =>
(r -> r -> r) -> (forall d. (Rec c d) => d -> r) -> a -> r
|
137 | :: forall c r a .
| ^^^^^^^^^^^^^^...
Data/Generics/Traversable.hs:137:6: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c d’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature:
everything :: forall c r a.
(Rec c a) =>
(r -> r -> r) -> (forall d. (Rec c d) => d -> r) -> a -> r
|
137 | :: forall c r a .
| ^^^^^^^^^^^^^^...
Data/Generics/Traversable.hs:144:11: warning: [-Wsimplifiable-class-constraints]
• The constraint ‘Rec c b’ matches
instance (GTraversable (Rec c) a, c a) => Rec c a
-- Defined at Data/Generics/Traversable.hs:61:10
This makes type inference for inner bindings fragile;
either use MonoLocalBinds, or simplify it using the instance
• In the type signature: go :: forall b. Rec c b => b -> r
In the expression:
let
go :: forall b. Rec c b => b -> r
go x = gfoldl' @(Rec c) (\ a y -> combine a (go y)) (f x) x
in go
In an equation for ‘everything’:
everything combine f
= let
go :: forall b. Rec c b => b -> r
go x = gfoldl' @(Rec c) (\ a y -> ...) (f x) x
in go
|
144 | go :: forall b . Rec c b => b -> r
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[5 of 5] Compiling Data.Generics.Traversable.Zipper ( Data/Generics/Traversable/Zipper.hs, dist/build/Data/Generics/Traversable/Zipper.o )
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ./Setup copy
Installing library in /home/circleci/project/builds/nightly/lib/x86_64-linux-ghc-8.7.20181119/traverse-with-class-1.0.0.0-HLZgfcc5gMSJxGit24SwFA
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ghc -clear-package-db -global-package-db -package-db=/home/circleci/project/builds/nightly/pkgdb Setup
> /tmp/stackage-build2452/traverse-with-class-1.0.0.0$ ./Setup register
Registering library for traverse-with-class-1.0.0.0..