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.