Build #7 for claferwiki-0.3.9

[all reports]

Package claferwiki-0.3.9
Install DependencyFailed clafer-0.3.9
Docs NotTried
Tests NotTried
Time submitted 2016-12-10 22:55:56.281086 UTC
Compiler ghc-8.0.1.20161018
OS linux
Arch x86_64
Dependencies MissingH-1.4.0.1, SHA-1.6.4.2, base-4.9.0.0, clafer-0.3.9, containers-0.5.7.1, directory-1.2.6.2, gitit-0.12.2, mtl-2.2.1, network-2.6.3.1, network-uri-2.6.1.0, process-1.4.2.0, split-0.2.3.1, time-1.6.0.1, transformers-0.5.2.0, utf8-string-1.0.1.1
Flags none

Code Coverage

No Code Coverage was submitted for this report.

Build log

[view raw]

Resolving dependencies...
Configuring Diff-0.3.4...
Configuring SHA-1.6.4.2...
Building Diff-0.3.4...
Building SHA-1.6.4.2...
Installed Diff-0.3.4
Configuring base-compat-0.9.1...
Building base-compat-0.9.1...
Installed base-compat-0.9.1
Configuring base-orphans-0.5.4...
Building base-orphans-0.5.4...
Installed base-orphans-0.5.4
Configuring base64-bytestring-1.0.0.1...
Building base64-bytestring-1.0.0.1...
Configuring byteable-0.1.1...
Installed SHA-1.6.4.2
Building byteable-0.1.1...
Configuring call-stack-0.1.0...
Installed base64-bytestring-1.0.0.1
Building call-stack-0.1.0...
Configuring cereal-0.5.4.0...
Installed byteable-0.1.1
Building cereal-0.5.4.0...
Configuring data-default-class-0.1.2.0...
Installed call-stack-0.1.0
Building data-default-class-0.1.2.0...
Configuring data-stringmap-1.0.1.1...
Installed data-default-class-0.1.2.0
Building data-stringmap-1.0.1.1...
Configuring cmdargs-0.10.14...
Installed cereal-0.5.4.0
Building cmdargs-0.10.14...
Configuring digest-0.0.1.2...
Installed data-stringmap-1.0.1.1
Building digest-0.0.1.2...
Configuring dlist-0.8.0.2...
Installed digest-0.0.1.2
Building dlist-0.8.0.2...
Configuring executable-path-0.0.3...
Installed dlist-0.8.0.2
Building executable-path-0.0.3...
Configuring extensible-exceptions-0.1.1.4...
Installed executable-path-0.0.3
Building extensible-exceptions-0.1.1.4...
Configuring ghc-paths-0.1.0.9...
Installed extensible-exceptions-0.1.1.4
Building ghc-paths-0.1.0.9...
Configuring hourglass-0.2.10...
Installed ghc-paths-0.1.0.9
Building hourglass-0.2.10...
Configuring haddock-library-1.4.2...
Installed cmdargs-0.10.14
Building haddock-library-1.4.2...
Configuring html-1.0.1.2...
Installed hourglass-0.2.10
Building html-1.0.1.2...
Configuring hslua-0.4.1...
Installed haddock-library-1.4.2
Building hslua-0.4.1...
Configuring mtl-2.2.1...
Installed html-1.0.1.2
Building mtl-2.2.1...
Configuring memory-0.13...
Installed mtl-2.2.1
Building memory-0.13...
Configuring network-info-0.2.0.8...
Installed hslua-0.4.1
Building network-info-0.2.0.8...
Configuring network-2.6.3.1...
Installed memory-0.13
Configuring old-locale-1.0.0.7...
Installed network-info-0.2.0.8
Building old-locale-1.0.0.7...
Building network-2.6.3.1...
Configuring parallel-3.2.1.0...
Installed old-locale-1.0.0.7
Building parallel-3.2.1.0...
Configuring prelude-extras-0.4.0.3...
Installed parallel-3.2.1.0
Building prelude-extras-0.4.0.3...
Configuring random-1.1...
Installed prelude-extras-0.4.0.3
Configuring primitive-0.6.1.0...
Installed network-2.6.3.1
Building random-1.1...
Building primitive-0.6.1.0...
Configuring safe-0.3.10...
Installed random-1.1
Building safe-0.3.10...
Configuring reflection-2.1.2...
Installed primitive-0.6.1.0
Building reflection-2.1.2...
Configuring semigroups-0.18.2...
Installed safe-0.3.10
Building semigroups-0.18.2...
Configuring stm-2.4.4.1...
Installed semigroups-0.18.2
Building stm-2.4.4.1...
Configuring split-0.2.3.1...
Installed reflection-2.1.2
Configuring syb-0.6...
Installed stm-2.4.4.1
Building split-0.2.3.1...
Building syb-0.6...
Configuring time-locale-compat-0.1.1.3...
Installed split-0.2.3.1
Building time-locale-compat-0.1.1.3...
Configuring transformers-compat-0.5.1.4...
Installed time-locale-compat-0.1.1.3
Building transformers-compat-0.5.1.4...
Configuring unix-compat-0.4.3.1...
Installed syb-0.6
Building unix-compat-0.4.3.1...
Configuring text-1.2.2.1...
Installed transformers-compat-0.5.1.4
Building text-1.2.2.1...
Configuring utf8-string-1.0.1.1...
Installed unix-compat-0.4.3.1
Building utf8-string-1.0.1.1...
Configuring zlib-0.6.1.2...
Installed utf8-string-1.0.1.1
Building zlib-0.6.1.2...
Installed zlib-0.6.1.2
Configuring HUnit-1.5.0.0...
Building HUnit-1.5.0.0...
Configuring data-default-instances-containers-0.0.1...
Installed HUnit-1.5.0.0
Building data-default-instances-containers-0.0.1...
Configuring pem-0.2.2...
Installed data-default-instances-containers-0.0.1
Configuring regex-base-0.93.2...
Installed text-1.2.2.1
Building pem-0.2.2...
Building regex-base-0.93.2...
Configuring data-default-instances-dlist-0.0.1...
Installed pem-0.2.2
Building data-default-instances-dlist-0.0.1...
Configuring asn1-types-0.3.2...
Installed regex-base-0.93.2
Building asn1-types-0.3.2...
Configuring data-default-instances-old-locale-0.0.1...
Installed data-default-instances-dlist-0.0.1
Building data-default-instances-old-locale-0.0.1...
Configuring old-time-1.1.0.3...
Installed data-default-instances-old-locale-0.0.1
Configuring cryptonite-0.20...
Installed asn1-types-0.3.2
Building old-time-1.1.0.3...
Building cryptonite-0.20...
Configuring sendfile-0.7.9...
Installed old-time-1.1.0.3
Building sendfile-0.7.9...
Configuring hslogger-1.2.10...
Installed sendfile-0.7.9
Building hslogger-1.2.10...
Configuring socks-0.5.5...
Installed hslogger-1.2.10
Building socks-0.5.5...
Configuring tf-random-0.5...
Installed socks-0.5.5
Building tf-random-0.5...
Configuring StateVar-1.1.0.4...
Installed tf-random-0.5
Building StateVar-1.1.0.4...
Configuring async-2.1.1...
Installed StateVar-1.1.0.4
Building async-2.1.1...
Configuring vector-0.11.0.0...
Installed async-2.1.1
Building vector-0.11.0.0...
Configuring threads-0.5.1.4...
Installed cryptonite-0.20
Building threads-0.5.1.4...
Configuring mmorph-1.0.9...
Installed threads-0.5.1.4
Building mmorph-1.0.9...
Configuring transformers-base-0.4.4...
Installed mmorph-1.0.9
Building transformers-base-0.4.4...
Configuring tagged-0.8.5...
Installed transformers-base-0.4.4
Building tagged-0.8.5...
Configuring exceptions-0.8.3...
Installed tagged-0.8.5
Building exceptions-0.8.3...
Configuring filemanip-0.3.6.3...
Installed vector-0.11.0.0
Building filemanip-0.3.6.3...
Configuring url-2.1.3...
Installed exceptions-0.8.3
Building url-2.1.3...
Installed filemanip-0.3.6.3
Configuring blaze-builder-0.4.0.2...
Building blaze-builder-0.4.0.2...
Configuring hashable-1.2.4.0...
Installed url-2.1.3
Building hashable-1.2.4.0...
Configuring cmark-0.5.4...
Installed blaze-builder-0.4.0.2
Building cmark-0.5.4...
Configuring mime-types-0.1.0.7...
Installed hashable-1.2.4.0
Building mime-types-0.1.0.7...
Configuring polyparse-1.12...
Installed mime-types-0.1.0.7
Building polyparse-1.12...
Configuring parsec-3.1.11...
Installed cmark-0.5.4
Building parsec-3.1.11...
Configuring string-conversions-0.4...
Installed polyparse-1.12
Building string-conversions-0.4...
Configuring tagsoup-0.14...
Installed parsec-3.1.11
Building tagsoup-0.14...
Configuring system-filepath-0.4.13.4...
Installed string-conversions-0.4
Building system-filepath-0.4.13.4...
Configuring xml-1.3.14...
Installed system-filepath-0.4.13.4
Building xml-1.3.14...
Configuring regex-posix-0.95.2...
Installed tagsoup-0.14
Building regex-posix-0.95.2...
Configuring regex-pcre-builtin-0.94.4.8.8.35...
Installed xml-1.3.14
Building regex-pcre-builtin-0.94.4.8.8.35...
Configuring data-default-0.7.1.1...
Installed regex-posix-0.95.2
Building data-default-0.7.1.1...
Configuring time-compat-0.1.0.3...
Installed data-default-0.7.1.1
Building time-compat-0.1.0.3...
Configuring asn1-encoding-0.9.4...
Installed time-compat-0.1.0.3
Building asn1-encoding-0.9.4...
Configuring zip-archive-0.3.0.5...
Installed regex-pcre-builtin-0.94.4.8.8.35
Configuring QuickCheck-2.9.2...
Installed asn1-encoding-0.9.4
Building QuickCheck-2.9.2...
Building zip-archive-0.3.0.5...
Configuring monad-control-1.0.1.0...
Installed zip-archive-0.3.0.5
Building monad-control-1.0.1.0...
Configuring distributive-0.5.0.2...
Installed monad-control-1.0.1.0
Building distributive-0.5.0.2...
Configuring temporary-1.2.0.4...
Installed distributive-0.5.0.2
Building temporary-1.2.0.4...
Configuring JuicyPixels-3.2.8...
Installed QuickCheck-2.9.2
Building JuicyPixels-3.2.8...
Installed temporary-1.2.0.4
Configuring blaze-markup-0.7.1.1...
Building blaze-markup-0.7.1.1...
Configuring cookie-0.4.2.1...
Installed blaze-markup-0.7.1.1
Building cookie-0.4.2.1...
Configuring blaze-textual-0.2.1.0...
Installed cookie-0.4.2.1
Building blaze-textual-0.2.1.0...
Configuring case-insensitive-1.2.0.7...
Installed blaze-textual-0.2.1.0
Building case-insensitive-1.2.0.7...
Configuring streaming-commons-0.1.16...
Installed case-insensitive-1.2.0.7
Building streaming-commons-0.1.16...
Configuring scientific-0.3.4.9...
Installed streaming-commons-0.1.16
Building scientific-0.3.4.9...
Configuring unordered-containers-0.2.7.1...
Installed scientific-0.3.4.9
Building unordered-containers-0.2.7.1...
Configuring void-0.7.1...
Installed JuicyPixels-3.2.8
Building void-0.7.1...
Configuring uuid-types-1.0.3...
Installed void-0.7.1
Building uuid-types-1.0.3...
Configuring HaXml-1.25.3...
Installed uuid-types-1.0.3
Building HaXml-1.25.3...
Configuring network-uri-2.6.1.0...
Installed unordered-containers-0.2.7.1
Building network-uri-2.6.1.0...
Configuring json-0.9.1...
Installed network-uri-2.6.1.0
Building json-0.9.1...
Configuring uri-0.1.6.4...
Installed json-0.9.1
Building uri-0.1.6.4...
Configuring filestore-0.6.2...
Installed uri-0.1.6.4
Building filestore-0.6.2...
Configuring regex-compat-0.95.1...
Installed filestore-0.6.2
Building regex-compat-0.95.1...
Configuring feed-0.3.11.1...
Installed regex-compat-0.95.1
Building feed-0.3.11.1...
Configuring asn1-parse-0.9.4...
Installed feed-0.3.11.1
Building asn1-parse-0.9.4...
Configuring lifted-base-0.2.3.8...
Installed asn1-parse-0.9.4
Building lifted-base-0.2.3.8...
Installed HaXml-1.25.3
Configuring blaze-html-0.8.1.3...
Configuring http-types-0.9.1...
Installed lifted-base-0.2.3.8
Building blaze-html-0.8.1.3...
Building http-types-0.9.1...
Configuring attoparsec-0.13.1.0...
Installed http-types-0.9.1
Building attoparsec-0.13.1.0...
Configuring HStringTemplate-0.8.5...
Installed attoparsec-0.13.1.0
Building HStringTemplate-0.8.5...
Configuring contravariant-1.4...
Installed blaze-html-0.8.1.3
Building contravariant-1.4...
Configuring uuid-1.3.12...
Installed HStringTemplate-0.8.5
Building uuid-1.3.12...
Configuring json-builder-0.3...
Installed contravariant-1.4
Building json-builder-0.3...
Configuring HTTP-4000.3.3...
Installed uuid-1.3.12
Building HTTP-4000.3.3...
Configuring MissingH-1.4.0.1...
Installed json-builder-0.3
Building MissingH-1.4.0.1...
Configuring x509-1.6.5...
Installed HTTP-4000.3.3
Building x509-1.6.5...
Installed MissingH-1.4.0.1
Configuring enclosed-exceptions-1.0.2...
Building enclosed-exceptions-1.0.2...
Configuring resourcet-1.1.8.1...
Installed x509-1.6.5
Building resourcet-1.1.8.1...
Configuring http-client-0.5.4...
Installed enclosed-exceptions-1.0.2
Building http-client-0.5.4...
Configuring css-text-0.1.2.2...
Installed resourcet-1.1.8.1
Building css-text-0.1.2.2...
Configuring aeson-1.0.2.1...
Installed css-text-0.1.2.2
Building aeson-1.0.2.1...
Configuring happstack-server-7.4.6.2...
Installed http-client-0.5.4
Building happstack-server-7.4.6.2...
Configuring comonad-5...
Installed aeson-1.0.2.1
Building comonad-5...
Configuring highlighting-kate-0.6.3...
Installed comonad-5
Building highlighting-kate-0.6.3...
Configuring recaptcha-0.1.0.3...
Installed happstack-server-7.4.6.2
Building recaptcha-0.1.0.3...
Configuring ConfigFile-1.1.4...
Installed recaptcha-0.1.0.3
Building ConfigFile-1.1.4...
Installed ConfigFile-1.1.4
Configuring x509-store-1.6.2...
Building x509-store-1.6.2...
Configuring xss-sanitize-0.3.5.7...
Installed x509-store-1.6.2
Building xss-sanitize-0.3.5.7...
Configuring conduit-1.2.8...
Installed xss-sanitize-0.3.5.7
Building conduit-1.2.8...
Configuring doctemplates-0.1.0.2...
Installed conduit-1.2.8
Building doctemplates-0.1.0.2...
Configuring pandoc-types-1.17.0.4...
Installed doctemplates-0.1.0.2
Building pandoc-types-1.17.0.4...
Configuring bifunctors-5.4.1...
Installed pandoc-types-1.17.0.4
Building bifunctors-5.4.1...
Installed bifunctors-5.4.1
Configuring x509-validation-1.6.5...
Building x509-validation-1.6.5...
Configuring x509-system-1.6.4...
Installed x509-validation-1.6.5
Building x509-system-1.6.4...
Configuring conduit-extra-1.1.15...
Installed x509-system-1.6.4
Building conduit-extra-1.1.15...
Configuring yaml-0.8.21.1...
Installed conduit-extra-1.1.15
Building yaml-0.8.21.1...
Configuring semigroupoids-5.1...
Installed yaml-0.8.21.1
Building semigroupoids-5.1...
Configuring profunctors-5.2...
Installed semigroupoids-5.1
Building profunctors-5.2...
Configuring texmath-0.8.6.7...
Installed profunctors-5.2
Building texmath-0.8.6.7...
Configuring tls-1.3.8...
Installed highlighting-kate-0.6.3
Building tls-1.3.8...
Configuring free-4.12.4...
Installed tls-1.3.8
Building free-4.12.4...
Configuring connection-0.2.6...
Installed free-4.12.4
Building connection-0.2.6...
Installed connection-0.2.6
Configuring adjunctions-4.3...
Building adjunctions-4.3...
Configuring http-client-tls-0.3.3...
Installed adjunctions-4.3
Building http-client-tls-0.3.3...
Installed http-client-tls-0.3.3
Configuring http-conduit-2.2.3...
Building http-conduit-2.2.3...
Configuring kan-extensions-5.0.1...
Installed http-conduit-2.2.3
Configuring hoauth2-0.5.6.0...
Installed texmath-0.8.6.7
Building kan-extensions-5.0.1...
Building hoauth2-0.5.6.0...
Installed hoauth2-0.5.6.0
Configuring pandoc-1.18...
Installed kan-extensions-5.0.1
Configuring lens-4.15.1...
Building pandoc-1.18...
Building lens-4.15.1...
Installed lens-4.15.1
Configuring lens-aeson-1.0.0.5...
Building lens-aeson-1.0.0.5...
Installed lens-aeson-1.0.0.5
Downloading clafer-0.3.9...
Configuring clafer-0.3.9...
Building clafer-0.3.9...
Failed to install clafer-0.3.9
Build log ( /home/builder/.cabal/logs/clafer-0.3.9.log ):
cabal: Entering directory '/tmp/cabal-tmp-11730/clafer-0.3.9'
Configuring clafer-0.3.9...
Building clafer-0.3.9...
Preprocessing library clafer-0.3.9...
[ 1 of 38] Compiling Paths_clafer     ( dist/build/autogen/Paths_clafer.hs, dist/build/Paths_clafer.o )
[ 2 of 38] Compiling Language.Clafer.SplitJoin ( src/Language/Clafer/SplitJoin.hs, dist/build/Language/Clafer/SplitJoin.o )
[ 3 of 38] Compiling Language.Clafer.Generator.Schema ( src/Language/Clafer/Generator/Schema.hs, dist/build/Language/Clafer/Generator/Schema.o )
[ 4 of 38] Compiling Language.Clafer.Front.LexClafer ( dist/build/Language/Clafer/Front/LexClafer.hs, dist/build/Language/Clafer/Front/LexClafer.o )
[ 5 of 38] Compiling Language.Clafer.Front.AbsClafer ( src/Language/Clafer/Front/AbsClafer.hs, dist/build/Language/Clafer/Front/AbsClafer.o )
[ 6 of 38] Compiling Language.Clafer.Front.ErrM ( src/Language/Clafer/Front/ErrM.hs, dist/build/Language/Clafer/Front/ErrM.o )
[ 7 of 38] Compiling Language.Clafer.Front.ParClafer ( dist/build/Language/Clafer/Front/ParClafer.hs, dist/build/Language/Clafer/Front/ParClafer.o )
[ 8 of 38] Compiling Language.Clafer.Front.PrintClafer ( src/Language/Clafer/Front/PrintClafer.hs, dist/build/Language/Clafer/Front/PrintClafer.o )

src/Language/Clafer/Front/PrintClafer.hs:113:59: warning: [-Wname-shadowing]
    This binding for ‘init’ shadows the existing binding
      imported from ‘Prelude’ at src/Language/Clafer/Front/PrintClafer.hs:2:8-40
      (and originally defined in ‘GHC.List’)

src/Language/Clafer/Front/PrintClafer.hs:162:24: warning: [-Wname-shadowing]
    This binding for ‘exp’ shadows the existing binding
      imported from ‘Prelude’ at src/Language/Clafer/Front/PrintClafer.hs:2:8-40
      (and originally defined in ‘GHC.Float’)

src/Language/Clafer/Front/PrintClafer.hs:202:24: warning: [-Wname-shadowing]
    This binding for ‘exp’ shadows the existing binding
      imported from ‘Prelude’ at src/Language/Clafer/Front/PrintClafer.hs:2:8-40
      (and originally defined in ‘GHC.Float’)

src/Language/Clafer/Front/PrintClafer.hs:203:20: warning: [-Wname-shadowing]
    This binding for ‘exp’ shadows the existing binding
      imported from ‘Prelude’ at src/Language/Clafer/Front/PrintClafer.hs:2:8-40
      (and originally defined in ‘GHC.Float’)

src/Language/Clafer/Front/PrintClafer.hs:204:32: warning: [-Wname-shadowing]
    This binding for ‘exp’ shadows the existing binding
      imported from ‘Prelude’ at src/Language/Clafer/Front/PrintClafer.hs:2:8-40
      (and originally defined in ‘GHC.Float’)

src/Language/Clafer/Front/PrintClafer.hs:205:28: warning: [-Wname-shadowing]
    This binding for ‘exp’ shadows the existing binding
      imported from ‘Prelude’ at src/Language/Clafer/Front/PrintClafer.hs:2:8-40
      (and originally defined in ‘GHC.Float’)
[ 9 of 38] Compiling Language.Clafer.Intermediate.Intclafer ( src/Language/Clafer/Intermediate/Intclafer.hs, dist/build/Language/Clafer/Intermediate/Intclafer.o )
[10 of 38] Compiling Language.Clafer.Generator.Stats ( src/Language/Clafer/Generator/Stats.hs, dist/build/Language/Clafer/Generator/Stats.o )
[11 of 38] Compiling Language.Clafer.Intermediate.StringAnalyzer ( src/Language/Clafer/Intermediate/StringAnalyzer.hs, dist/build/Language/Clafer/Intermediate/StringAnalyzer.o )
[12 of 38] Compiling Language.Clafer.QNameUID ( src/Language/Clafer/QNameUID.hs, dist/build/Language/Clafer/QNameUID.o )
[13 of 38] Compiling Language.Clafer.JSONMetaData ( src/Language/Clafer/JSONMetaData.hs, dist/build/Language/Clafer/JSONMetaData.o )
[14 of 38] Compiling Language.Clafer.Intermediate.Tracing ( src/Language/Clafer/Intermediate/Tracing.hs, dist/build/Language/Clafer/Intermediate/Tracing.o )
[15 of 38] Compiling Language.Clafer.Css ( src/Language/Clafer/Css.hs, dist/build/Language/Clafer/Css.o )
[16 of 38] Compiling Language.Clafer.Common ( src/Language/Clafer/Common.hs, dist/build/Language/Clafer/Common.o )
[17 of 38] Compiling Language.Clafer.Generator.Choco ( src/Language/Clafer/Generator/Choco.hs, dist/build/Language/Clafer/Generator/Choco.o )

src/Language/Clafer/Generator/Choco.hs:194:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.
[18 of 38] Compiling Language.Clafer.Generator.Concat ( src/Language/Clafer/Generator/Concat.hs, dist/build/Language/Clafer/Generator/Concat.o )
[19 of 38] Compiling Language.Clafer.Generator.Python ( src/Language/Clafer/Generator/Python.hs, dist/build/Language/Clafer/Generator/Python.o )

src/Language/Clafer/Generator/Python.hs:192:1: warning: [-Wtabs]
    Tab character found here.
    Please use spaces instead.

src/Language/Clafer/Generator/Python.hs:240:5: warning: [-Wunused-local-binds]
    Defined but not used: ‘bitwidth’
[20 of 38] Compiling Language.Clafer.Generator.Xml ( src/Language/Clafer/Generator/Xml.hs, dist/build/Language/Clafer/Generator/Xml.o )
[21 of 38] Compiling Language.Clafer.Intermediate.Desugarer ( src/Language/Clafer/Intermediate/Desugarer.hs, dist/build/Language/Clafer/Intermediate/Desugarer.o )
[22 of 38] Compiling Language.Clafer.Intermediate.SimpleScopeAnalyzer ( src/Language/Clafer/Intermediate/SimpleScopeAnalyzer.hs, dist/build/Language/Clafer/Intermediate/SimpleScopeAnalyzer.o )
[23 of 38] Compiling Language.Clafer.Intermediate.Transformer ( src/Language/Clafer/Intermediate/Transformer.hs, dist/build/Language/Clafer/Intermediate/Transformer.o )
[24 of 38] Compiling Language.Clafer.Comments ( src/Language/Clafer/Comments.hs, dist/build/Language/Clafer/Comments.o )
[25 of 38] Compiling GetURL           ( src/GetURL.hs, dist/build/GetURL.o )
[26 of 38] Compiling Language.Clafer.ClaferArgs ( src/Language/Clafer/ClaferArgs.hs, dist/build/Language/Clafer/ClaferArgs.o )
[27 of 38] Compiling Language.Clafer.Generator.Alloy ( src/Language/Clafer/Generator/Alloy.hs, dist/build/Language/Clafer/Generator/Alloy.o )

src/Language/Clafer/Generator/Alloy.hs:340:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘genPathConst’

src/Language/Clafer/Generator/Alloy.hs:348:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘isRefPath’

src/Language/Clafer/Generator/Alloy.hs:352:1: warning: [-Wunused-top-binds]
    Defined but not used: ‘isSimplePath’
[28 of 38] Compiling Language.Clafer.Intermediate.ScopeAnalysis ( src/Language/Clafer/Intermediate/ScopeAnalysis.hs, dist/build/Language/Clafer/Intermediate/ScopeAnalysis.o )
[29 of 38] Compiling Language.ClaferT ( src/Language/ClaferT.hs, dist/build/Language/ClaferT.o )

src/Language/ClaferT.hs:59:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Error’ is deprecated:
      Use Control.Monad.Except instead

src/Language/ClaferT.hs:157:18: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/ClaferT.hs:190:10: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/ClaferT.hs:190:10: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/ClaferT.hs:193:10: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/ClaferT.hs:193:10: warning: [-Wdeprecations]
    In the use of type constructor or class ‘Error’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/ClaferT.hs:194:26: warning: [-Wdeprecations]
    In the use of ‘strMsg’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/ClaferT.hs:328:36: warning: [-Wdeprecations]
    In the use of ‘runErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
[30 of 38] Compiling Language.Clafer.Front.LayoutResolver ( src/Language/Clafer/Front/LayoutResolver.hs, dist/build/Language/Clafer/Front/LayoutResolver.o )
[31 of 38] Compiling Language.Clafer.Generator.Html ( src/Language/Clafer/Generator/Html.hs, dist/build/Language/Clafer/Generator/Html.o )

src/Language/Clafer/Generator/Html.hs:429:1: warning: [-Wtabs]
    Tab character found here, and in 25 further locations.
    Please use spaces instead.
[32 of 38] Compiling Language.Clafer.Generator.Graph ( src/Language/Clafer/Generator/Graph.hs, dist/build/Language/Clafer/Generator/Graph.o )
[33 of 38] Compiling Language.Clafer.Intermediate.ResolverName ( src/Language/Clafer/Intermediate/ResolverName.hs, dist/build/Language/Clafer/Intermediate/ResolverName.o )

src/Language/Clafer/Intermediate/ResolverName.hs:26:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Language/Clafer/Intermediate/ResolverName.hs:28:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Error’ is deprecated:
      Use Control.Monad.Except instead

src/Language/Clafer/Intermediate/ResolverName.hs:152:37: warning: [-Wdeprecations]
    In the use of ‘runErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/Clafer/Intermediate/ResolverName.hs:152:56: warning: [-Wdeprecations]
    In the use of data constructor ‘ErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/Clafer/Intermediate/ResolverName.hs:163:39: warning: [-Wdeprecations]
    In the use of type constructor or class ‘ErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/Clafer/Intermediate/ResolverName.hs:164:13: warning: [-Wdeprecations]
    In the use of data constructor ‘ErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"

src/Language/Clafer/Intermediate/ResolverName.hs:167:20: warning: [-Wdeprecations]
    In the use of ‘runErrorT’
    (imported from Control.Monad.Error, but defined in Control.Monad.Trans.Error):
    Deprecated: "Use Control.Monad.Trans.Except instead"
[34 of 38] Compiling Language.Clafer.Intermediate.ResolverInheritance ( src/Language/Clafer/Intermediate/ResolverInheritance.hs, dist/build/Language/Clafer/Intermediate/ResolverInheritance.o )

src/Language/Clafer/Intermediate/ResolverInheritance.hs:25:1: warning: [-Wunused-imports]
    The import of ‘Control.Applicative’ is redundant
      except perhaps to import instances from ‘Control.Applicative’
    To import instances alone, use: import Control.Applicative()

src/Language/Clafer/Intermediate/ResolverInheritance.hs:27:1: warning: [-Wdeprecations]
    Module ‘Control.Monad.Error’ is deprecated:
      Use Control.Monad.Except instead

src/Language/Clafer/Intermediate/ResolverInheritance.hs:58:14: warning: [-Wunused-matches]
    Defined but not used: ‘superIClafer'’
[35 of 38] Compiling Language.Clafer.Intermediate.ResolverType ( src/Language/Clafer/Intermediate/ResolverType.hs, dist/build/Language/Clafer/Intermediate/ResolverType.o )

src/Language/Clafer/Intermediate/ResolverType.hs:246:3: error:
    • Non type-variable argument
        in the constraint: MonadError (CErr Span) m
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        testBoolean :: forall (m :: * -> *).
                       MonadError (CErr Span) m =>
                       PExp -> m PExp
      In an equation for ‘resolveTElement’:
          resolveTElement parent' (IEConstraint _isHard _pexp)
            = IEConstraint _isHard
              <$> (testBoolean =<< resolveTConstraint parent' _pexp)
            where
                testBoolean pexp'
                  = do { unless (typeOf pexp' == TBoolean)
                         $ throwError
                           $ SemanticErr
                               (_inPos pexp')
                               ("Cannot construct constraint on type '"
                                ++ str (typeOf pexp') ++ "'");
                         .... }

src/Language/Clafer/Intermediate/ResolverType.hs:327:11: error:
    • Non type-variable argument
        in the constraint: MonadError (CErr Span) f
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        test :: forall (f :: * -> *).
                MonadError (CErr Span) f =>
                Bool -> f ()
      In the second argument of ‘($)’, namely
        ‘do { arg' <- lift $ ListT $ resolveTPExp arg;
              let t = typeOf arg';
              let test c
                    = unless c
                      $ throwError
                        $ SemanticErr
                            _inPos
                            ("Function '"
                             ++
                               _op ++ "' cannot be performed on " ++ _op ++ " '" ++ str t ++ "'");
              let result
                    | _op == iNot = test (t == TBoolean) >> return TBoolean
                    | _op == iCSet = return TInteger
                    | _op == iSumSet = test (t == TInteger) >> return TInteger
                    | _op == iProdSet = test (t == TInteger) >> return TInteger
                    | _op `elem` [...] = test (numeric t) >> return t
                    | otherwise = assert False $ error $ "Unknown op '" ++ _op ++ "'";
              .... }’
      In the second argument of ‘($)’, namely
        ‘runErrorT
         $ do { arg' <- lift $ ListT $ resolveTPExp arg;
                let t = typeOf arg';
                let test c
                      = unless c
                        $ throwError
                          $ SemanticErr
                              _inPos
                              ("Function '"
                               ++
                                 _op ++ "' cannot be performed on " ++ _op ++ " '" ++ str t ++ "'");
                let result
                      | _op == iNot = test (t == TBoolean) >> return TBoolean
                      | _op == iCSet = return TInteger
                      | _op == iSumSet = test (t == TInteger) >> return TInteger
                      | _op == iProdSet = test (t == TInteger) >> return TInteger
                      | _op `elem` [...] = test (numeric t) >> return t
                      | otherwise = assert False $ error $ "Unknown op '" ++ _op ++ "'";
                .... }’

src/Language/Clafer/Intermediate/ResolverType.hs:361:11: error:
    • Non type-variable argument
        in the constraint: MonadError (CErr Span) m
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        testIntersect :: forall (m :: * -> *).
                         MonadError (CErr Span) m =>
                         IType -> IType -> m IType
      In the second argument of ‘($)’, namely
        ‘do { arg1' <- lift $ ListT $ resolveTPExp arg1;
              arg2' <- lift $ ListT $ resolveTPExp arg2;
              let t1 = typeOf arg1';
              let t2 = typeOf arg2';
              .... }’
      In the second argument of ‘($)’, namely
        ‘runErrorT
         $ do { arg1' <- lift $ ListT $ resolveTPExp arg1;
                arg2' <- lift $ ListT $ resolveTPExp arg2;
                let t1 = typeOf arg1';
                let t2 = typeOf arg2';
                .... }’

src/Language/Clafer/Intermediate/ResolverType.hs:367:11: error:
    • Non type-variable argument
        in the constraint: MonadError (CErr Span) f
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        testNotSame :: forall (f :: * -> *).
                       MonadError (CErr Span) f =>
                       PExp -> PExp -> f ()
      In the second argument of ‘($)’, namely
        ‘do { arg1' <- lift $ ListT $ resolveTPExp arg1;
              arg2' <- lift $ ListT $ resolveTPExp arg2;
              let t1 = typeOf arg1';
              let t2 = typeOf arg2';
              .... }’
      In the second argument of ‘($)’, namely
        ‘runErrorT
         $ do { arg1' <- lift $ ListT $ resolveTPExp arg1;
                arg2' <- lift $ ListT $ resolveTPExp arg2;
                let t1 = typeOf arg1';
                let t2 = typeOf arg2';
                .... }’

src/Language/Clafer/Intermediate/ResolverType.hs:370:11: error:
    • Non type-variable argument
        in the constraint: MonadError (CErr Span) f
      (Use FlexibleContexts to permit this)
    • When checking the inferred type
        test :: forall (f :: * -> *).
                MonadError (CErr Span) f =>
                Bool -> f ()
      In the second argument of ‘($)’, namely
        ‘do { arg1' <- lift $ ListT $ resolveTPExp arg1;
              arg2' <- lift $ ListT $ resolveTPExp arg2;
              let t1 = typeOf arg1';
              let t2 = typeOf arg2';
              .... }’
      In the second argument of ‘($)’, namely
        ‘runErrorT
         $ do { arg1' <- lift $ ListT $ resolveTPExp arg1;
                arg2' <- lift $ ListT $ resolveTPExp arg2;
                let t1 = typeOf arg1';
                let t2 = typeOf arg2';
                .... }’
cabal: Leaving directory '/tmp/cabal-tmp-11730/clafer-0.3.9'
Installed pandoc-1.18
Configuring gitit-0.12.2...
Building gitit-0.12.2...
Installed gitit-0.12.2
cabal: Error: some packages failed to install:
clafer-0.3.9 failed during the building phase. The exception was:
ExitFailure 1
claferwiki-0.3.9 depends on clafer-0.3.9 which failed to install.

Test log

No test log was submitted for this report.