Warning: The install command is a part of the legacy v1 style of cabal usage. Please switch to using either the new project style and the new-install command or the legacy v1-install alias as new-style projects will become the default in the next version of cabal-install. Please file a bug if you cannot replicate a working v1- use case with the new-style commands. For more information, see: https://wiki.haskell.org/Cabal/NewBuild Resolving dependencies... Starting base-orphans-0.8.1 Starting annotated-wl-pprint-0.7.0 Starting base64-bytestring-1.0.0.2 Starting base-compat-0.10.5 Building annotated-wl-pprint-0.7.0 Building base64-bytestring-1.0.0.2 Building base-orphans-0.8.1 Building base-compat-0.10.5 Completed base-orphans-0.8.1 Starting blaze-builder-0.4.1.0 Building blaze-builder-0.4.1.0 Completed annotated-wl-pprint-0.7.0 Starting code-page-0.2 Completed base64-bytestring-1.0.0.2 Starting colour-2.3.5 Building code-page-0.2 Building colour-2.3.5 Completed code-page-0.2 Starting data-default-class-0.1.2.0 Building data-default-class-0.1.2.0 Completed blaze-builder-0.4.1.0 Starting digest-0.0.1.2 Building digest-0.0.1.2 Completed base-compat-0.10.5 Starting dlist-0.8.0.6 Completed data-default-class-0.1.2.0 Starting fingertree-0.1.4.2 Building dlist-0.8.0.6 Building fingertree-0.1.4.2 Completed digest-0.0.1.2 Starting hashable-1.3.0.0 Building hashable-1.3.0.0 Completed dlist-0.8.0.6 Starting ieee754-0.8.0 Completed colour-2.3.5 Starting integer-logarithms-1.0.3 Building ieee754-0.8.0 Building integer-logarithms-1.0.3 Completed hashable-1.3.0.0 Starting network-2.8.0.1 Completed integer-logarithms-1.0.3 Starting network-uri-2.6.1.0 Building network-uri-2.6.1.0 Completed fingertree-0.1.4.2 Starting old-locale-1.0.0.7 Completed ieee754-0.8.0 Starting parser-combinators-1.1.0 Building old-locale-1.0.0.7 Building parser-combinators-1.1.0 Building network-2.8.0.1 Completed old-locale-1.0.0.7 Starting primitive-0.7.0.0 Building primitive-0.7.0.0 Completed network-uri-2.6.1.0 Starting random-1.1 Completed parser-combinators-1.1.0 Starting regex-base-0.93.2 Building random-1.1 Building regex-base-0.93.2 Completed regex-base-0.93.2 Starting safe-0.3.17 Completed random-1.1 Starting semigroups-0.19 Building safe-0.3.17 Building semigroups-0.19 Completed semigroups-0.19 Starting split-0.2.3.3 Building split-0.2.3.3 Completed safe-0.3.17 Starting syb-0.7.1 Completed network-2.8.0.1 Starting system-filepath-0.4.14 Building syb-0.7.1 Completed split-0.2.3.3 Starting tagged-0.8.6 Building tagged-0.8.6 Building system-filepath-0.4.14 Completed primitive-0.7.0.0 Starting tagsoup-0.14.8 Completed syb-0.7.1 Starting terminal-size-0.3.2.1 Completed tagged-0.8.6 Starting th-abstraction-0.3.1.0 Building tagsoup-0.14.8 Building terminal-size-0.3.2.1 Building th-abstraction-0.3.1.0 Completed system-filepath-0.4.14 Starting transformers-compat-0.6.5 Completed terminal-size-0.3.2.1 Starting unix-compat-0.5.1 Building transformers-compat-0.6.5 Building unix-compat-0.5.1 Completed unix-compat-0.5.1 Starting utf8-string-1.0.1.1 Completed th-abstraction-0.3.1.0 Starting zlib-0.6.2 Building utf8-string-1.0.1.1 Completed transformers-compat-0.6.5 Starting time-compat-1.9.2.2 Building zlib-0.6.2 Building time-compat-1.9.2.2 Completed utf8-string-1.0.1.1 Starting blaze-markup-0.8.2.2 Building blaze-markup-0.8.2.2 Completed time-compat-1.9.2.2 Starting data-default-instances-containers-0.0.1 Building data-default-instances-containers-0.0.1 Completed zlib-0.6.2 Starting data-default-instances-dlist-0.0.1 Building data-default-instances-dlist-0.0.1 Completed tagsoup-0.14.8 Starting ansi-terminal-0.8.2 Completed data-default-instances-containers-0.0.1 Starting unordered-containers-0.2.10.0 Building ansi-terminal-0.8.2 Completed data-default-instances-dlist-0.0.1 Starting case-insensitive-1.2.1.0 Building unordered-containers-0.2.10.0 Completed blaze-markup-0.8.2.2 Starting async-2.2.2 Building case-insensitive-1.2.1.0 Building async-2.2.2 Completed case-insensitive-1.2.1.0 Starting data-default-instances-old-locale-0.0.1 Completed ansi-terminal-0.8.2 Starting regex-tdfa-1.2.3.2 Building data-default-instances-old-locale-0.0.1 Building regex-tdfa-1.2.3.2 Completed async-2.2.2 Starting uuid-types-1.0.3 Completed data-default-instances-old-locale-0.0.1 Starting vector-0.12.0.3 Building uuid-types-1.0.3 Building vector-0.12.0.3 Completed uuid-types-1.0.3 Starting scientific-0.3.6.2 Building scientific-0.3.6.2 Completed unordered-containers-0.2.10.0 Starting system-fileio-0.3.16.4 Building system-fileio-0.3.16.4 Completed scientific-0.3.6.2 Starting transformers-base-0.4.5.2 Completed system-fileio-0.3.16.4 Starting exceptions-0.10.2 Building transformers-base-0.4.5.2 Building exceptions-0.10.2 Completed transformers-base-0.4.5.2 Starting constraints-0.11 Building constraints-0.11 Completed exceptions-0.10.2 Starting zip-archive-0.4.1 Building zip-archive-0.4.1 Completed regex-tdfa-1.2.3.2 Starting blaze-html-0.9.1.1 Building blaze-html-0.9.1.1 Completed zip-archive-0.4.1 Starting ansi-wl-pprint-0.6.8.2 Completed constraints-0.11 Starting hinotify-0.4 Building ansi-wl-pprint-0.6.8.2 Building hinotify-0.4 Completed ansi-wl-pprint-0.6.8.2 Starting data-default-0.7.1.1 Completed hinotify-0.4 Starting uniplate-1.6.12 Building data-default-0.7.1.1 Building uniplate-1.6.12 Completed data-default-0.7.1.1 Starting megaparsec-7.0.5 Building megaparsec-7.0.5 Completed uniplate-1.6.12 Starting attoparsec-0.13.2.2 Completed vector-0.12.0.3 Starting monad-control-1.0.2.3 Building attoparsec-0.13.2.2 Building monad-control-1.0.2.3 Completed monad-control-1.0.2.3 Starting optparse-applicative-0.14.3.0 Building optparse-applicative-0.14.3.0 Completed blaze-html-0.9.1.1 Starting vector-binary-instances-0.2.5.1 Building vector-binary-instances-0.2.5.1 Completed megaparsec-7.0.5 Starting lifted-base-0.2.3.12 Building lifted-base-0.2.3.12 Completed vector-binary-instances-0.2.5.1 Completed lifted-base-0.2.3.12 Starting enclosed-exceptions-1.0.3 Starting lifted-async-0.10.0.4 Completed attoparsec-0.13.2.2 Starting css-text-0.1.3.0 Building enclosed-exceptions-1.0.3 Building lifted-async-0.10.0.4 Building css-text-0.1.3.0 Completed optparse-applicative-0.14.3.0 Starting aeson-1.4.4.0 Completed enclosed-exceptions-1.0.3 Building aeson-1.4.4.0 Completed css-text-0.1.3.0 Starting xss-sanitize-0.3.6 Building xss-sanitize-0.3.6 Completed lifted-async-0.10.0.4 Starting shelly-1.8.1 Building shelly-1.8.1 Completed xss-sanitize-0.3.6 Starting cheapskate-0.1.1.1 Building cheapskate-0.1.1.1 Completed shelly-1.8.1 Starting fsnotify-0.3.0.1 Building fsnotify-0.3.0.1 Completed cheapskate-0.1.1.1 Completed fsnotify-0.3.0.1 Completed aeson-1.4.4.0 Downloading idris-1.3.2 Downloaded idris-1.3.2 Starting idris-1.3.2 Building idris-1.3.2 Completed idris-1.3.2