Build #1 for blagda-0.1.0.0
| Package | blagda-0.1.0.0 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2022-03-02 05:13:01.109256909 UTC |
|---|---|
| Compiler | ghc-8.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | Agda-2.6.2.1, SHA-1.6.4.4, aeson-2.0.3.0, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, directory-1.3.6.0, mtl-2.2.2, mustache-2.4.0, pandoc-2.17.1.1, pandoc-types-1.22.1, process-1.6.9.0, shake-0.19.6, syb-0.7.2.1, tagsoup-0.14.8, text-1.2.3.2, time-1.9.3, unordered-containers-0.2.16.0, uri-encode-1.5.0.7, Agda-2.6.2.1, SHA-1.6.4.4, aeson-2.0.3.0, base-4.14.1.0, bytestring-0.10.10.0, containers-0.6.2.1, directory-1.3.6.0, mtl-2.2.2, mustache-2.4.0, pandoc-2.17.1.1, pandoc-types-1.22.1, process-1.6.9.0, shake-0.19.6, syb-0.7.2.1, tagsoup-0.14.8, text-1.2.3.2, time-1.9.3, unordered-containers-0.2.16.0, uri-encode-1.5.0.7 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Starting STMonadTrans-0.4.6
Starting HsYAML-0.2.1.0
Starting StateVar-1.2.2
Starting SHA-1.6.4.4
Building HsYAML-0.2.1.0
Building STMonadTrans-0.4.6
Building StateVar-1.2.2
Building SHA-1.6.4.4
Completed StateVar-1.2.2
Starting appar-0.1.8
Building appar-0.1.8
Completed STMonadTrans-0.4.6
Starting base-compat-0.12.1
Building base-compat-0.12.1
Completed appar-0.1.8
Starting base-orphans-0.8.6
Building base-orphans-0.8.6
Completed SHA-1.6.4.4
Starting base16-bytestring-1.0.2.0
Building base16-bytestring-1.0.2.0
Completed base-compat-0.12.1
Starting base64-bytestring-1.2.1.0
Completed base16-bytestring-1.0.2.0
Starting basement-0.0.13
Completed base-orphans-0.8.6
Starting blaze-builder-0.4.2.2
Building base64-bytestring-1.2.1.0
Building basement-0.0.13
Building blaze-builder-0.4.2.2
Completed base64-bytestring-1.2.1.0
Starting byteorder-1.0.4
Building byteorder-1.0.4
Completed blaze-builder-0.4.2.2
Starting cabal-doctest-1.0.9
Completed HsYAML-0.2.1.0
Starting cereal-0.5.8.2
Completed byteorder-1.0.4
Starting clock-0.8.3
Building cabal-doctest-1.0.9
Building cereal-0.5.8.2
Building clock-0.8.3
Completed cabal-doctest-1.0.9
Starting cmdargs-0.10.21
Completed clock-0.8.3
Starting colour-2.3.6
Building cmdargs-0.10.21
Building colour-2.3.6
Completed cereal-0.5.8.2
Starting data-default-class-0.1.2.0
Building data-default-class-0.1.2.0
Completed data-default-class-0.1.2.0
Starting data-hash-0.2.0.1
Building data-hash-0.2.0.1
Completed colour-2.3.6
Starting digest-0.0.1.3
Building digest-0.0.1.3
Completed data-hash-0.2.0.1
Starting dlist-1.0
Completed digest-0.0.1.3
Starting emojis-0.1.2
Building dlist-1.0
Building emojis-0.1.2
Completed dlist-1.0
Starting file-embed-0.0.15.0
Building file-embed-0.0.15.0
Completed file-embed-0.0.15.0
Starting haddock-library-1.10.0
Building haddock-library-1.10.0
Completed cmdargs-0.10.21
Starting haskell-lexer-1.1
Building haskell-lexer-1.1
Completed haddock-library-1.10.0
Starting heaps-0.4
Building heaps-0.4
Completed heaps-0.4
Starting hourglass-0.2.12
Building hourglass-0.2.12
Completed emojis-0.1.2
Starting indexed-traversable-0.1.2
Building indexed-traversable-0.1.2
Completed basement-0.0.13
Starting integer-logarithms-1.0.3.1
Building integer-logarithms-1.0.3.1
Completed integer-logarithms-1.0.3.1
Starting jira-wiki-markup-1.4.0
Building jira-wiki-markup-1.4.0
Completed hourglass-0.2.12
Starting js-dgtable-0.5.2
Building js-dgtable-0.5.2
Completed indexed-traversable-0.1.2
Starting js-flot-0.8.3
Building js-flot-0.8.3
Completed js-dgtable-0.5.2
Starting js-jquery-3.3.1
Building js-jquery-3.3.1
Completed js-flot-0.8.3
Starting lua-2.1.0
Completed js-jquery-3.3.1
Starting mime-types-0.1.0.9
Building lua-2.1.0
Building mime-types-0.1.0.9
Completed jira-wiki-markup-1.4.0
Starting murmur-hash-0.1.0.10
Building murmur-hash-0.1.0.10
Completed murmur-hash-0.1.0.10
Starting network-3.1.2.7
Completed mime-types-0.1.0.9
Starting old-locale-1.0.0.7
Building old-locale-1.0.0.7
Building network-3.1.2.7
Completed old-locale-1.0.0.7
Starting parallel-3.2.2.0
Building parallel-3.2.2.0
Completed haskell-lexer-1.1
Starting primitive-0.7.3.0
Building primitive-0.7.3.0
Completed parallel-3.2.2.0
Starting regex-base-0.94.0.2
Building regex-base-0.94.0.2
Completed regex-base-0.94.0.2
Starting safe-0.3.19
Building safe-0.3.19
Completed lua-2.1.0
Starting split-0.2.3.4
Building split-0.2.3.4
Completed split-0.2.3.4
Starting splitmix-0.1.0.4
Completed network-3.1.2.7
Starting syb-0.7.2.1
Building splitmix-0.1.0.4
Completed safe-0.3.19
Starting tagged-0.8.6.1
Building syb-0.7.2.1
Building tagged-0.8.6.1
Completed splitmix-0.1.0.4
Starting tagsoup-0.14.8
Building tagsoup-0.14.8
Completed tagged-0.8.6.1
Starting th-abstraction-0.4.3.0
Completed syb-0.7.2.1
Starting th-compat-0.1.3
Building th-abstraction-0.4.3.0
Building th-compat-0.1.3
Completed primitive-0.7.3.0
Starting transformers-compat-0.7.1
Building transformers-compat-0.7.1
Completed th-compat-0.1.3
Starting unicode-data-0.3.0
Building unicode-data-0.3.0
Completed th-abstraction-0.4.3.0
Starting unliftio-core-0.2.0.1
Completed transformers-compat-0.7.1
Starting utf8-string-1.0.2
Building unliftio-core-0.2.0.1
Building utf8-string-1.0.2
Completed unliftio-core-0.2.0.1
Starting xml-1.3.14
Building xml-1.3.14
Completed utf8-string-1.0.2
Starting xml-types-0.3.8
Building xml-types-0.3.8
Completed tagsoup-0.14.8
Starting zlib-0.6.2.3
Completed xml-1.3.14
Starting contravariant-1.5.5
Building zlib-0.6.2.3
Building contravariant-1.5.5
Completed xml-types-0.3.8
Starting gitrev-1.3.1
Building gitrev-1.3.1
Completed contravariant-1.5.5
Starting hashable-1.4.0.2
Building hashable-1.4.0.2
Completed gitrev-1.3.1
Starting blaze-markup-0.8.2.8
Completed zlib-0.6.2.3
Starting extra-1.7.10
Building blaze-markup-0.8.2.8
Building extra-1.7.10
Completed hashable-1.4.0.2
Starting data-default-instances-containers-0.0.1
Building data-default-instances-containers-0.0.1
Completed blaze-markup-0.8.2.8
Starting cookie-0.4.5
Building cookie-0.4.5
Completed data-default-instances-containers-0.0.1
Starting ansi-terminal-0.11.1
Building ansi-terminal-0.11.1
Completed extra-1.7.10
Starting data-default-instances-dlist-0.0.1
Completed cookie-0.4.5
Building data-default-instances-dlist-0.0.1
Starting memory-0.16.0
Building memory-0.16.0
Completed data-default-instances-dlist-0.0.1
Starting data-default-instances-old-locale-0.0.1
Building data-default-instances-old-locale-0.0.1
Completed ansi-terminal-0.11.1
Starting pretty-show-1.10
Completed data-default-instances-old-locale-0.0.1
Starting regex-tdfa-1.3.1.2
Building pretty-show-1.10
Building regex-tdfa-1.3.1.2
Completed memory-0.16.0
Starting lpeg-1.0.3
Completed pretty-show-1.10
Starting hslua-core-2.1.0
Building lpeg-1.0.3
Building hslua-core-2.1.0
Completed unicode-data-0.3.0
Starting boxes-0.1.5
Building boxes-0.1.5
Completed lpeg-1.0.3
Starting socks-0.6.1
Building socks-0.6.1
Completed boxes-0.1.5
Starting iproute-1.7.12
Completed hslua-core-2.1.0
Starting doclayout-0.3.1.1
Building iproute-1.7.12
Building doclayout-0.3.1.1
Completed socks-0.6.1
Starting random-1.2.1
Building random-1.2.1
Completed regex-tdfa-1.3.1.2
Starting distributive-0.6.2.1
Completed doclayout-0.3.1.1
Building distributive-0.6.2.1
Starting vector-0.12.3.1
Completed iproute-1.7.12
Starting network-uri-2.6.4.1
Building vector-0.12.3.1
Building network-uri-2.6.4.1
Completed distributive-0.6.2.1
Starting th-lift-0.8.2
Building th-lift-0.8.2
Completed th-lift-0.8.2
Starting transformers-base-0.4.6
Completed network-uri-2.6.4.1
Starting errors-2.3.0
Building transformers-base-0.4.6
Building errors-2.3.0
Completed transformers-base-0.4.6
Starting equivalence-0.4
Completed random-1.2.1
Starting Glob-0.10.2
Building equivalence-0.4
Building Glob-0.10.2
Completed errors-2.3.0
Starting resourcet-1.2.4.3
Building resourcet-1.2.4.3
Completed equivalence-0.4
Starting zip-archive-0.4.1
Building zip-archive-0.4.1
Completed Glob-0.10.2
Starting unordered-containers-0.2.16.0
Completed resourcet-1.2.4.3
Building unordered-containers-0.2.16.0
Starting time-compat-1.9.6.1
Building time-compat-1.9.6.1
Completed zip-archive-0.4.1
Starting text-short-0.1.5
Building text-short-0.1.5
Completed time-compat-1.9.6.1
Starting scientific-0.3.7.0
Building scientific-0.3.7.0
Completed text-short-0.1.5
Starting data-fix-0.3.2
Building data-fix-0.3.2
Completed scientific-0.3.7.0
Starting case-insensitive-1.2.1.0
Completed data-fix-0.3.2
Starting async-2.2.4
Building case-insensitive-1.2.1.0
Completed unordered-containers-0.2.16.0
Starting OneTuple-0.3.1
Building async-2.2.4
Building OneTuple-0.3.1
Completed case-insensitive-1.2.1.0
Starting blaze-html-0.9.1.2
Building blaze-html-0.9.1.2
Completed async-2.2.4
Starting filepattern-0.1.2
Completed OneTuple-0.3.1
Starting data-default-0.7.1.1
Building filepattern-0.1.2
Building data-default-0.7.1.1
Completed data-default-0.7.1.1
Starting pem-0.2.4
Building pem-0.2.4
Completed filepattern-0.1.2
Starting cryptonite-0.29
Building cryptonite-0.29
Completed pem-0.2.4
Starting asn1-types-0.3.4
Building asn1-types-0.3.4
Completed asn1-types-0.3.4
Starting unicode-transforms-0.4.0
Building unicode-transforms-0.4.0
Completed vector-0.12.3.1
Starting hslua-marshalling-2.1.0
Building hslua-marshalling-2.1.0
Completed unicode-transforms-0.4.0
Starting comonad-5.0.8
Building comonad-5.0.8
Completed hslua-marshalling-2.1.0
Starting uri-encode-1.5.0.7
Building uri-encode-1.5.0.7
Completed uri-encode-1.5.0.7
Starting monad-control-1.0.3.1
Building monad-control-1.0.3.1
Completed comonad-5.0.8
Starting uuid-types-1.0.5
Completed blaze-html-0.9.1.2
Starting temporary-1.3
Building uuid-types-1.0.5
Building temporary-1.3
Completed monad-control-1.0.3.1
Starting edit-distance-0.2.2.1
Building edit-distance-0.2.2.1
Completed temporary-1.3
Starting QuickCheck-2.14.2
Building QuickCheck-2.14.2
Completed uuid-types-1.0.5
Starting text-conversions-0.3.1
Building text-conversions-0.3.1
Completed edit-distance-0.2.2.1
Starting attoparsec-0.14.4
Building attoparsec-0.14.4
Completed text-conversions-0.3.1
Starting uniplate-1.6.13
Building uniplate-1.6.13
Completed uniplate-1.6.13
Starting http-types-0.12.3
Building http-types-0.12.3
Completed attoparsec-0.14.4
Starting typed-process-0.2.8.0
Building typed-process-0.2.8.0
Completed http-types-0.12.3
Starting streaming-commons-0.2.2.4
Building streaming-commons-0.2.2.4
Completed typed-process-0.2.8.0
Starting base-compat-batteries-0.12.1
Building base-compat-batteries-0.12.1
Completed QuickCheck-2.14.2
Starting shake-0.19.6
Building shake-0.19.6
Completed base-compat-batteries-0.12.1
Starting asn1-encoding-0.9.6
Completed streaming-commons-0.2.2.4
Starting vector-algorithms-0.8.0.4
Building asn1-encoding-0.9.6
Building vector-algorithms-0.8.0.4
Completed asn1-encoding-0.9.6
Starting th-lift-instances-0.1.19
Building th-lift-instances-0.1.19
Completed th-lift-instances-0.1.19
Starting indexed-traversable-instances-0.1.1
Building indexed-traversable-instances-0.1.1
Completed indexed-traversable-instances-0.1.1
Starting hashtables-1.3
Completed vector-algorithms-0.8.0.4
Starting JuicyPixels-3.3.6
Building hashtables-1.3
Building JuicyPixels-3.3.6
Completed hashtables-1.3
Starting commonmark-0.2.1.1
Building commonmark-0.2.1.1
Completed cryptonite-0.29
Starting hslua-objectorientation-2.1.0
Building hslua-objectorientation-2.1.0
Completed hslua-objectorientation-2.1.0
Starting hslua-classes-2.1.0
Building hslua-classes-2.1.0
Completed hslua-classes-2.1.0
Starting bifunctors-5.5.11
Building bifunctors-5.5.11
Completed bifunctors-5.5.11
Starting http-client-0.7.11
Building http-client-0.7.11
Completed commonmark-0.2.1.1
Starting asn1-parse-0.9.5
Completed JuicyPixels-3.3.6
Starting unicode-collation-0.1.3.1
Building asn1-parse-0.9.5
Building unicode-collation-0.1.3.1
Completed shake-0.19.6
Starting witherable-0.4.2
Completed asn1-parse-0.9.5
Starting mono-traversable-1.0.15.3
Building witherable-0.4.2
Building mono-traversable-1.0.15.3
Completed http-client-0.7.11
Starting hslua-packaging-2.1.0
Completed witherable-0.4.2
Starting semigroupoids-5.3.7
Building hslua-packaging-2.1.0
Building semigroupoids-5.3.7
Completed hslua-packaging-2.1.0
Starting assoc-1.0.2
Building assoc-1.0.2
Completed assoc-1.0.2
Starting commonmark-extensions-0.2.3
Building commonmark-extensions-0.2.3
Completed mono-traversable-1.0.15.3
Starting x509-1.7.6
Building x509-1.7.6
Completed semigroupoids-5.3.7
Starting hslua-module-version-1.0.2
Completed unicode-collation-0.1.3.1
Starting hslua-module-text-1.0.2
Building hslua-module-version-1.0.2
Building hslua-module-text-1.0.2
Completed commonmark-extensions-0.2.3
Starting hslua-module-system-1.0.2
Completed hslua-module-version-1.0.2
Starting hslua-module-path-1.0.2
Building hslua-module-system-1.0.2
Completed hslua-module-text-1.0.2
Starting hslua-2.1.0
Building hslua-module-path-1.0.2
Building hslua-2.1.0
Completed hslua-module-system-1.0.2
Starting these-1.1.1.1
Completed hslua-2.1.0
Starting conduit-1.3.4.2
Completed hslua-module-path-1.0.2
Building these-1.1.1.1
Completed x509-1.7.6
Starting x509-store-1.6.9
Building conduit-1.3.4.2
Building x509-store-1.6.9
Completed x509-store-1.6.9
Starting x509-system-1.6.7
Starting x509-validation-1.6.12
Completed these-1.1.1.1
Starting strict-0.4.0.1
Building x509-system-1.6.7
Building x509-validation-1.6.12
Building strict-0.4.0.1
Completed x509-system-1.6.7
Starting semialign-1.2.0.1
Building semialign-1.2.0.1
Completed x509-validation-1.6.12
Starting tls-1.5.7
Building tls-1.5.7
Completed strict-0.4.0.1
Completed semialign-1.2.0.1
Starting aeson-2.0.3.0
Building aeson-2.0.3.0
Completed conduit-1.3.4.2
Starting libyaml-0.1.2
Starting conduit-extra-1.3.5
Building conduit-extra-1.3.5
Building libyaml-0.1.2
Completed conduit-extra-1.3.5
Starting xml-conduit-1.9.1.1
Completed libyaml-0.1.2
Building xml-conduit-1.9.1.1
Completed xml-conduit-1.9.1.1
Completed tls-1.5.7
Starting connection-0.3.1
Building connection-0.3.1
Completed connection-0.3.1
Starting http-client-tls-0.3.6.1
Building http-client-tls-0.3.6.1
Completed aeson-2.0.3.0
Starting pandoc-types-1.22.1
Starting yaml-0.11.8.0
Starting skylighting-core-0.12.3
Completed http-client-tls-0.3.6.1
Starting ipynb-0.2
Building pandoc-types-1.22.1
Building yaml-0.11.8.0
Building skylighting-core-0.12.3
Building ipynb-0.2
Completed ipynb-0.2
Starting hslua-aeson-2.1.0
Building hslua-aeson-2.1.0
Completed yaml-0.11.8.0
Starting doctemplates-0.10.0.1
Building doctemplates-0.10.0.1
Completed hslua-aeson-2.1.0
Starting aeson-pretty-0.8.9
Building aeson-pretty-0.8.9
Completed aeson-pretty-0.8.9
Starting Agda-2.6.2.1
Completed doctemplates-0.10.0.1
Starting mustache-2.4.0
Building mustache-2.4.0
Building Agda-2.6.2.1
Completed skylighting-core-0.12.3
Starting skylighting-0.12.3
Building skylighting-0.12.3
Completed mustache-2.4.0
Completed pandoc-types-1.22.1
Starting pandoc-lua-marshal-0.1.5.1
Starting texmath-0.12.4
Building pandoc-lua-marshal-0.1.5.1
Building texmath-0.12.4
Completed skylighting-0.12.3
Starting commonmark-pandoc-0.2.1.2
Building commonmark-pandoc-0.2.1.2
Completed pandoc-lua-marshal-0.1.5.1
Starting citeproc-0.6.0.1
Building citeproc-0.6.0.1
Completed commonmark-pandoc-0.2.1.2
Completed citeproc-0.6.0.1
Completed texmath-0.12.4
Starting pandoc-2.17.1.1
Building pandoc-2.17.1.1
Completed Agda-2.6.2.1
Completed pandoc-2.17.1.1
Downloading blagda-0.1.0.0
Downloaded blagda-0.1.0.0
Starting blagda-0.1.0.0
Building blagda-0.1.0.0
Failed to install blagda-0.1.0.0
Build log ( /home/builder/.cabal/logs/ghc-8.10.2/blagda-0.1.0.0-AAyMIfpqbDEKRMrXvpwkjW.log ):
cabal: Entering directory '/tmp/cabal-tmp-24797/blagda-0.1.0.0'
Configuring blagda-0.1.0.0...
Preprocessing library for blagda-0.1.0.0..
Building library for blagda-0.1.0.0..
[ 1 of 12] Compiling Blagda.Agda ( src/Blagda/Agda.hs, dist/build/Blagda/Agda.o, dist/build/Blagda/Agda.dyn_o )
[ 2 of 12] Compiling Blagda.Equations ( src/Blagda/Equations.hs, dist/build/Blagda/Equations.o, dist/build/Blagda/Equations.dyn_o )
[ 3 of 12] Compiling Blagda.Latex ( src/Blagda/Latex.hs, dist/build/Blagda/Latex.o, dist/build/Blagda/Latex.dyn_o )
[ 4 of 12] Compiling Blagda.References ( src/Blagda/References.hs, dist/build/Blagda/References.o, dist/build/Blagda/References.dyn_o )
[ 5 of 12] Compiling Blagda.Types ( src/Blagda/Types.hs, dist/build/Blagda/Types.o, dist/build/Blagda/Types.dyn_o )
[ 6 of 12] Compiling Blagda.Template ( src/Blagda/Template.hs, dist/build/Blagda/Template.o, dist/build/Blagda/Template.dyn_o )
[ 7 of 12] Compiling Blagda.Markdown ( src/Blagda/Markdown.hs, dist/build/Blagda/Markdown.o, dist/build/Blagda/Markdown.dyn_o )
[ 8 of 12] Compiling Blagda.Rename ( src/Blagda/Rename.hs, dist/build/Blagda/Rename.o, dist/build/Blagda/Rename.dyn_o )
[ 9 of 12] Compiling Blagda.Utils ( src/Blagda/Utils.hs, dist/build/Blagda/Utils.o, dist/build/Blagda/Utils.dyn_o )
[10 of 12] Compiling Blagda.Diagrams ( src/Blagda/Diagrams.hs, dist/build/Blagda/Diagrams.o, dist/build/Blagda/Diagrams.dyn_o )
[11 of 12] Compiling Blagda ( src/Blagda.hs, dist/build/Blagda.o, dist/build/Blagda.dyn_o )
[12 of 12] Compiling Paths_blagda ( dist/build/autogen/Paths_blagda.hs, dist/build/Paths_blagda.o, dist/build/Paths_blagda.dyn_o )
Preprocessing executable 'blagda' for blagda-0.1.0.0..
Building executable 'blagda' for blagda-0.1.0.0..
[1 of 2] Compiling Main ( app/Main.hs, dist/build/blagda/blagda-tmp/Main.o )
app/Main.hs:58:17: error:
" Couldn't match expected type Action [FilePath]
with actual type FilePath -> Action [FilePath]
" Probable cause: agdaHTML is applied to too few arguments
In a stmt of a 'do' block: agda_files <- agdaHTML
In the second argument of ($), namely
do agda_files <- agdaHTML
fileIdents <- liftIO $ newCacheIO parseFileIdents
fileTypes <- liftIO $ newCacheIO parseFileTypes
md_files' <- getDirectoryFiles "site" ["**/*.md"]
....
In the expression:
shakeArgsForward
(forwardOptions
$ shakeOptions
{shakeFiles = "_build", shakeLintInside = ["site"],
shakeChange = ChangeDigest, shakeVersion = "15"})
$ do agda_files <- agdaHTML
fileIdents <- liftIO $ newCacheIO parseFileIdents
fileTypes <- liftIO $ newCacheIO parseFileTypes
md_files' <- getDirectoryFiles "site" ["**/*.md"]
....
|
58 | agda_files <- agdaHTML
| ^^^^^^^^
cabal: Leaving directory '/tmp/cabal-tmp-24797/blagda-0.1.0.0'
cabal: Error: some packages failed to install:
blagda-0.1.0.0-AAyMIfpqbDEKRMrXvpwkjW failed during the building phase. The
exception was:
ExitFailure 1
Test log
No test log was submitted for this report.