Build #3 for diagrams-contrib-1.4.2

[all reports]

Package diagrams-contrib-1.4.2
Install BuildFailed
Docs NotTried
Tests NotTried
Time submitted 2018-02-05 05:09:16.933745924 UTC
Compiler ghc-8.2.2
OS linux
Arch x86_64
Dependencies MonadRandom-0.5.1, base-4.10.1.0, circle-packing-0.1.0.6, colour-2.3.4, containers-0.5.10.2, cubicbezier-0.6.0.5, data-default-0.7.1.1, data-default-class-0.1.2.0, diagrams-core-1.4.0.1, diagrams-lib-1.4.2, diagrams-solve-0.1.1, force-layout-0.4.0.6, hashable-1.2.6.1, lens-4.15.4, linear-1.20.7, mfsolve-0.3.2.0, monoid-extras-0.4.2, mtl-2.2.1, mtl-compat-0.2.1.3, parsec-3.1.11, random-1.1, semigroups-0.18.4, split-0.2.3.2, text-1.2.2.2
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring JuicyPixels-3.2.9.4...
Configuring Boolean-0.2.4...
Building JuicyPixels-3.2.9.4...
Building Boolean-0.2.4...
Installed Boolean-0.2.4
Configuring NumInstances-1.4...
Building NumInstances-1.4...
Installed NumInstances-1.4
Configuring base-orphans-0.6...
Building base-orphans-0.6...
Installed base-orphans-0.6
Configuring cabal-doctest-1.0.6...
Building cabal-doctest-1.0.6...
Installed cabal-doctest-1.0.6
Configuring cereal-0.5.5.0...
Building cereal-0.5.5.0...
Installed cereal-0.5.5.0
Configuring circle-packing-0.1.0.6...
Building circle-packing-0.1.0.6...
Installed circle-packing-0.1.0.6
Configuring colour-2.3.4...
Building colour-2.3.4...
Installed colour-2.3.4
Configuring data-default-class-0.1.2.0...
Building data-default-class-0.1.2.0...
Installed JuicyPixels-3.2.9.4
Configuring diagrams-solve-0.1.1...
Installed data-default-class-0.1.2.0
Configuring dlist-0.8.0.4...
Building diagrams-solve-0.1.1...
Building dlist-0.8.0.4...
Installed diagrams-solve-0.1.1
Configuring fail-4.9.0.0...
Installed dlist-0.8.0.4
Configuring fast-math-1.0.2...
Building fail-4.9.0.0...
Building fast-math-1.0.2...
Installed fail-4.9.0.0
Configuring fingertree-0.1.3.1...
Building fingertree-0.1.3.1...
Installed fast-math-1.0.2
Configuring groups-0.4.1.0...
Building groups-0.4.1.0...
Installed groups-0.4.1.0
Configuring hinotify-0.3.9...
Building hinotify-0.3.9...
Installed fingertree-0.1.3.1
Configuring integration-0.2.1...
Installed hinotify-0.3.9
Configuring matrices-0.4.5...
Building integration-0.2.1...
Building matrices-0.4.5...
Installed integration-0.2.1
Configuring microlens-0.4.8.3...
Building microlens-0.4.8.3...
Installed microlens-0.4.8.3
Configuring mtl-compat-0.2.1.3...
Installed matrices-0.4.5
Configuring newtype-generics-0.5.1...
Building mtl-compat-0.2.1.3...
Building newtype-generics-0.5.1...
Installed mtl-compat-0.2.1.3
Configuring old-locale-1.0.0.7...
Building old-locale-1.0.0.7...
Installed newtype-generics-0.5.1
Configuring prelude-extras-0.4.0.3...
Building prelude-extras-0.4.0.3...
Installed old-locale-1.0.0.7
Configuring reflection-2.1.3...
Building reflection-2.1.3...
Installed prelude-extras-0.4.0.3
Configuring semigroups-0.18.4...
Building semigroups-0.18.4...
Installed semigroups-0.18.4
Configuring th-abstraction-0.2.6.0...
Installed reflection-2.1.3
Configuring transformers-compat-0.5.1.4...
Building th-abstraction-0.2.6.0...
Building transformers-compat-0.5.1.4...
Installed transformers-compat-0.5.1.4
Configuring unix-compat-0.5.0.1...
Building unix-compat-0.5.0.1...
Installed th-abstraction-0.2.6.0
Configuring void-0.7.2...
Installed unix-compat-0.5.0.1
Configuring ansi-terminal-0.8.0.1...
Building void-0.7.2...
Building ansi-terminal-0.8.0.1...
Installed void-0.7.2
Configuring data-default-instances-containers-0.0.1...
Building data-default-instances-containers-0.0.1...
Installed data-default-instances-containers-0.0.1
Configuring data-default-instances-dlist-0.0.1...
Building data-default-instances-dlist-0.0.1...
Installed ansi-terminal-0.8.0.1
Configuring microlens-th-0.4.1.3...
Building microlens-th-0.4.1.3...
Installed data-default-instances-dlist-0.0.1
Configuring mfsolve-0.3.2.0...
Building mfsolve-0.3.2.0...
Installed microlens-th-0.4.1.3
Configuring MemoTrie-0.6.9...
Building MemoTrie-0.6.9...
Installed mfsolve-0.3.2.0
Configuring data-default-instances-old-locale-0.0.1...
Building data-default-instances-old-locale-0.0.1...
Installed MemoTrie-0.6.9
Configuring tagged-0.8.5...
Installed data-default-instances-old-locale-0.0.1
Configuring microlens-mtl-0.1.11.1...
Building tagged-0.8.5...
Building microlens-mtl-0.1.11.1...
Installed microlens-mtl-0.1.11.1
Configuring exceptions-0.8.3...
Installed tagged-0.8.5
Configuring contravariant-1.4.1...
Building exceptions-0.8.3...
Building contravariant-1.4.1...
Installed exceptions-0.8.3
Configuring MonadRandom-0.5.1...
Building MonadRandom-0.5.1...
Installed contravariant-1.4.1
Configuring fsnotify-0.2.1.1...
Building fsnotify-0.2.1.1...
Installed fsnotify-0.2.1.1
Configuring bytes-0.15.3...
Installed MonadRandom-0.5.1
Configuring ansi-wl-pprint-0.6.8.2...
Building ansi-wl-pprint-0.6.8.2...
Building bytes-0.15.3...
Installed ansi-wl-pprint-0.6.8.2
Configuring vector-space-0.13...
Building vector-space-0.13...
Installed vector-space-0.13
Configuring data-default-0.7.1.1...
Building data-default-0.7.1.1...
Installed bytes-0.15.3
Configuring distributive-0.5.3...
Installed data-default-0.7.1.1
Configuring optparse-applicative-0.14.0.0...
Building optparse-applicative-0.14.0.0...
Building distributive-0.5.3...
Installed distributive-0.5.3
Configuring cubicbezier-0.6.0.5...
Building cubicbezier-0.6.0.5...
Installed optparse-applicative-0.14.0.0
Configuring intervals-0.8.1...
Building intervals-0.8.1...
Installed intervals-0.8.1
Configuring comonad-5.0.2...
Building comonad-5.0.2...
Installed comonad-5.0.2
Configuring bifunctors-5.5.1...
Building bifunctors-5.5.1...
Installed cubicbezier-0.6.0.5
Installed bifunctors-5.5.1
Configuring profunctors-5.2.2...
Configuring semigroupoids-5.2.2...
Building profunctors-5.2.2...
Building semigroupoids-5.2.2...
Installed profunctors-5.2.2
Installed semigroupoids-5.2.2
Configuring monoid-extras-0.4.2...
Configuring free-4.12.4...
Building monoid-extras-0.4.2...
Building free-4.12.4...
Installed monoid-extras-0.4.2
Configuring dual-tree-0.2.1...
Building dual-tree-0.2.1...
Installed dual-tree-0.2.1
Installed free-4.12.4
Configuring adjunctions-4.4...
Building adjunctions-4.4...
Installed adjunctions-4.4
Configuring kan-extensions-5.1...
Building kan-extensions-5.1...
Installed kan-extensions-5.1
Configuring lens-4.15.4...
Building lens-4.15.4...
Installed lens-4.15.4
Configuring linear-1.20.7...
Building linear-1.20.7...
Installed linear-1.20.7
Configuring force-layout-0.4.0.6...
Configuring diagrams-core-1.4.0.1...
Building diagrams-core-1.4.0.1...
Building force-layout-0.4.0.6...
Installed force-layout-0.4.0.6
Configuring active-0.2.0.13...
Building active-0.2.0.13...
Installed active-0.2.0.13
Installed diagrams-core-1.4.0.1
Configuring diagrams-lib-1.4.2...
Building diagrams-lib-1.4.2...
Installed diagrams-lib-1.4.2
Configuring diagrams-contrib-1.4.2...
Building diagrams-contrib-1.4.2...
Failed to install diagrams-contrib-1.4.2
Build log ( /home/builder/.cabal/logs/ghc-8.2.2/diagrams-contrib-1.4.2-IeHWEqUDDWHLr97DY0N1PW.log ):
cabal: Entering directory '/tmp/cabal-tmp-24885/diagrams-contrib-1.4.2'
Configuring diagrams-contrib-1.4.2...
Preprocessing library for diagrams-contrib-1.4.2..
Building library for diagrams-contrib-1.4.2..
[ 1 of 28] Compiling Diagrams.Anchors ( src/Diagrams/Anchors.hs, dist/build/Diagrams/Anchors.o )
[ 2 of 28] Compiling Diagrams.Color.HSV ( src/Diagrams/Color/HSV.hs, dist/build/Diagrams/Color/HSV.o )
[ 3 of 28] Compiling Diagrams.Color.XKCD ( src/Diagrams/Color/XKCD.hs, dist/build/Diagrams/Color/XKCD.o )
[ 4 of 28] Compiling Diagrams.Layout.Wrap ( src/Diagrams/Layout/Wrap.hs, dist/build/Diagrams/Layout/Wrap.o )
[ 5 of 28] Compiling Diagrams.Lens    ( src/Diagrams/Lens.hs, dist/build/Diagrams/Lens.o )
[ 6 of 28] Compiling Diagrams.TwoD.Apollonian ( src/Diagrams/TwoD/Apollonian.hs, dist/build/Diagrams/TwoD/Apollonian.o )

src/Diagrams/TwoD/Apollonian.hs:275:15: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        drawCircle :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                      Circle n -> QDiagram b V2 n Any
    |
275 | drawCircle :: (Renderable (Path V2 n) b, TypeableFloat n) =>
    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Apollonian.hs:282:15: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        drawGasket :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                      [Circle n] -> QDiagram b V2 n Any
    |
282 | drawGasket :: (Renderable (Path V2 n) b, TypeableFloat n) =>
    |               ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Apollonian.hs:289:21: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        apollonianGasket :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                            n -> n -> n -> n -> QDiagram b V2 n Any
    |
289 | apollonianGasket :: (Renderable (Path V2 n) b, TypeableFloat n)
    |                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 7 of 28] Compiling Diagrams.TwoD.Factorization ( src/Diagrams/TwoD/Factorization.hs, dist/build/Diagrams/TwoD/Factorization.o )

src/Diagrams/TwoD/Factorization.hs:57:16: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        primeLayout :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                       [Colour Double]
                       -> Integer -> QDiagram b V2 n Any -> QDiagram b V2 n Any
   |
57 | primeLayout :: (Renderable (Path V2 n) b, TypeableFloat n)
   |                ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:86:14: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        colorBars :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                     [Colour Double] -> Integer -> Path V2 n -> QDiagram b V2 n Any
   |
86 | colorBars :: (Renderable (Path V2 n) b, TypeableFloat n)
   |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:123:19: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        factorDiagram' :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                          [Integer] -> QDiagram b V2 n Any
    |
123 | factorDiagram' :: (Renderable (Path V2 n) b, TypeableFloat n)
    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:136:18: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        factorDiagram :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                         Integer -> QDiagram b V2 n Any
    |
136 | factorDiagram :: (Renderable (Path V2 n) b, TypeableFloat n)
    |                  ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:155:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        ensquare :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                    n -> QDiagram b V2 n Any -> QDiagram b V2 n Any
    |
155 |   :: (Renderable (Path V2 n) b, TypeableFloat n)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:168:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        fdGrid :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                  [[Integer]] -> QDiagram b V2 n Any
    |
168 |   :: (Renderable (Path V2 n) b, TypeableFloat n)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:183:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        fdGridList :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                      Integer -> QDiagram b V2 n Any
    |
183 |   :: (Renderable (Path V2 n) b, TypeableFloat n)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Factorization.hs:197:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (base-4.10.1.0:Data.Typeable.Internal.Typeable n,
                RealFloat n) =>
               TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        fdMultTable :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                       Integer -> QDiagram b V2 n Any
    |
197 |   :: (Renderable (Path V2 n) b, TypeableFloat n)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 8 of 28] Compiling Diagrams.TwoD.Grid ( src/Diagrams/TwoD/Grid.hs, dist/build/Diagrams/TwoD/Grid.o )

src/Diagrams/TwoD/Grid.hs:161:19: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (Typeable n, RealFloat n) => TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        gridWithHalves :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                          Int -> Int -> QDiagram b V2 n Any
    |
161 | gridWithHalves :: (Renderable (Path V2 n) b, TypeableFloat n)
    |                   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Grid.hs:169:20: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (Typeable n, RealFloat n) => TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        gridWithHalves' :: (Renderable (Path V2 n) b, TypeableFloat n) =>
                           GridOpts n -> Int -> Int -> QDiagram b V2 n Any
    |
169 | gridWithHalves' :: (Renderable (Path V2 n) b, TypeableFloat n)
    |                    ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Grid.hs:233:13: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (Typeable n, RealFloat n) => TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        gridLine :: (IsName a,
                     IsName b,
                     Renderable (Path V2 n) c,
                     TypeableFloat n) =>
                    a -> b -> QDiagram c V2 n Any -> QDiagram c V2 n Any
    |
233 | gridLine :: (IsName a, IsName b,
    |             ^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Grid.hs:239:14: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (Typeable n, RealFloat n) => TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        gridLine' :: (IsName a,
                      IsName b,
                      Renderable (Path V2 n) c,
                      TypeableFloat n) =>
                     HighlightLineOpts n
                     -> a -> b -> QDiagram c V2 n Any -> QDiagram c V2 n Any
    |
239 | gridLine' :: (IsName a, IsName b,
    |              ^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Grid.hs:251:14: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘TypeableFloat n’ matches an instance declaration
      instance (Typeable n, RealFloat n) => TypeableFloat n
        -- Defined in ‘Diagrams.Core.Types’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        gridLines :: (Renderable (Path V2 n) c,
                      TypeableFloat n,
                      IsName a,
                      IsName b) =>
                     [(a, b)] -> QDiagram c V2 n Any -> QDiagram c V2 n Any
    |
251 | gridLines :: (Renderable (Path V2 n) c, TypeableFloat n,
    |              ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[ 9 of 28] Compiling Diagrams.TwoD.Layout.CirclePacking ( src/Diagrams/TwoD/Layout/CirclePacking.hs, dist/build/Diagrams/TwoD/Layout/CirclePacking.o )

src/Diagrams/TwoD/Layout/CirclePacking.hs:53:24: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        renderCirclePacking :: (Monoid' m, Floating (N b), Ord (N b)) =>
                               RadiusFunction b m
                               -> [QDiagram b V2 (N b) m] -> QDiagram b V2 (N b) m
   |
53 | renderCirclePacking :: (Monoid' m, Floating (N b), Ord (N b)) => RadiusFunction b m -> [QDiagram b V2 (N b) m] -> QDiagram b V2 (N b) m
   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Diagrams/TwoD/Layout/CirclePacking.hs:62:24: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        createCirclePacking :: (Monoid' m, Ord (N b), Floating (N b)) =>
                               (a -> Double)
                               -> (a -> QDiagram b V2 (N b) m) -> [a] -> QDiagram b V2 (N b) m
   |
62 | createCirclePacking :: (Monoid' m, Ord (N b), Floating (N b)) => (a -> Double) -> (a -> QDiagram b V2 (N b) m) -> [a] -> QDiagram b V2 (N b) m
   |                        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Diagrams/TwoD/Layout/CirclePacking.hs:76:17: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        approxRadius :: (Monoid' m,
                         Floating (N b),
                         Real (N b),
                         Ord (N b)) =>
                        Int -> RadiusFunction b m
   |
76 | approxRadius :: (Monoid' m, Floating (N b), Real (N b), Ord (N b)) => Int -> RadiusFunction b m
   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

src/Diagrams/TwoD/Layout/CirclePacking.hs:94:17: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        circleRadius :: (Monoid' m, Floating (N b), Real (N b)) =>
                        RadiusFunction b m
   |
94 | circleRadius :: (Monoid' m, Floating (N b), Real (N b)) => RadiusFunction b m
   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
[10 of 28] Compiling Diagrams.TwoD.Layout.Constrained ( src/Diagrams/TwoD/Layout/Constrained.hs, dist/build/Diagrams/TwoD/Layout/Constrained.o )

src/Diagrams/TwoD/Layout/Constrained.hs:524:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        constrainWith :: (Hashable n, RealFrac n, Floating n, Monoid' m) =>
                         ([[Located (Envelope V2 n)]] -> [Located (Envelope V2 n)])
                         -> [DiaID s] -> Constrained s b n m ()
    |
524 |   :: (Hashable n, RealFrac n, Floating n, Monoid' m)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Layout/Constrained.hs:622:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        layout :: (Monoid' m,
                   Hashable n,
                   Floating n,
                   RealFrac n,
                   Show n) =>
                  (forall s. Constrained s b n m a) -> QDiagram b V2 n m
    |
622 |   :: (Monoid' m, Hashable n, Floating n, RealFrac n, Show n)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...

src/Diagrams/TwoD/Layout/Constrained.hs:630:6: warning: [-Wsimplifiable-class-constraints]
    • The constraint ‘Monoid' m’ matches an instance declaration
      instance [safe] (Semigroup m, Monoid m) => Monoid' m
        -- Defined in ‘Data.Monoid.WithSemigroup’
      This makes type inference for inner bindings fragile;
        either use MonoLocalBinds, or simplify it using the instance
    • In the type signature:
        runLayout :: (Monoid' m,
                      Hashable n,
                      Floating n,
                      RealFrac n,
                      Show n) =>
                     (forall s. Constrained s b n m a) -> (a, QDiagram b V2 n m)
    |
630 |   :: (Monoid' m, Hashable n, Floating n, RealFrac n, Show n)
    |      ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^...
[11 of 28] Compiling Diagrams.TwoD.Layout.Grid ( src/Diagrams/TwoD/Layout/Grid.hs, dist/build/Diagrams/TwoD/Layout/Grid.o )
[12 of 28] Compiling Diagrams.TwoD.Layout.Tree ( src/Diagrams/TwoD/Layout/Tree.hs, dist/build/Diagrams/TwoD/Layout/Tree.o )
[13 of 28] Compiling Diagrams.TwoD.Path.Boolean ( src/Diagrams/TwoD/Path/Boolean.hs, dist/build/Diagrams/TwoD/Path/Boolean.o )
[14 of 28] Compiling Diagrams.TwoD.Path.Calligraphic ( src/Diagrams/TwoD/Path/Calligraphic.hs, dist/build/Diagrams/TwoD/Path/Calligraphic.o )
[15 of 28] Compiling Diagrams.TwoD.Path.Follow ( src/Diagrams/TwoD/Path/Follow.hs, dist/build/Diagrams/TwoD/Path/Follow.o )

src/Diagrams/TwoD/Path/Follow.hs:64:21: error:
    • No instance for (Semigroup (Semi (Trail' Line V2 n) (Angle n)))
        arising from the 'deriving' clause of a data type declaration
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Semigroup (Following n))
   |
64 |   deriving (Monoid, Semigroup)
   |                     ^^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-24885/diagrams-contrib-1.4.2'
cabal: Error: some packages failed to install:
diagrams-contrib-1.4.2-IeHWEqUDDWHLr97DY0N1PW failed during the building
phase. The exception was:
ExitFailure 1

Test log

No test log was submitted for this report.