Resolving dependencies... Starting base-orphans-0.8.2 Starting safe-0.3.19 Starting primitive-0.7.1.0 Starting hashable-1.3.0.0 Building safe-0.3.19 Building base-orphans-0.8.2 Building hashable-1.3.0.0 Building primitive-0.7.1.0 Completed hashable-1.3.0.0 Starting semigroups-0.19.1 Completed safe-0.3.19 Starting split-0.2.3.4 Building semigroups-0.19.1 Completed base-orphans-0.8.2 Starting splitmix-0.1 Building split-0.2.3.4 Building splitmix-0.1 Completed semigroups-0.19.1 Starting syb-0.7.1 Building syb-0.7.1 Completed split-0.2.3.4 Starting th-abstraction-0.3.2.0 Building th-abstraction-0.3.2.0 Completed splitmix-0.1 Starting transformers-compat-0.6.5 Building transformers-compat-0.6.5 Completed syb-0.7.1 Starting type-equality-1 Building type-equality-1 Completed transformers-compat-0.6.5 Starting storable-complex-0.2.3.0 Building storable-complex-0.2.3.0 Completed type-equality-1 Starting random-1.2.0 Completed th-abstraction-0.3.2.0 Starting th-expand-syns-0.4.6.0 Building random-1.2.0 Building th-expand-syns-0.4.6.0 Completed storable-complex-0.2.3.0 Starting constraints-0.12 Building constraints-0.12 Completed primitive-0.7.1.0 Starting th-lift-0.8.1 Building th-lift-0.8.1 Completed th-expand-syns-0.4.6.0 Starting vector-0.12.1.2 Building vector-0.12.1.2 Completed th-lift-0.8.1 Starting th-reify-many-0.1.9 Building th-reify-many-0.1.9 Completed random-1.2.0 Completed th-reify-many-0.1.9 Completed constraints-0.12 Completed vector-0.12.1.2 Starting th-lift-instances-0.1.17 Starting hmatrix-0.20.0.0 Building th-lift-instances-0.1.17 Building hmatrix-0.20.0.0 Completed th-lift-instances-0.1.17 Starting th-orphans-0.13.10 Building th-orphans-0.13.10 Completed th-orphans-0.13.10 Starting th-desugar-1.9 Building th-desugar-1.9 Completed th-desugar-1.9 Starting singletons-2.5.1 Completed hmatrix-0.20.0.0 Building singletons-2.5.1 Completed singletons-2.5.1 Starting safe-tensor-0.1.0.0 Building safe-tensor-0.1.0.0 Failed to install safe-tensor-0.1.0.0 Build log ( /home/builder/.cabal/logs/ghc-8.6.3/safe-tensor-0.1.0.0-HMgjYZ1rLrg40b1M65W6Qn.log ): cabal: Entering directory '/tmp/cabal-tmp-32355/safe-tensor-0.1.0.0' Configuring safe-tensor-0.1.0.0... Preprocessing library for safe-tensor-0.1.0.0.. Building library for safe-tensor-0.1.0.0.. [ 1 of 16] Compiling Math.Tensor.LinearAlgebra.Matrix ( src/Math/Tensor/LinearAlgebra/Matrix.hs, dist/build/Math/Tensor/LinearAlgebra/Matrix.o ) [ 2 of 16] Compiling Math.Tensor.LinearAlgebra.Scalar ( src/Math/Tensor/LinearAlgebra/Scalar.hs, dist/build/Math/Tensor/LinearAlgebra/Scalar.o ) [ 3 of 16] Compiling Math.Tensor.Safe.TH ( src/Math/Tensor/Safe/TH.hs, dist/build/Math/Tensor/Safe/TH.o ) src/Math/Tensor/Safe/TH.hs:50:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: SEQ | 50 | $(singletons [d| | ^^^^^^^^^^^^^^... src/Math/Tensor/Safe/TH.hs:50:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: SEQ | 50 | $(singletons [d| | ^^^^^^^^^^^^^^... src/Math/Tensor/Safe/TH.hs:50:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: EQ | 50 | $(singletons [d| | ^^^^^^^^^^^^^^... src/Math/Tensor/Safe/TH.hs:50:3: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a case alternative: Patterns not matched: EQ | 50 | $(singletons [d| | ^^^^^^^^^^^^^^... [ 4 of 16] Compiling Math.Tensor.Safe.Proofs ( src/Math/Tensor/Safe/Proofs.hs, dist/build/Math/Tensor/Safe/Proofs.o ) [ 5 of 16] Compiling Math.Tensor.Basic.TH ( src/Math/Tensor/Basic/TH.hs, dist/build/Math/Tensor/Basic/TH.o ) [ 6 of 16] Compiling Math.Tensor.Safe.Vector ( src/Math/Tensor/Safe/Vector.hs, dist/build/Math/Tensor/Safe/Vector.o ) [ 7 of 16] Compiling Math.Tensor.Safe ( src/Math/Tensor/Safe.hs, dist/build/Math/Tensor/Safe.o ) src/Math/Tensor/Safe.hs:73:5: error: Module ‘Data.Singletons.Prelude’ does not export ‘SBool(STrue, SFalse)’ | 73 | ( SBool (STrue, SFalse) | ^^^^^^^^^^^^^^^^^^^^^ src/Math/Tensor/Safe.hs:74:5: error: Module ‘Data.Singletons.Prelude’ does not export ‘SList(SNil)’ | 74 | , SList (SNil) | ^^^^^^^^^^^^ src/Math/Tensor/Safe.hs:75:5: error: Module ‘Data.Singletons.Prelude’ does not export ‘SMaybe(SJust)’ | 75 | , SMaybe (SJust) | ^^^^^^^^^^^^^^ src/Math/Tensor/Safe.hs:76:5: error: Module ‘Data.Singletons.Prelude’ does not export ‘SOrdering(SLT, SEQ, SGT)’ | 76 | , SOrdering (SLT, SEQ, SGT) | ^^^^^^^^^^^^^^^^^^^^^^^^^ src/Math/Tensor/Safe.hs:77:5: error: In module ‘Data.Singletons.Prelude’: ‘STuple2’ is a data constructor of ‘Sing’ To import it use import Data.Singletons.Prelude( Sing( STuple2 ) ) or import Data.Singletons.Prelude( Sing(..) ) | 77 | , STuple2 (STuple2) | ^^^^^^^^^^^^^^^^^ cabal: Leaving directory '/tmp/cabal-tmp-32355/safe-tensor-0.1.0.0' cabal: Error: some packages failed to install: safe-tensor-0.1.0.0-HMgjYZ1rLrg40b1M65W6Qn failed during the building phase. The exception was: ExitFailure 1