Resolving dependencies... Configuring FloatingHex-0.4... Configuring GenericPretty-1.2.1... Building FloatingHex-0.4... Building GenericPretty-1.2.1... Installed FloatingHex-0.4 Configuring ansi-terminal-0.6.3.1... Configuring base-compat-0.9.3... Installed GenericPretty-1.2.1 Building ansi-terminal-0.6.3.1... Building base-compat-0.9.3... Configuring cabal-doctest-1.0.2... Installed ansi-terminal-0.6.3.1 Building cabal-doctest-1.0.2... Configuring base-orphans-0.6... Installed base-compat-0.9.3 Building base-orphans-0.6... Configuring data-binary-ieee754-0.4.4... Installed cabal-doctest-1.0.2 Building data-binary-ieee754-0.4.4... Configuring fgl-5.5.3.1... Installed base-orphans-0.6 Building fgl-5.5.3.1... Configuring generic-deriving-1.11.2... Installed data-binary-ieee754-0.4.4 Building generic-deriving-1.11.2... Configuring loop-0.3.0... Installed fgl-5.5.3.1 Building loop-0.3.0... Configuring ieee754-0.8.0... Installed loop-0.3.0 Building ieee754-0.8.0... Configuring partial-order-0.1.2.1... Installed ieee754-0.8.0 Building partial-order-0.1.2.1... Configuring mtl-2.2.1... Installed partial-order-0.1.2.1 Building mtl-2.2.1... Configuring random-1.1... Installed generic-deriving-1.11.2 Building random-1.1... Configuring primitive-0.6.1.0... Installed mtl-2.2.1 Building primitive-0.6.1.0... Configuring semigroups-0.18.3... Installed random-1.1 Building semigroups-0.18.3... Configuring split-0.2.3.2... Installed semigroups-0.18.3 Building split-0.2.3.2... Configuring storable-complex-0.2.2... Installed primitive-0.6.1.0 Building storable-complex-0.2.2... Configuring stm-2.4.4.1... Installed split-0.2.3.2 Configuring syb-0.6... Installed storable-complex-0.2.2 Building stm-2.4.4.1... Building syb-0.6... Configuring transformers-compat-0.5.1.4... Installed stm-2.4.4.1 Building transformers-compat-0.5.1.4... Configuring text-1.2.2.2... Installed syb-0.6 Building text-1.2.2.2... Configuring universe-base-1.0.2.1... Installed transformers-compat-0.5.1.4 Building universe-base-1.0.2.1... Configuring void-0.7.2... Installed universe-base-1.0.2.1 Building void-0.7.2... Installed void-0.7.2 Configuring ansi-wl-pprint-0.6.7.3... Building ansi-wl-pprint-0.6.7.3... Configuring crackNum-1.9... Installed ansi-wl-pprint-0.6.7.3 Building crackNum-1.9... Configuring tf-random-0.5... Installed crackNum-1.9 Building tf-random-0.5... Configuring StateVar-1.1.0.4... Installed tf-random-0.5 Configuring vector-0.11.0.0... Installed text-1.2.2.2 Building StateVar-1.1.0.4... Building vector-0.11.0.0... Configuring async-2.1.1.1... Installed StateVar-1.1.0.4 Building async-2.1.1.1... Configuring syz-0.2.0.0... Installed async-2.1.1.1 Building syz-0.2.0.0... Configuring universe-instances-base-1.0... Installed syz-0.2.0.0 Building universe-instances-base-1.0... Configuring tagged-0.8.5... Installed universe-instances-base-1.0 Building tagged-0.8.5... Installed tagged-0.8.5 Configuring optparse-applicative-0.13.2.0... Building optparse-applicative-0.13.2.0... Configuring hashable-1.2.6.1... Installed optparse-applicative-0.13.2.0 Building hashable-1.2.6.1... Configuring QuickCheck-2.10.0.1... Installed hashable-1.2.6.1 Building QuickCheck-2.10.0.1... Configuring contravariant-1.4... Installed vector-0.11.0.0 Building contravariant-1.4... Configuring universe-reverse-instances-1.0... Installed contravariant-1.4 Building universe-reverse-instances-1.0... Configuring distributive-0.5.2... Installed universe-reverse-instances-1.0 Building distributive-0.5.2... Warning: /tmp/pkgConf-distributive-0.5111537764338888228.2: Unrecognized field dynamic-library-dirs on line 22 Installed distributive-0.5.2 Configuring unordered-containers-0.2.8.0... Building unordered-containers-0.2.8.0... Configuring matrix-0.3.5.0... Installed QuickCheck-2.10.0.1 Building matrix-0.3.5.0... Configuring hmatrix-0.18.0.0... Installed unordered-containers-0.2.8.0 Building hmatrix-0.18.0.0... Configuring comonad-5.0.1... Installed matrix-0.3.5.0 Building comonad-5.0.1... Warning: /tmp/pkgConf-comonad-5.01244316437971899228.1: Unrecognized field dynamic-library-dirs on line 29 Installed comonad-5.0.1 Configuring uniplate-1.6.12... Building uniplate-1.6.12... Configuring sbv-7.0... Installed uniplate-1.6.12 Building sbv-7.0... Configuring bifunctors-5.4.2... Installed hmatrix-0.18.0.0 Building bifunctors-5.4.2... Installed bifunctors-5.4.2 Configuring semigroupoids-5.2... Building semigroupoids-5.2... Warning: /tmp/pkgConf-semigroupoids-514321146131067854538.2: Unrecognized field dynamic-library-dirs on line 60 Configuring fortran-src-0.2.0.0... Installed semigroupoids-5.2 Building fortran-src-0.2.0.0... Configuring lattices-1.6.0... Installed sbv-7.0 Building lattices-1.6.0... Installed lattices-1.6.0 Installed fortran-src-0.2.0.0 Configuring camfort-0.903... Building camfort-0.903... Failed to install camfort-0.903 Build log ( /home/builder/.cabal/logs/camfort-0.903.log ): cabal: Entering directory '/tmp/cabal-tmp-1130/camfort-0.903' Configuring camfort-0.903... Building camfort-0.903... Preprocessing library camfort-0.903... [ 1 of 36] Compiling Camfort.Specification.Units.Parser.Types ( src/Camfort/Specification/Units/Parser/Types.hs, dist/build/Camfort/Specification/Units/Parser/Types.o ) [ 2 of 36] Compiling Camfort.Specification.Parser ( src/Camfort/Specification/Parser.hs, dist/build/Camfort/Specification/Parser.o ) [ 3 of 36] Compiling Camfort.Specification.Units.Parser ( dist/build/Camfort/Specification/Units/Parser.hs, dist/build/Camfort/Specification/Units/Parser.o ) [ 4 of 36] Compiling Camfort.Helpers.Vec ( src/Camfort/Helpers/Vec.hs, dist/build/Camfort/Helpers/Vec.o ) [ 5 of 36] Compiling Camfort.Specification.Stencils.Model ( src/Camfort/Specification/Stencils/Model.hs, dist/build/Camfort/Specification/Stencils/Model.o ) [ 6 of 36] Compiling Camfort.Specification.Stencils.Syntax ( src/Camfort/Specification/Stencils/Syntax.hs, dist/build/Camfort/Specification/Stencils/Syntax.o ) [ 7 of 36] Compiling Camfort.Specification.Stencils.DenotationalSemantics ( src/Camfort/Specification/Stencils/DenotationalSemantics.hs, dist/build/Camfort/Specification/Stencils/DenotationalSemantics.o ) src/Camfort/Specification/Stencils/DenotationalSemantics.hs:80:29: error: • No instance for (semigroupoids-5.2:Data.Semigroup.Foldable.Class.Foldable1 []) arising from a use of ‘meets1’ • In the first argument of ‘(.)’, namely ‘meets1’ In the expression: meets1 . map convert' In the second argument of ‘($)’, namely ‘meets1 . map convert' $ rs’ cabal: Leaving directory '/tmp/cabal-tmp-1130/camfort-0.903' cabal: Error: some packages failed to install: camfort-0.903 failed during the building phase. The exception was: ExitFailure 1