Resolving dependencies...
Configuring base-orphans-0.6...
Configuring ansi-terminal-0.6.2.3...
Building base-orphans-0.6...
Building ansi-terminal-0.6.2.3...
Installed base-orphans-0.6
Configuring cabal-doctest-1...
Building cabal-doctest-1...
Configuring cereal-0.5.4.0...
Installed ansi-terminal-0.6.2.3
Building cereal-0.5.4.0...
Configuring data-default-class-0.1.2.0...
Installed cabal-doctest-1
Building data-default-class-0.1.2.0...
Configuring cmdargs-0.10.17...
Installed data-default-class-0.1.2.0
Building cmdargs-0.10.17...
Configuring dlist-0.8.0.2...
Installed cereal-0.5.4.0
Building dlist-0.8.0.2...
Configuring dotgen-0.4.2...
Installed dlist-0.8.0.2
Building dotgen-0.4.2...
Configuring fgl-5.5.3.1...
Installed dotgen-0.4.2
Building fgl-5.5.3.1...
Configuring integer-logarithms-1.0.1...
Installed fgl-5.5.3.1
Building integer-logarithms-1.0.1...
Configuring mtl-2.2.1...
Installed integer-logarithms-1.0.1
Building mtl-2.2.1...
Configuring located-base-0.1.1.0...
Installed cmdargs-0.10.17
Building located-base-0.1.1.0...
Configuring old-locale-1.0.0.7...
Installed located-base-0.1.1.0
Building old-locale-1.0.0.7...
Configuring parallel-3.2.1.1...
Installed mtl-2.2.1
Configuring primitive-0.6.2.0...
Installed old-locale-1.0.0.7
Building parallel-3.2.1.1...
Building primitive-0.6.2.0...
Configuring semigroups-0.18.3...
Installed parallel-3.2.1.1
Building semigroups-0.18.3...
Configuring split-0.2.3.1...
Installed semigroups-0.18.3
Building split-0.2.3.1...
Configuring stm-2.4.4.1...
Installed split-0.2.3.1
Building stm-2.4.4.1...
Configuring syb-0.7...
Installed primitive-0.6.2.0
Building syb-0.7...
Configuring terminal-size-0.3.2.1...
Installed stm-2.4.4.1
Building terminal-size-0.3.2.1...
Configuring text-1.2.2.1...
Installed syb-0.7
Building text-1.2.2.1...
Configuring transformers-compat-0.5.1.4...
Installed terminal-size-0.3.2.1
Building transformers-compat-0.5.1.4...
Configuring void-0.7.2...
Installed transformers-compat-0.5.1.4
Building void-0.7.2...
Configuring unix-compat-0.4.3.1...
Installed void-0.7.2
Building unix-compat-0.4.3.1...
Installed unix-compat-0.4.3.1
Configuring data-default-instances-containers-0.0.1...
Building data-default-instances-containers-0.0.1...
Installed data-default-instances-containers-0.0.1
Configuring fgl-visualize-0.1.0.1...
Building fgl-visualize-0.1.0.1...
Configuring data-default-instances-dlist-0.0.1...
Installed fgl-visualize-0.1.0.1
Building data-default-instances-dlist-0.0.1...
Configuring boxes-0.1.4...
Installed data-default-instances-dlist-0.0.1
Building boxes-0.1.4...
Configuring data-default-instances-old-locale-0.0.1...
Installed boxes-0.1.4
Building data-default-instances-old-locale-0.0.1...
Configuring StateVar-1.1.0.4...
Installed text-1.2.2.1
Configuring vector-0.12.0.1...
Installed data-default-instances-old-locale-0.0.1
Building StateVar-1.1.0.4...
Building vector-0.12.0.1...
Configuring async-2.1.1.1...
Installed StateVar-1.1.0.4
Building async-2.1.1.1...
Configuring exceptions-0.8.3...
Installed async-2.1.1.1
Building exceptions-0.8.3...
Configuring tagged-0.8.5...
Installed exceptions-0.8.3
Building tagged-0.8.5...
Configuring filemanip-0.3.6.3...
Installed tagged-0.8.5
Building filemanip-0.3.6.3...
Installed filemanip-0.3.6.3
Configuring hashable-1.2.6.0...
Building hashable-1.2.6.0...
Configuring double-conversion-2.0.2.0...
Installed hashable-1.2.6.0
Building double-conversion-2.0.2.0...
Configuring parsec-3.1.11...
Installed vector-0.12.0.1
Configuring contravariant-1.4...
Installed double-conversion-2.0.2.0
Building parsec-3.1.11...
Building contravariant-1.4...
Configuring data-default-0.7.1.1...
Installed contravariant-1.4
Building data-default-0.7.1.1...
Configuring distributive-0.5.2...
Installed data-default-0.7.1.1
Configuring concurrent-output-1.7.9...
Installed parsec-3.1.11
Building concurrent-output-1.7.9...
Building distributive-0.5.2...
Installed concurrent-output-1.7.9
Configuring unordered-containers-0.2.8.0...
Configuring scientific-0.3.4.12...
Installed distributive-0.5.2
Building unordered-containers-0.2.8.0...
Building scientific-0.3.4.12...
Configuring text-format-0.3.1.1...
Installed scientific-0.3.4.12
Building text-format-0.3.1.1...
Configuring ascii-progress-0.3.3.0...
Installed unordered-containers-0.2.8.0
Building ascii-progress-0.3.3.0...
Installed text-format-0.3.1.1
Configuring comonad-5.0.1...
Configuring attoparsec-0.13.1.0...
Installed ascii-progress-0.3.3.0
Building attoparsec-0.13.1.0...
Building comonad-5.0.1...
Configuring intern-0.9.1.4...
Installed comonad-5.0.1
Building intern-0.9.1.4...
Installed attoparsec-0.13.1.0
Configuring bifunctors-5.4.2...
Building bifunctors-5.4.2...
Installed intern-0.9.1.4
Installed bifunctors-5.4.2
Downloading liquid-fixpoint-0.6.0.1...
Configuring liquid-fixpoint-0.6.0.1...
Building liquid-fixpoint-0.6.0.1...
Installed liquid-fixpoint-0.6.0.1