------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/libiconv-1.14_11.txz Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gmp-6.2.0.txz Installing /packages/All/libffi-3.2.1_3.txz Installing /packages/All/hs-cabal-install-3.0.2.0.txz Installing /packages/All/ncurses-6.1.20190525.txz Installing /packages/All/ghc-8.8.3.txz SUCCEEDED 00:00:24 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on file: /usr/local/sbin/pkg - found => cryptol-2.8.0.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/cryptol-2.8.0/cryptol-2.8.0.tar.gz fetch: https://hackage.haskell.org/package/cryptol-2.8.0/cryptol-2.8.0.tar.gz: size unknown fetch: https://hackage.haskell.org/package/cryptol-2.8.0/cryptol-2.8.0.tar.gz: size of remote file is not known cryptol-2.8.0.tar.gz 0 B 0 Bps cryptol-2.8.0.tar.gz 322 kB 20 MBps 00s => FloatingHex-0.4/FloatingHex-0.4.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/FloatingHex-0.4/FloatingHex-0.4.tar.gz fetch: https://hackage.haskell.org/package/FloatingHex-0.4/FloatingHex-0.4.tar.gz: size unknown fetch: https://hackage.haskell.org/package/FloatingHex-0.4/FloatingHex-0.4.tar.gz: size of remote file is not known FloatingHex-0.4/FloatingHex-0.4.tar.gz 0 B 0 Bps FloatingHex-0.4/FloatingHex-0.4.tar.gz 4940 B 19 MBps 00s => GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz fetch: https://hackage.haskell.org/package/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz: size unknown fetch: https://hackage.haskell.org/package/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz: size of remote file is not known GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz 0 B 0 Bps GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz 4289 B 3683 kBps 00s => crackNum-2.3/crackNum-2.3.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/crackNum-2.3/crackNum-2.3.tar.gz fetch: https://hackage.haskell.org/package/crackNum-2.3/crackNum-2.3.tar.gz: size unknown fetch: https://hackage.haskell.org/package/crackNum-2.3/crackNum-2.3.tar.gz: size of remote file is not known crackNum-2.3/crackNum-2.3.tar.gz 0 B 0 Bps crackNum-2.3/crackNum-2.3.tar.gz 13 kB 13 MBps 00s => heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz fetch: https://hackage.haskell.org/package/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz: size unknown fetch: https://hackage.haskell.org/package/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz: size of remote file is not known heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz 0 B 0 Bps heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz 2449 B 12 MBps 00s => monadLib-3.10/monadLib-3.10.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/monadLib-3.10/monadLib-3.10.tar.gz monadLib-3.10/monadLib-3.10.tar.gz 0% of 11 kB 0 Bps monadLib-3.10/monadLib-3.10.tar.gz 11 kB 31 MBps 00s => monadLib-3.10/revision/1.cabal doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/monadLib-3.10/revision/1.cabal fetch: https://hackage.haskell.org/package/monadLib-3.10/revision/1.cabal: size unknown fetch: https://hackage.haskell.org/package/monadLib-3.10/revision/1.cabal: size of remote file is not known monadLib-3.10/revision/1.cabal 0 B 0 Bps monadLib-3.10/revision/1.cabal 653 B 4659 kBps 00s => panic-0.4.0.1/panic-0.4.0.1.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/panic-0.4.0.1/panic-0.4.0.1.tar.gz panic-0.4.0.1/panic-0.4.0.1.tar.gz 0% of 2265 B 0 Bps panic-0.4.0.1/panic-0.4.0.1.tar.gz 2265 B 14 MBps 00s => sbv-8.6/sbv-8.6.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/sbv-8.6/sbv-8.6.tar.gz fetch: https://hackage.haskell.org/package/sbv-8.6/sbv-8.6.tar.gz: size unknown fetch: https://hackage.haskell.org/package/sbv-8.6/sbv-8.6.tar.gz: size of remote file is not known sbv-8.6/sbv-8.6.tar.gz 0 B 0 Bps sbv-8.6/sbv-8.6.tar.gz 828 kB 24 MBps 00s => simple-smt-0.9.4/simple-smt-0.9.4.tar.gz doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz fetch: https://hackage.haskell.org/package/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz: size unknown fetch: https://hackage.haskell.org/package/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz: size of remote file is not known simple-smt-0.9.4/simple-smt-0.9.4.tar.gz 0 B 0 Bps simple-smt-0.9.4/simple-smt-0.9.4.tar.gz 9302 B 27 MBps 00s => simple-smt-0.9.4/revision/1.cabal doesn't seem to exist in /distfiles/cabal. => Attempting to fetch https://hackage.haskell.org/package/simple-smt-0.9.4/revision/1.cabal fetch: https://hackage.haskell.org/package/simple-smt-0.9.4/revision/1.cabal: size unknown fetch: https://hackage.haskell.org/package/simple-smt-0.9.4/revision/1.cabal: size of remote file is not known simple-smt-0.9.4/revision/1.cabal 0 B 0 Bps simple-smt-0.9.4/revision/1.cabal 775 B 997 kBps 00s ===> Fetching all distfiles required by hs-cryptol-2.8.0_1 for building SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by hs-cryptol-2.8.0_1 for building => SHA256 Checksum OK for cabal/cryptol-2.8.0.tar.gz. => SHA256 Checksum OK for cabal/FloatingHex-0.4/FloatingHex-0.4.tar.gz. => SHA256 Checksum OK for cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz. => SHA256 Checksum OK for cabal/QuickCheck-2.13.2/QuickCheck-2.13.2.tar.gz. => SHA256 Checksum OK for cabal/alex-3.2.5/alex-3.2.5.tar.gz. => SHA256 Checksum OK for cabal/ansi-terminal-0.10.3/ansi-terminal-0.10.3.tar.gz. => SHA256 Checksum OK for cabal/async-2.2.2/async-2.2.2.tar.gz. => SHA256 Checksum OK for cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz. => SHA256 Checksum OK for cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz. => SHA256 Checksum OK for cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.3/blaze-markup-0.8.2.3.tar.gz. => SHA256 Checksum OK for cabal/colour-2.3.5/colour-2.3.5.tar.gz. => SHA256 Checksum OK for cabal/crackNum-2.3/crackNum-2.3.tar.gz. => SHA256 Checksum OK for cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz. => SHA256 Checksum OK for cabal/cryptohash-sha1-0.11.100.1/revision/4.cabal. => SHA256 Checksum OK for cabal/generic-deriving-1.13.1/generic-deriving-1.13.1.tar.gz. => SHA256 Checksum OK for cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz. => SHA256 Checksum OK for cabal/happy-1.19.12/happy-1.19.12.tar.gz. => SHA256 Checksum OK for cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz. => SHA256 Checksum OK for cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz. => SHA256 Checksum OK for cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz. => SHA256 Checksum OK for cabal/monadLib-3.10/monadLib-3.10.tar.gz. => SHA256 Checksum OK for cabal/monadLib-3.10/revision/1.cabal. => SHA256 Checksum OK for cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz. => SHA256 Checksum OK for cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/random-1.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/revision/1.cabal. => SHA256 Checksum OK for cabal/sbv-8.6/sbv-8.6.tar.gz. => SHA256 Checksum OK for cabal/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz. => SHA256 Checksum OK for cabal/simple-smt-0.9.4/revision/1.cabal. => SHA256 Checksum OK for cabal/splitmix-0.0.4/splitmix-0.0.4.tar.gz. => SHA256 Checksum OK for cabal/strict-0.3.2/strict-0.3.2.tar.gz. => SHA256 Checksum OK for cabal/syb-0.7.1/syb-0.7.1.tar.gz. => SHA256 Checksum OK for cabal/tf-random-0.5/tf-random-0.5.tar.gz. => SHA256 Checksum OK for cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz. => SHA256 Checksum OK for cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz. => SHA256 Checksum OK for cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz. SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by hs-cryptol-2.8.0_1 for building ===> Extracting for hs-cryptol-2.8.0_1 => SHA256 Checksum OK for cabal/cryptol-2.8.0.tar.gz. => SHA256 Checksum OK for cabal/FloatingHex-0.4/FloatingHex-0.4.tar.gz. => SHA256 Checksum OK for cabal/GraphSCC-1.0.4/GraphSCC-1.0.4.tar.gz. => SHA256 Checksum OK for cabal/QuickCheck-2.13.2/QuickCheck-2.13.2.tar.gz. => SHA256 Checksum OK for cabal/alex-3.2.5/alex-3.2.5.tar.gz. => SHA256 Checksum OK for cabal/ansi-terminal-0.10.3/ansi-terminal-0.10.3.tar.gz. => SHA256 Checksum OK for cabal/async-2.2.2/async-2.2.2.tar.gz. => SHA256 Checksum OK for cabal/base-compat-0.10.5/base-compat-0.10.5.tar.gz. => SHA256 Checksum OK for cabal/base-orphans-0.8.2/base-orphans-0.8.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-builder-0.4.1.0/blaze-builder-0.4.1.0.tar.gz. => SHA256 Checksum OK for cabal/blaze-html-0.9.1.2/blaze-html-0.9.1.2.tar.gz. => SHA256 Checksum OK for cabal/blaze-markup-0.8.2.3/blaze-markup-0.8.2.3.tar.gz. => SHA256 Checksum OK for cabal/colour-2.3.5/colour-2.3.5.tar.gz. => SHA256 Checksum OK for cabal/crackNum-2.3/crackNum-2.3.tar.gz. => SHA256 Checksum OK for cabal/cryptohash-sha1-0.11.100.1/cryptohash-sha1-0.11.100.1.tar.gz. => SHA256 Checksum OK for cabal/cryptohash-sha1-0.11.100.1/revision/4.cabal. => SHA256 Checksum OK for cabal/generic-deriving-1.13.1/generic-deriving-1.13.1.tar.gz. => SHA256 Checksum OK for cabal/gitrev-1.3.1/gitrev-1.3.1.tar.gz. => SHA256 Checksum OK for cabal/happy-1.19.12/happy-1.19.12.tar.gz. => SHA256 Checksum OK for cabal/hashable-1.3.0.0/hashable-1.3.0.0.tar.gz. => SHA256 Checksum OK for cabal/heredoc-0.2.0.0/heredoc-0.2.0.0.tar.gz. => SHA256 Checksum OK for cabal/monad-control-1.0.2.3/monad-control-1.0.2.3.tar.gz. => SHA256 Checksum OK for cabal/monadLib-3.10/monadLib-3.10.tar.gz. => SHA256 Checksum OK for cabal/monadLib-3.10/revision/1.cabal. => SHA256 Checksum OK for cabal/panic-0.4.0.1/panic-0.4.0.1.tar.gz. => SHA256 Checksum OK for cabal/primitive-0.7.0.1/primitive-0.7.0.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/random-1.1.tar.gz. => SHA256 Checksum OK for cabal/random-1.1/revision/1.cabal. => SHA256 Checksum OK for cabal/sbv-8.6/sbv-8.6.tar.gz. => SHA256 Checksum OK for cabal/simple-smt-0.9.4/simple-smt-0.9.4.tar.gz. => SHA256 Checksum OK for cabal/simple-smt-0.9.4/revision/1.cabal. => SHA256 Checksum OK for cabal/splitmix-0.0.4/splitmix-0.0.4.tar.gz. => SHA256 Checksum OK for cabal/strict-0.3.2/strict-0.3.2.tar.gz. => SHA256 Checksum OK for cabal/syb-0.7.1/syb-0.7.1.tar.gz. => SHA256 Checksum OK for cabal/tf-random-0.5/tf-random-0.5.tar.gz. => SHA256 Checksum OK for cabal/th-abstraction-0.3.2.0/th-abstraction-0.3.2.0.tar.gz. => SHA256 Checksum OK for cabal/transformers-base-0.4.5.2/transformers-base-0.4.5.2.tar.gz. => SHA256 Checksum OK for cabal/transformers-compat-0.6.5/transformers-compat-0.6.5.tar.gz. cd /construction/security/hs-cryptol && mv FloatingHex-0.4 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv GraphSCC-1.0.4 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv QuickCheck-2.13.2 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv alex-3.2.5 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv ansi-terminal-0.10.3 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv async-2.2.2 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv base-compat-0.10.5 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv base-orphans-0.8.2 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv blaze-builder-0.4.1.0 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv blaze-html-0.9.1.2 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv blaze-markup-0.8.2.3 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv colour-2.3.5 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv crackNum-2.3 /construction/security/hs-cryptol/cryptol-2.8.0/ cp /distfiles/cabal/cryptohash-sha1-0.11.100.1/revision/4.cabal `find /construction/security/hs-cryptol/cryptohash-sha1-0.11.100.1 -name '*.cabal' -depth 1` cd /construction/security/hs-cryptol && mv cryptohash-sha1-0.11.100.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv generic-deriving-1.13.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv gitrev-1.3.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv happy-1.19.12 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv hashable-1.3.0.0 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv heredoc-0.2.0.0 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv monad-control-1.0.2.3 /construction/security/hs-cryptol/cryptol-2.8.0/ cp /distfiles/cabal/monadLib-3.10/revision/1.cabal `find /construction/security/hs-cryptol/monadLib-3.10 -name '*.cabal' -depth 1` cd /construction/security/hs-cryptol && mv monadLib-3.10 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv panic-0.4.0.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv primitive-0.7.0.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cp /distfiles/cabal/random-1.1/revision/1.cabal `find /construction/security/hs-cryptol/random-1.1 -name '*.cabal' -depth 1` cd /construction/security/hs-cryptol && mv random-1.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv sbv-8.6 /construction/security/hs-cryptol/cryptol-2.8.0/ cp /distfiles/cabal/simple-smt-0.9.4/revision/1.cabal `find /construction/security/hs-cryptol/simple-smt-0.9.4 -name '*.cabal' -depth 1` cd /construction/security/hs-cryptol && mv simple-smt-0.9.4 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv splitmix-0.0.4 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv strict-0.3.2 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv syb-0.7.1 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv tf-random-0.5 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv th-abstraction-0.3.2.0 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv transformers-base-0.4.5.2 /construction/security/hs-cryptol/cryptol-2.8.0/ cd /construction/security/hs-cryptol && mv transformers-compat-0.6.5 /construction/security/hs-cryptol/cryptol-2.8.0/ mkdir -p /construction/security/hs-cryptol/cabal-home/.cabal touch /construction/security/hs-cryptol/cabal-home/.cabal/config Extracted Memory Use: 14.01M SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for hs-cryptol-2.8.0_1 ===> Applying ports patches for hs-cryptol-2.8.0_1 ===> Cleanly applied ports patch(es) patch-src_Cryptol_Eval_Monad.hs patch-src_Cryptol_ModuleSystem_Monad.hs patch-src_Cryptol_Parser_NoInclude.hs patch-src_Cryptol_Parser_NoPat.hs patch-src_Cryptol_Parser_ParserUtils.hs patch-src_Cryptol_TypeCheck_Monad.hs patch-src_Cryptol_TypeCheck_Sanity.hs patch-src_Cryptol_Utils_Patterns.hs SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on executable: cabal - found ===> hs-cryptol-2.8.0_1 depends on executable: ghc - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on shared library: libiconv.so - found (/usr/local/lib/libiconv.so) ===> hs-cryptol-2.8.0_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> hs-cryptol-2.8.0_1 depends on shared library: libffi.so.6 - found (/usr/local/lib/libffi.so.6) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> hs-cryptol-2.8.0_1 depends on executable: cabal - found ===> hs-cryptol-2.8.0_1 depends on executable: ghc - found ===> hs-cryptol-2.8.0_1 depends on shared library: libiconv.so - found (/usr/local/lib/libiconv.so) ===> hs-cryptol-2.8.0_1 depends on shared library: libgmp.so - found (/usr/local/lib/libgmp.so) ===> hs-cryptol-2.8.0_1 depends on shared library: libffi.so.6 - found (/usr/local/lib/libffi.so.6) ===> Configuring for hs-cryptol-2.8.0_1 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for hs-cryptol-2.8.0_1 cd /construction/security/hs-cryptol/cryptol-2.8.0 && /usr/bin/env XDG_DATA_HOME=/construction/security/hs-cryptol XDG_CONFIG_HOME=/construction/security/hs-cryptol HOME=/construction/security/hs-cryptol TMPDIR="/tmp" PATH=/construction/security/hs-cryptol/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin NO_PIE=yes MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES CCVER=gcc80 PREFIX=/usr/local LOCALBASE=/usr/local NOPROFILE=1 CC="cc" CFLAGS="-pipe -O2 -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS=" -pipe -O2 -fno-strict-aliasing " MANPREFIX="/usr/local" BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" HOME=/construction/security/hs-cryptol/cabal-home cabal new-build --offline --disable-benchmarks --disable-tests --flags "" exe:cryptol Warning: No remote package servers have been specified. Usually you would have one specified in the config file. Resolving dependencies... Build profile: -w ghc-8.8.3 -O1 In order, the following will be built (use -v for more details): - FloatingHex-0.4 (lib) (first run) - GraphSCC-1.0.4 (lib:GraphSCC) (first run) - alex-3.2.5 (exe:alex) (first run) - base-compat-0.10.5 (lib) (first run) - base-orphans-0.8.2 (lib) (first run) - colour-2.3.5 (lib) (first run) - cryptohash-sha1-0.11.100.1 (lib) (first run) - happy-1.19.12 (exe:happy) (first run) - hashable-1.3.0.0 (lib) (first run) - heredoc-0.2.0.0 (lib) (first run) - monadLib-3.10 (lib:monadLib) (first run) - primitive-0.7.0.1 (lib) (first run) - random-1.1 (lib) (first run) - simple-smt-0.9.4 (lib) (first run) - strict-0.3.2 (lib:strict) (first run) - syb-0.7.1 (lib) (first run) - th-abstraction-0.3.2.0 (lib) (first run) - transformers-compat-0.6.5 (lib) (first run) - crackNum-2.3 (lib) (first run) - gitrev-1.3.1 (lib) (first run) - ansi-terminal-0.10.3 (lib) (first run) - async-2.2.2 (lib) (first run) - tf-random-0.5 (lib) (first run) - splitmix-0.0.4 (lib) (first run) - generic-deriving-1.13.1 (lib) (first run) - transformers-base-0.4.5.2 (lib) (first run) - panic-0.4.0.1 (lib) (first run) - QuickCheck-2.13.2 (lib) (first run) - monad-control-1.0.2.3 (lib:monad-control) (first run) - sbv-8.6 (lib) (first run) - cryptol-2.8.0 (lib) (first run) - cryptol-2.8.0 (exe:cryptol) (first run) Configuring library for FloatingHex-0.4.. Preprocessing library for FloatingHex-0.4.. Building library for FloatingHex-0.4.. [1 of 1] Compiling Data.Numbers.FloatingHex ( Data/Numbers/FloatingHex.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/FloatingHex-0.4/build/Data/Numbers/FloatingHex.o ) Data/Numbers/FloatingHex.hs:26:1: warning: [-Wunused-imports] The import of `floatToDigits' from module `Numeric' is redundant | 26 | import Numeric (showHex, floatToDigits) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Configuring GraphSCC-1.0.4... Preprocessing library for GraphSCC-1.0.4.. Building library for GraphSCC-1.0.4.. [1 of 2] Compiling Data.Graph.ArraySCC ( Data/Graph/ArraySCC.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/GraphSCC-1.0.4/build/Data/Graph/ArraySCC.o ) [2 of 2] Compiling Data.Graph.SCC ( Data/Graph/SCC.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/GraphSCC-1.0.4/build/Data/Graph/SCC.o ) Configuring executable 'alex' for alex-3.2.5.. Preprocessing executable 'alex' for alex-3.2.5.. Building executable 'alex' for alex-3.2.5.. [ 1 of 22] Compiling Data.Ranged.Boundaries ( src/Data/Ranged/Boundaries.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Data/Ranged/Boundaries.o ) [ 2 of 22] Compiling Data.Ranged.Ranges ( src/Data/Ranged/Ranges.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Data/Ranged/Ranges.o ) [ 3 of 22] Compiling Data.Ranged.RangedSet ( src/Data/Ranged/RangedSet.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Data/Ranged/RangedSet.o ) src/Data/Ranged/RangedSet.hs:31:1: warning: [-Wunused-imports] The import of `Data.Semigroup' is redundant except perhaps to import instances from `Data.Semigroup' To import instances alone, use: import Data.Semigroup() | 31 | import Data.Semigroup | ^^^^^^^^^^^^^^^^^^^^^ [ 4 of 22] Compiling Data.Ranged ( src/Data/Ranged.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Data/Ranged.o ) [ 5 of 22] Compiling Map ( src/Map.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Map.o ) [ 6 of 22] Compiling Paths_alex ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/autogen/Paths_alex.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Paths_alex.o ) [ 7 of 22] Compiling Set ( src/Set.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Set.o ) [ 8 of 22] Compiling DFS ( src/DFS.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/DFS.o ) [ 9 of 22] Compiling Sort ( src/Sort.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Sort.o ) [10 of 22] Compiling UTF8 ( src/UTF8.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/UTF8.o ) [11 of 22] Compiling CharSet ( src/CharSet.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/CharSet.o ) [12 of 22] Compiling Util ( src/Util.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Util.o ) [13 of 22] Compiling AbsSyn ( src/AbsSyn.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/AbsSyn.o ) [14 of 22] Compiling ParseMonad ( src/ParseMonad.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/ParseMonad.o ) [15 of 22] Compiling Scan ( src/Scan.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Scan.o ) [16 of 22] Compiling Parser ( src/Parser.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Parser.o ) [17 of 22] Compiling Output ( src/Output.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Output.o ) [18 of 22] Compiling NFA ( src/NFA.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/NFA.o ) [19 of 22] Compiling Info ( src/Info.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Info.o ) [20 of 22] Compiling DFAMin ( src/DFAMin.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/DFAMin.o ) [21 of 22] Compiling DFA ( src/DFA.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/DFA.o ) [22 of 22] Compiling Main ( src/Main.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex-tmp/Main.o ) Linking /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/alex-3.2.5/x/alex/build/alex/alex ... Configuring library for base-compat-0.10.5.. Preprocessing library for base-compat-0.10.5.. Building library for base-compat-0.10.5.. [ 1 of 112] Compiling Control.Concurrent.Compat ( src/Control/Concurrent/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Concurrent/Compat.o ) [ 2 of 112] Compiling Control.Concurrent.Compat.Repl ( src/Control/Concurrent/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Concurrent/Compat/Repl.o ) [ 3 of 112] Compiling Control.Concurrent.MVar.Compat ( src/Control/Concurrent/MVar/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Concurrent/MVar/Compat.o ) [ 4 of 112] Compiling Control.Concurrent.MVar.Compat.Repl ( src/Control/Concurrent/MVar/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Concurrent/MVar/Compat/Repl.o ) [ 5 of 112] Compiling Control.Exception.Compat ( src/Control/Exception/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Exception/Compat.o ) [ 6 of 112] Compiling Control.Exception.Compat.Repl ( src/Control/Exception/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Exception/Compat/Repl.o ) [ 7 of 112] Compiling Control.Monad.Compat ( src/Control/Monad/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/Compat.o ) [ 8 of 112] Compiling Control.Monad.Compat.Repl ( src/Control/Monad/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/Compat/Repl.o ) [ 9 of 112] Compiling Control.Monad.Fail.Compat ( src/Control/Monad/Fail/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/Fail/Compat.o ) [ 10 of 112] Compiling Control.Monad.Fail.Compat.Repl ( src/Control/Monad/Fail/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/Fail/Compat/Repl.o ) [ 11 of 112] Compiling Control.Monad.IO.Class.Compat ( src/Control/Monad/IO/Class/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/IO/Class/Compat.o ) [ 12 of 112] Compiling Control.Monad.IO.Class.Compat.Repl ( src/Control/Monad/IO/Class/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/IO/Class/Compat/Repl.o ) [ 13 of 112] Compiling Control.Monad.ST.Lazy.Unsafe.Compat ( src/Control/Monad/ST/Lazy/Unsafe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/ST/Lazy/Unsafe/Compat.o ) [ 14 of 112] Compiling Control.Monad.ST.Lazy.Unsafe.Compat.Repl ( src/Control/Monad/ST/Lazy/Unsafe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/ST/Lazy/Unsafe/Compat/Repl.o ) [ 15 of 112] Compiling Control.Monad.ST.Unsafe.Compat ( src/Control/Monad/ST/Unsafe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/ST/Unsafe/Compat.o ) [ 16 of 112] Compiling Control.Monad.ST.Unsafe.Compat.Repl ( src/Control/Monad/ST/Unsafe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Control/Monad/ST/Unsafe/Compat/Repl.o ) [ 17 of 112] Compiling Data.Bifoldable.Compat ( src/Data/Bifoldable/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bifoldable/Compat.o ) [ 18 of 112] Compiling Data.Bifoldable.Compat.Repl ( src/Data/Bifoldable/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bifoldable/Compat/Repl.o ) [ 19 of 112] Compiling Data.Bifunctor.Compat ( src/Data/Bifunctor/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bifunctor/Compat.o ) [ 20 of 112] Compiling Data.Bifunctor.Compat.Repl ( src/Data/Bifunctor/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bifunctor/Compat/Repl.o ) [ 21 of 112] Compiling Data.Bitraversable.Compat ( src/Data/Bitraversable/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bitraversable/Compat.o ) [ 22 of 112] Compiling Data.Bitraversable.Compat.Repl ( src/Data/Bitraversable/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bitraversable/Compat/Repl.o ) [ 23 of 112] Compiling Data.Bits.Compat ( src/Data/Bits/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bits/Compat.o ) [ 24 of 112] Compiling Data.Bits.Compat.Repl ( src/Data/Bits/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bits/Compat/Repl.o ) [ 25 of 112] Compiling Data.Bool.Compat ( src/Data/Bool/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bool/Compat.o ) [ 26 of 112] Compiling Data.Bool.Compat.Repl ( src/Data/Bool/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Bool/Compat/Repl.o ) [ 27 of 112] Compiling Data.Complex.Compat ( src/Data/Complex/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Complex/Compat.o ) [ 28 of 112] Compiling Data.Complex.Compat.Repl ( src/Data/Complex/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Complex/Compat/Repl.o ) [ 29 of 112] Compiling Data.Either.Compat ( src/Data/Either/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Either/Compat.o ) [ 30 of 112] Compiling Data.Either.Compat.Repl ( src/Data/Either/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Either/Compat/Repl.o ) [ 31 of 112] Compiling Data.Foldable.Compat ( src/Data/Foldable/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Foldable/Compat.o ) [ 32 of 112] Compiling Data.Foldable.Compat.Repl ( src/Data/Foldable/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Foldable/Compat/Repl.o ) [ 33 of 112] Compiling Data.Function.Compat ( src/Data/Function/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Function/Compat.o ) [ 34 of 112] Compiling Data.Function.Compat.Repl ( src/Data/Function/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Function/Compat/Repl.o ) [ 35 of 112] Compiling Data.Functor.Compat ( src/Data/Functor/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Compat.o ) [ 36 of 112] Compiling Data.Functor.Compat.Repl ( src/Data/Functor/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Compat/Repl.o ) [ 37 of 112] Compiling Data.Functor.Compose.Compat ( src/Data/Functor/Compose/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Compose/Compat.o ) [ 38 of 112] Compiling Data.Functor.Compose.Compat.Repl ( src/Data/Functor/Compose/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Compose/Compat/Repl.o ) [ 39 of 112] Compiling Data.Functor.Const.Compat ( src/Data/Functor/Const/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Const/Compat.o ) [ 40 of 112] Compiling Data.Functor.Const.Compat.Repl ( src/Data/Functor/Const/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Const/Compat/Repl.o ) [ 41 of 112] Compiling Data.Functor.Contravariant.Compat ( src/Data/Functor/Contravariant/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Contravariant/Compat.o ) [ 42 of 112] Compiling Data.Functor.Contravariant.Compat.Repl ( src/Data/Functor/Contravariant/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Contravariant/Compat/Repl.o ) [ 43 of 112] Compiling Data.Functor.Identity.Compat ( src/Data/Functor/Identity/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Identity/Compat.o ) [ 44 of 112] Compiling Data.Functor.Identity.Compat.Repl ( src/Data/Functor/Identity/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Identity/Compat/Repl.o ) [ 45 of 112] Compiling Data.Functor.Product.Compat ( src/Data/Functor/Product/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Product/Compat.o ) [ 46 of 112] Compiling Data.Functor.Product.Compat.Repl ( src/Data/Functor/Product/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Product/Compat/Repl.o ) [ 47 of 112] Compiling Data.Functor.Sum.Compat ( src/Data/Functor/Sum/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Sum/Compat.o ) [ 48 of 112] Compiling Data.Functor.Sum.Compat.Repl ( src/Data/Functor/Sum/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Functor/Sum/Compat/Repl.o ) [ 49 of 112] Compiling Data.IORef.Compat ( src/Data/IORef/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/IORef/Compat.o ) [ 50 of 112] Compiling Data.IORef.Compat.Repl ( src/Data/IORef/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/IORef/Compat/Repl.o ) [ 51 of 112] Compiling Data.List.Compat ( src/Data/List/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/List/Compat.o ) [ 52 of 112] Compiling Data.List.Compat.Repl ( src/Data/List/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/List/Compat/Repl.o ) [ 53 of 112] Compiling Data.List.NonEmpty.Compat ( src/Data/List/NonEmpty/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/List/NonEmpty/Compat.o ) [ 54 of 112] Compiling Data.List.NonEmpty.Compat.Repl ( src/Data/List/NonEmpty/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/List/NonEmpty/Compat/Repl.o ) [ 55 of 112] Compiling Data.Monoid.Compat ( src/Data/Monoid/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Monoid/Compat.o ) [ 56 of 112] Compiling Data.Monoid.Compat.Repl ( src/Data/Monoid/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Monoid/Compat/Repl.o ) [ 57 of 112] Compiling Data.Proxy.Compat ( src/Data/Proxy/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Proxy/Compat.o ) [ 58 of 112] Compiling Data.Proxy.Compat.Repl ( src/Data/Proxy/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Proxy/Compat/Repl.o ) [ 59 of 112] Compiling Data.Ratio.Compat ( src/Data/Ratio/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Ratio/Compat.o ) [ 60 of 112] Compiling Data.Ratio.Compat.Repl ( src/Data/Ratio/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Ratio/Compat/Repl.o ) [ 61 of 112] Compiling Data.STRef.Compat ( src/Data/STRef/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/STRef/Compat.o ) [ 62 of 112] Compiling Data.STRef.Compat.Repl ( src/Data/STRef/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/STRef/Compat/Repl.o ) [ 63 of 112] Compiling Data.Semigroup.Compat ( src/Data/Semigroup/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Semigroup/Compat.o ) [ 64 of 112] Compiling Data.Semigroup.Compat.Repl ( src/Data/Semigroup/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Semigroup/Compat/Repl.o ) [ 65 of 112] Compiling Data.String.Compat ( src/Data/String/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/String/Compat.o ) [ 66 of 112] Compiling Data.String.Compat.Repl ( src/Data/String/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/String/Compat/Repl.o ) [ 67 of 112] Compiling Data.Type.Coercion.Compat ( src/Data/Type/Coercion/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Type/Coercion/Compat.o ) [ 68 of 112] Compiling Data.Type.Coercion.Compat.Repl ( src/Data/Type/Coercion/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Type/Coercion/Compat/Repl.o ) [ 69 of 112] Compiling Data.Version.Compat ( src/Data/Version/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Version/Compat.o ) [ 70 of 112] Compiling Data.Version.Compat.Repl ( src/Data/Version/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Version/Compat/Repl.o ) [ 71 of 112] Compiling Data.Void.Compat ( src/Data/Void/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Void/Compat.o ) [ 72 of 112] Compiling Data.Void.Compat.Repl ( src/Data/Void/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Void/Compat/Repl.o ) [ 73 of 112] Compiling Data.Word.Compat ( src/Data/Word/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Word/Compat.o ) [ 74 of 112] Compiling Data.Word.Compat.Repl ( src/Data/Word/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Data/Word/Compat/Repl.o ) [ 75 of 112] Compiling Debug.Trace.Compat ( src/Debug/Trace/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Debug/Trace/Compat.o ) [ 76 of 112] Compiling Debug.Trace.Compat.Repl ( src/Debug/Trace/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Debug/Trace/Compat/Repl.o ) [ 77 of 112] Compiling Foreign.ForeignPtr.Compat ( src/Foreign/ForeignPtr/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/ForeignPtr/Compat.o ) [ 78 of 112] Compiling Foreign.ForeignPtr.Compat.Repl ( src/Foreign/ForeignPtr/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/ForeignPtr/Compat/Repl.o ) [ 79 of 112] Compiling Foreign.ForeignPtr.Safe.Compat ( src/Foreign/ForeignPtr/Safe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/ForeignPtr/Safe/Compat.o ) [ 80 of 112] Compiling Foreign.ForeignPtr.Safe.Compat.Repl ( src/Foreign/ForeignPtr/Safe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/ForeignPtr/Safe/Compat/Repl.o ) [ 81 of 112] Compiling Foreign.ForeignPtr.Unsafe.Compat ( src/Foreign/ForeignPtr/Unsafe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/ForeignPtr/Unsafe/Compat.o ) [ 82 of 112] Compiling Foreign.ForeignPtr.Unsafe.Compat.Repl ( src/Foreign/ForeignPtr/Unsafe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/ForeignPtr/Unsafe/Compat/Repl.o ) [ 83 of 112] Compiling Foreign.Marshal.Alloc.Compat ( src/Foreign/Marshal/Alloc/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Alloc/Compat.o ) [ 84 of 112] Compiling Foreign.Marshal.Alloc.Compat.Repl ( src/Foreign/Marshal/Alloc/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Alloc/Compat/Repl.o ) [ 85 of 112] Compiling Foreign.Marshal.Array.Compat ( src/Foreign/Marshal/Array/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Array/Compat.o ) [ 86 of 112] Compiling Foreign.Marshal.Array.Compat.Repl ( src/Foreign/Marshal/Array/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Array/Compat/Repl.o ) [ 87 of 112] Compiling Foreign.Marshal.Safe.Compat ( src/Foreign/Marshal/Safe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Safe/Compat.o ) [ 88 of 112] Compiling Foreign.Marshal.Safe.Compat.Repl ( src/Foreign/Marshal/Safe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Safe/Compat/Repl.o ) [ 89 of 112] Compiling Foreign.Marshal.Unsafe.Compat ( src/Foreign/Marshal/Unsafe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Unsafe/Compat.o ) [ 90 of 112] Compiling Foreign.Marshal.Unsafe.Compat.Repl ( src/Foreign/Marshal/Unsafe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Unsafe/Compat/Repl.o ) [ 91 of 112] Compiling Foreign.Marshal.Utils.Compat ( src/Foreign/Marshal/Utils/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Utils/Compat.o ) [ 92 of 112] Compiling Foreign.Marshal.Compat ( src/Foreign/Marshal/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Compat.o ) [ 93 of 112] Compiling Foreign.Marshal.Compat.Repl ( src/Foreign/Marshal/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Compat/Repl.o ) [ 94 of 112] Compiling Foreign.Compat ( src/Foreign/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Compat.o ) [ 95 of 112] Compiling Foreign.Compat.Repl ( src/Foreign/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Compat/Repl.o ) [ 96 of 112] Compiling Foreign.Marshal.Utils.Compat.Repl ( src/Foreign/Marshal/Utils/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Foreign/Marshal/Utils/Compat/Repl.o ) [ 97 of 112] Compiling Numeric.Compat ( src/Numeric/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Numeric/Compat.o ) [ 98 of 112] Compiling Numeric.Compat.Repl ( src/Numeric/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Numeric/Compat/Repl.o ) [ 99 of 112] Compiling Numeric.Natural.Compat ( src/Numeric/Natural/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Numeric/Natural/Compat.o ) [100 of 112] Compiling Numeric.Natural.Compat.Repl ( src/Numeric/Natural/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Numeric/Natural/Compat/Repl.o ) [101 of 112] Compiling Prelude.Compat ( src/Prelude/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Prelude/Compat.o ) [102 of 112] Compiling Prelude.Compat.Repl ( src/Prelude/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Prelude/Compat/Repl.o ) [103 of 112] Compiling System.Environment.Compat ( src/System/Environment/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/System/Environment/Compat.o ) [104 of 112] Compiling System.Environment.Compat.Repl ( src/System/Environment/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/System/Environment/Compat/Repl.o ) [105 of 112] Compiling System.Exit.Compat ( src/System/Exit/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/System/Exit/Compat.o ) [106 of 112] Compiling System.Exit.Compat.Repl ( src/System/Exit/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/System/Exit/Compat/Repl.o ) [107 of 112] Compiling System.IO.Unsafe.Compat ( src/System/IO/Unsafe/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/System/IO/Unsafe/Compat.o ) [108 of 112] Compiling System.IO.Unsafe.Compat.Repl ( src/System/IO/Unsafe/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/System/IO/Unsafe/Compat/Repl.o ) [109 of 112] Compiling Text.Read.Compat ( src/Text/Read/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Text/Read/Compat.o ) [110 of 112] Compiling Text.Read.Compat.Repl ( src/Text/Read/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Text/Read/Compat/Repl.o ) [111 of 112] Compiling Type.Reflection.Compat ( src/Type/Reflection/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Type/Reflection/Compat.o ) [112 of 112] Compiling Type.Reflection.Compat.Repl ( src/Type/Reflection/Compat/Repl.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-compat-0.10.5/build/Type/Reflection/Compat/Repl.o ) Configuring library for base-orphans-0.8.2.. Preprocessing library for base-orphans-0.8.2.. Building library for base-orphans-0.8.2.. [1 of 2] Compiling Data.Orphans.Prelude ( src/Data/Orphans/Prelude.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-orphans-0.8.2/build/Data/Orphans/Prelude.o ) [2 of 2] Compiling Data.Orphans ( src/Data/Orphans.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/base-orphans-0.8.2/build/Data/Orphans.o ) Configuring library for colour-2.3.5.. Preprocessing library for colour-2.3.5.. Building library for colour-2.3.5.. [ 1 of 14] Compiling Data.Colour.CIE.Chromaticity ( Data/Colour/CIE/Chromaticity.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/CIE/Chromaticity.o ) [ 2 of 14] Compiling Data.Colour.CIE.Illuminant ( Data/Colour/CIE/Illuminant.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/CIE/Illuminant.o ) [ 3 of 14] Compiling Data.Colour.Chan ( Data/Colour/Chan.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/Chan.o ) [ 4 of 14] Compiling Data.Colour.Internal ( Data/Colour/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/Internal.o ) [ 5 of 14] Compiling Data.Colour.Matrix ( Data/Colour/Matrix.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/Matrix.o ) [ 6 of 14] Compiling Data.Colour.RGB ( Data/Colour/RGB.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/RGB.o ) [ 7 of 14] Compiling Data.Colour.RGBSpace.HSL ( Data/Colour/RGBSpace/HSL.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/RGBSpace/HSL.o ) [ 8 of 14] Compiling Data.Colour.RGBSpace.HSV ( Data/Colour/RGBSpace/HSV.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/RGBSpace/HSV.o ) [ 9 of 14] Compiling Data.Colour.SRGB.Linear ( Data/Colour/SRGB/Linear.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/SRGB/Linear.o ) [10 of 14] Compiling Data.Colour.RGBSpace ( Data/Colour/RGBSpace.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/RGBSpace.o ) [11 of 14] Compiling Data.Colour.SRGB ( Data/Colour/SRGB.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/SRGB.o ) [12 of 14] Compiling Data.Colour ( Data/Colour.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour.o ) [13 of 14] Compiling Data.Colour.Names ( Data/Colour/Names.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/Names.o ) [14 of 14] Compiling Data.Colour.CIE ( Data/Colour/CIE.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/colour-2.3.5/build/Data/Colour/CIE.o ) Configuring library for cryptohash-sha1-0.11.100.1.. Preprocessing library for cryptohash-sha1-0.11.100.1.. Building library for cryptohash-sha1-0.11.100.1.. [1 of 1] Compiling Crypto.Hash.SHA1 ( src/Crypto/Hash/SHA1.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptohash-sha1-0.11.100.1/build/Crypto/Hash/SHA1.o ) src/Crypto/Hash/SHA1.hs:124:11: warning: [-Winline-rule-shadowing] Rule "digestSize" may never fire because `B.length' might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for `B.length' | 124 | {-# RULES "digestSize" B.length (finalize init) = digestSize #-} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Crypto/Hash/SHA1.hs:127:11: warning: [-Winline-rule-shadowing] Rule "hashmany" may never fire because rule "Class op foldl" for `foldl' might fire first Probable fix: add phase [n] or [~n] to the competing rule | 127 | {-# RULES "hashmany" forall b. finalize (foldl update init b) = hashlazy (L.fromChunks b) #-} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Crypto/Hash/SHA1.hs:128:11: warning: [-Winline-rule-shadowing] Rule "hashlazy" may never fire because `$' might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for `$' | 128 | {-# RULES "hashlazy" forall b. finalize (foldl update init $ L.toChunks b) = hashlazy b #-} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Crypto/Hash/SHA1.hs:128:11: warning: [-Winline-rule-shadowing] Rule "hashlazy" may never fire because rule "Class op foldl" for `foldl' might fire first Probable fix: add phase [n] or [~n] to the competing rule | 128 | {-# RULES "hashlazy" forall b. finalize (foldl update init $ L.toChunks b) = hashlazy b #-} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ src/Crypto/Hash/SHA1.hs:128:11: warning: [-Winline-rule-shadowing] Rule "hashlazy" may never fire because `L.toChunks' might inline first Probable fix: add an INLINE[n] or NOINLINE[n] pragma for `L.toChunks' | 128 | {-# RULES "hashlazy" forall b. finalize (foldl update init $ L.toChunks b) = hashlazy b #-} | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Configuring executable 'happy' for happy-1.19.12.. Preprocessing executable 'happy' for happy-1.19.12.. Building executable 'happy' for happy-1.19.12.. [ 1 of 19] Compiling AbsSyn ( src/AbsSyn.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/AbsSyn.o ) [ 2 of 19] Compiling GenUtils ( src/GenUtils.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/GenUtils.o ) [ 3 of 19] Compiling NameSet ( src/NameSet.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/NameSet.o ) [ 4 of 19] Compiling ParamRules ( src/ParamRules.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/ParamRules.o ) [ 5 of 19] Compiling ParseMonad ( src/ParseMonad.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/ParseMonad.o ) [ 6 of 19] Compiling Lexer ( src/Lexer.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Lexer.o ) [ 7 of 19] Compiling AttrGrammar ( src/AttrGrammar.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/AttrGrammar.o ) [ 8 of 19] Compiling AttrGrammarParser ( src/AttrGrammarParser.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/AttrGrammarParser.o ) [ 9 of 19] Compiling Grammar ( src/Grammar.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Grammar.o ) [10 of 19] Compiling LALR ( src/LALR.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/LALR.o ) [11 of 19] Compiling First ( src/First.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/First.o ) [12 of 19] Compiling Parser ( src/Parser.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Parser.o ) [13 of 19] Compiling Paths_happy ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/autogen/Paths_happy.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Paths_happy.o ) [14 of 19] Compiling Info ( src/Info.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Info.o ) [15 of 19] Compiling PrettyGrammar ( src/PrettyGrammar.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/PrettyGrammar.o ) [16 of 19] Compiling ProduceGLRCode ( src/ProduceGLRCode.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/ProduceGLRCode.o ) [17 of 19] Compiling Target ( src/Target.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Target.o ) [18 of 19] Compiling ProduceCode ( src/ProduceCode.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/ProduceCode.o ) [19 of 19] Compiling Main ( src/Main.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy-tmp/Main.o ) Linking /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/happy-1.19.12/x/happy/build/happy/happy ... Configuring library for hashable-1.3.0.0.. Preprocessing library for hashable-1.3.0.0.. Building library for hashable-1.3.0.0.. [1 of 5] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/hashable-1.3.0.0/build/Data/Hashable/Class.o ) [2 of 5] Compiling Data.Hashable.Generic.Instances ( Data/Hashable/Generic/Instances.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/hashable-1.3.0.0/build/Data/Hashable/Generic/Instances.o ) [3 of 5] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/hashable-1.3.0.0/build/Data/Hashable/Generic.o ) [4 of 5] Compiling Data.Hashable ( Data/Hashable.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/hashable-1.3.0.0/build/Data/Hashable.o ) [5 of 5] Compiling Data.Hashable.Lifted ( Data/Hashable/Lifted.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/hashable-1.3.0.0/build/Data/Hashable/Lifted.o ) Configuring library for heredoc-0.2.0.0.. Preprocessing library for heredoc-0.2.0.0.. Building library for heredoc-0.2.0.0.. [1 of 1] Compiling Text.Heredoc ( src/Text/Heredoc.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/heredoc-0.2.0.0/build/Text/Heredoc.o ) Configuring monadLib-3.10... Preprocessing library for monadLib-3.10.. Building library for monadLib-3.10.. [1 of 3] Compiling MonadLib ( src/MonadLib.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/monadLib-3.10/build/MonadLib.o ) [2 of 3] Compiling MonadLib.Derive ( src/MonadLib/Derive.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/monadLib-3.10/build/MonadLib/Derive.o ) [3 of 3] Compiling MonadLib.Monads ( src/MonadLib/Monads.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/monadLib-3.10/build/MonadLib/Monads.o ) Configuring library for primitive-0.7.0.1.. Preprocessing library for primitive-0.7.0.1.. Building library for primitive-0.7.0.1.. [ 1 of 13] Compiling Control.Monad.Primitive ( Control/Monad/Primitive.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Control/Monad/Primitive.o ) [ 2 of 13] Compiling Data.Primitive.Internal.Compat ( Data/Primitive/Internal/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/Internal/Compat.o ) [ 3 of 13] Compiling Data.Primitive.Array ( Data/Primitive/Array.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/Array.o ) [ 4 of 13] Compiling Data.Primitive.MVar ( Data/Primitive/MVar.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/MVar.o ) [ 5 of 13] Compiling Data.Primitive.MachDeps ( Data/Primitive/MachDeps.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/MachDeps.o ) [ 6 of 13] Compiling Data.Primitive.Internal.Operations ( Data/Primitive/Internal/Operations.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/Internal/Operations.o ) [ 7 of 13] Compiling Data.Primitive.MutVar ( Data/Primitive/MutVar.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/MutVar.o ) [ 8 of 13] Compiling Data.Primitive.SmallArray ( Data/Primitive/SmallArray.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/SmallArray.o ) [ 9 of 13] Compiling Data.Primitive.Types ( Data/Primitive/Types.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/Types.o ) [10 of 13] Compiling Data.Primitive.ByteArray ( Data/Primitive/ByteArray.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/ByteArray.o ) [11 of 13] Compiling Data.Primitive.PrimArray ( Data/Primitive/PrimArray.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/PrimArray.o ) [12 of 13] Compiling Data.Primitive.Ptr ( Data/Primitive/Ptr.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive/Ptr.o ) [13 of 13] Compiling Data.Primitive ( Data/Primitive.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/primitive-0.7.0.1/build/Data/Primitive.o ) Warning: random.cabal:15:2: Tabs used as indentation at 15:2, 16:2, 17:2 Configuring library for random-1.1.. Preprocessing library for random-1.1.. Building library for random-1.1.. [1 of 1] Compiling System.Random ( System/Random.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/random-1.1/build/System/Random.o ) System/Random.hs:43:1: warning: [-Wtabs] Tab character found here, and in 74 further locations. Please use spaces instead. | 43 | ( | ^^^^^^^^ Configuring library for simple-smt-0.9.4.. Preprocessing library for simple-smt-0.9.4.. Building library for simple-smt-0.9.4.. [1 of 1] Compiling SimpleSMT ( SimpleSMT.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/simple-smt-0.9.4/build/SimpleSMT.o ) Configuring strict-0.3.2... Preprocessing library for strict-0.3.2.. Building library for strict-0.3.2.. Data/Strict/Tuple.hs:17:16: warning: -fglasgow-exts is deprecated: Use individual extensions instead | 17 | {-# OPTIONS_GHC -fglasgow-exts #-} | ^^^^^^^^^^^^^^^^ [1 of 5] Compiling Data.Strict.Either ( Data/Strict/Either.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/strict-0.3.2/build/Data/Strict/Either.o ) [2 of 5] Compiling Data.Strict.Maybe ( Data/Strict/Maybe.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/strict-0.3.2/build/Data/Strict/Maybe.o ) [3 of 5] Compiling Data.Strict.Tuple ( Data/Strict/Tuple.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/strict-0.3.2/build/Data/Strict/Tuple.o ) [4 of 5] Compiling Data.Strict ( Data/Strict.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/strict-0.3.2/build/Data/Strict.o ) [5 of 5] Compiling System.IO.Strict ( System/IO/Strict.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/strict-0.3.2/build/System/IO/Strict.o ) Configuring library for syb-0.7.1.. Preprocessing library for syb-0.7.1.. Building library for syb-0.7.1.. [ 1 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Aliases.o ) [ 2 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Basics.o ) [ 3 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Builders.o ) [ 4 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Instances.o ) [ 5 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Schemes.o ) [ 6 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Text.o ) [ 7 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics/Twins.o ) [ 8 of 16] Compiling Data.Generics ( src/Data/Generics.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Data/Generics.o ) [ 9 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB.o ) [10 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Aliases.o ) [11 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Basics.o ) [12 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Builders.o ) [13 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Instances.o ) [14 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Schemes.o ) [15 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Text.o ) [16 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/syb-0.7.1/build/Generics/SYB/Twins.o ) Configuring library for th-abstraction-0.3.2.0.. Preprocessing library for th-abstraction-0.3.2.0.. Building library for th-abstraction-0.3.2.0.. [1 of 2] Compiling Language.Haskell.TH.Datatype.Internal ( src/Language/Haskell/TH/Datatype/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/th-abstraction-0.3.2.0/build/Language/Haskell/TH/Datatype/Internal.o ) [2 of 2] Compiling Language.Haskell.TH.Datatype ( src/Language/Haskell/TH/Datatype.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/th-abstraction-0.3.2.0/build/Language/Haskell/TH/Datatype.o ) Configuring library for transformers-compat-0.6.5.. Preprocessing library for transformers-compat-0.6.5.. Building library for transformers-compat-0.6.5.. [1 of 4] Compiling Control.Monad.Trans.Instances ( src/Control/Monad/Trans/Instances.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/transformers-compat-0.6.5/build/Control/Monad/Trans/Instances.o ) [2 of 4] Compiling Data.Functor.Classes.Generic.Internal ( generics/Data/Functor/Classes/Generic/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/transformers-compat-0.6.5/build/Data/Functor/Classes/Generic/Internal.o ) [3 of 4] Compiling Data.Functor.Classes.Generic ( generics/Data/Functor/Classes/Generic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/transformers-compat-0.6.5/build/Data/Functor/Classes/Generic.o ) [4 of 4] Compiling Paths_transformers_compat ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/transformers-compat-0.6.5/build/autogen/Paths_transformers_compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/transformers-compat-0.6.5/build/Paths_transformers_compat.o ) Configuring library for crackNum-2.3.. Preprocessing library for crackNum-2.3.. Building library for crackNum-2.3.. [1 of 3] Compiling Data.Numbers.CrackNum.Data ( Data/Numbers/CrackNum/Data.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/crackNum-2.3/build/Data/Numbers/CrackNum/Data.o ) [2 of 3] Compiling Data.Numbers.CrackNum.Utils ( Data/Numbers/CrackNum/Utils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/crackNum-2.3/build/Data/Numbers/CrackNum/Utils.o ) [3 of 3] Compiling Data.Numbers.CrackNum ( Data/Numbers/CrackNum.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/crackNum-2.3/build/Data/Numbers/CrackNum.o ) Configuring library for gitrev-1.3.1.. Preprocessing library for gitrev-1.3.1.. Building library for gitrev-1.3.1.. [1 of 1] Compiling Development.GitRev ( src/Development/GitRev.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/gitrev-1.3.1/build/Development/GitRev.o ) src/Development/GitRev.hs:109:6: warning: [-Wincomplete-patterns] Pattern match(es) are non-exhaustive In a multi-way if alternative: Guards do not cover entire pattern space | 109 | if | isDir -> return dotGit | ^^^^^^^^^^^^^^^^^^^^^^^^... Configuring library for ansi-terminal-0.10.3.. Preprocessing library for ansi-terminal-0.10.3.. Building library for ansi-terminal-0.10.3.. [1 of 4] Compiling System.Console.ANSI.Types ( src/System/Console/ANSI/Types.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/ansi-terminal-0.10.3/build/System/Console/ANSI/Types.o ) [2 of 4] Compiling System.Console.ANSI.Codes ( src/System/Console/ANSI/Codes.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/ansi-terminal-0.10.3/build/System/Console/ANSI/Codes.o ) [3 of 4] Compiling System.Console.ANSI.Unix ( src/System/Console/ANSI/Unix.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/ansi-terminal-0.10.3/build/System/Console/ANSI/Unix.o ) [4 of 4] Compiling System.Console.ANSI ( src/System/Console/ANSI.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/ansi-terminal-0.10.3/build/System/Console/ANSI.o ) Configuring library for async-2.2.2.. Preprocessing library for async-2.2.2.. Building library for async-2.2.2.. [1 of 1] Compiling Control.Concurrent.Async ( Control/Concurrent/Async.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/async-2.2.2/build/Control/Concurrent/Async.o ) Control/Concurrent/Async.hs:150:1: warning: [-Wunused-imports] The import of `Data.Semigroup' is redundant except perhaps to import instances from `Data.Semigroup' To import instances alone, use: import Data.Semigroup() | 150 | import Data.Semigroup (Semigroup((<>))) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Configuring library for tf-random-0.5.. Preprocessing library for tf-random-0.5.. Building library for tf-random-0.5.. [1 of 4] Compiling System.Random.TF.Gen ( src/System/Random/TF/Gen.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/tf-random-0.5/build/System/Random/TF/Gen.o ) [2 of 4] Compiling System.Random.TF.Init ( src/System/Random/TF/Init.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/tf-random-0.5/build/System/Random/TF/Init.o ) src/System/Random/TF/Init.hs:94:5: warning: [-Wdeprecations] In the use of `bitSize' (imported from Data.Bits): Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead" | 94 | | bitSize n > 64 = error "mkTFGen: case where size of Int > 64 not implemented" | ^^^^^^^ [3 of 4] Compiling System.Random.TF ( src/System/Random/TF.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/tf-random-0.5/build/System/Random/TF.o ) [4 of 4] Compiling System.Random.TF.Instances ( src/System/Random/TF/Instances.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/tf-random-0.5/build/System/Random/TF/Instances.o ) Configuring library for splitmix-0.0.4.. Preprocessing library for splitmix-0.0.4.. Building library for splitmix-0.0.4.. [1 of 3] Compiling Data.Bits.Compat ( src-compat/Data/Bits/Compat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/splitmix-0.0.4/build/Data/Bits/Compat.o ) [2 of 3] Compiling System.Random.SplitMix ( src/System/Random/SplitMix.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/splitmix-0.0.4/build/System/Random/SplitMix.o ) [3 of 3] Compiling System.Random.SplitMix32 ( src/System/Random/SplitMix32.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/splitmix-0.0.4/build/System/Random/SplitMix32.o ) Configuring library for generic-deriving-1.13.1.. Preprocessing library for generic-deriving-1.13.1.. Building library for generic-deriving-1.13.1.. [ 1 of 22] Compiling Generics.Deriving.Base.Internal ( src/Generics/Deriving/Base/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Base/Internal.o ) [ 2 of 22] Compiling Generics.Deriving.Instances ( src/Generics/Deriving/Instances.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Instances.o ) [ 3 of 22] Compiling Generics.Deriving.Base ( src/Generics/Deriving/Base.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Base.o ) [ 4 of 22] Compiling Generics.Deriving.Functor ( src/Generics/Deriving/Functor.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Functor.o ) [ 5 of 22] Compiling Generics.Deriving.Foldable ( src/Generics/Deriving/Foldable.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Foldable.o ) [ 6 of 22] Compiling Generics.Deriving.Eq ( src/Generics/Deriving/Eq.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Eq.o ) [ 7 of 22] Compiling Generics.Deriving.Enum ( src/Generics/Deriving/Enum.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Enum.o ) [ 8 of 22] Compiling Generics.Deriving.Copoint ( src/Generics/Deriving/Copoint.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Copoint.o ) [ 9 of 22] Compiling Generics.Deriving.ConNames ( src/Generics/Deriving/ConNames.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/ConNames.o ) [10 of 22] Compiling Generics.Deriving.Semigroup.Internal ( src/Generics/Deriving/Semigroup/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Semigroup/Internal.o ) [11 of 22] Compiling Generics.Deriving.Monoid.Internal ( src/Generics/Deriving/Monoid/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Monoid/Internal.o ) [12 of 22] Compiling Generics.Deriving.Semigroup ( src/Generics/Deriving/Semigroup.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Semigroup.o ) [13 of 22] Compiling Generics.Deriving.Monoid ( src/Generics/Deriving/Monoid.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Monoid.o ) [14 of 22] Compiling Generics.Deriving.Show ( src/Generics/Deriving/Show.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Show.o ) [15 of 22] Compiling Generics.Deriving.TH.Internal ( src/Generics/Deriving/TH/Internal.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/TH/Internal.o ) [16 of 22] Compiling Generics.Deriving.TH.Post4_9 ( src/Generics/Deriving/TH/Post4_9.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/TH/Post4_9.o ) [17 of 22] Compiling Generics.Deriving.TH ( src/Generics/Deriving/TH.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/TH.o ) [18 of 22] Compiling Generics.Deriving.Traversable ( src/Generics/Deriving/Traversable.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Traversable.o ) [19 of 22] Compiling Generics.Deriving.Uniplate ( src/Generics/Deriving/Uniplate.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Uniplate.o ) [20 of 22] Compiling Generics.Deriving.Default ( src/Generics/Deriving/Default.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving/Default.o ) [21 of 22] Compiling Generics.Deriving ( src/Generics/Deriving.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Generics/Deriving.o ) [22 of 22] Compiling Paths_generic_deriving ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/autogen/Paths_generic_deriving.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/generic-deriving-1.13.1/build/Paths_generic_deriving.o ) Configuring library for transformers-base-0.4.5.2.. Preprocessing library for transformers-base-0.4.5.2.. Building library for transformers-base-0.4.5.2.. [1 of 1] Compiling Control.Monad.Base ( src/Control/Monad/Base.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/transformers-base-0.4.5.2/build/Control/Monad/Base.o ) Configuring library for panic-0.4.0.1.. Preprocessing library for panic-0.4.0.1.. Building library for panic-0.4.0.1.. [1 of 1] Compiling Panic ( src/Panic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/panic-0.4.0.1/build/Panic.o ) Configuring library for QuickCheck-2.13.2.. Preprocessing library for QuickCheck-2.13.2.. Building library for QuickCheck-2.13.2.. [ 1 of 16] Compiling Test.QuickCheck.Exception ( Test/QuickCheck/Exception.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Exception.o ) [ 2 of 16] Compiling Test.QuickCheck.Random ( Test/QuickCheck/Random.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Random.o ) [ 3 of 16] Compiling Test.QuickCheck.Gen ( Test/QuickCheck/Gen.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Gen.o ) [ 4 of 16] Compiling Test.QuickCheck.Gen.Unsafe ( Test/QuickCheck/Gen/Unsafe.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Gen/Unsafe.o ) [ 5 of 16] Compiling Test.QuickCheck.Arbitrary ( Test/QuickCheck/Arbitrary.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Arbitrary.o ) [ 6 of 16] Compiling Test.QuickCheck.Poly ( Test/QuickCheck/Poly.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Poly.o ) [ 7 of 16] Compiling Test.QuickCheck.Modifiers ( Test/QuickCheck/Modifiers.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Modifiers.o ) [ 8 of 16] Compiling Test.QuickCheck.Function ( Test/QuickCheck/Function.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Function.o ) [ 9 of 16] Compiling Test.QuickCheck.Text ( Test/QuickCheck/Text.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Text.o ) [10 of 16] Compiling Test.QuickCheck.State ( Test/QuickCheck/State.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/State.o ) [11 of 16] Compiling Test.QuickCheck.Property ( Test/QuickCheck/Property.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Property.o ) [12 of 16] Compiling Test.QuickCheck.Test ( Test/QuickCheck/Test.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Test.o ) [13 of 16] Compiling Test.QuickCheck.Monadic ( Test/QuickCheck/Monadic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Monadic.o ) [14 of 16] Compiling Test.QuickCheck.All ( Test/QuickCheck/All.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/All.o ) [15 of 16] Compiling Test.QuickCheck.Features ( Test/QuickCheck/Features.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck/Features.o ) [16 of 16] Compiling Test.QuickCheck ( Test/QuickCheck.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/QuickCheck-2.13.2/build/Test/QuickCheck.o ) Configuring monad-control-1.0.2.3... Preprocessing library for monad-control-1.0.2.3.. Building library for monad-control-1.0.2.3.. [1 of 1] Compiling Control.Monad.Trans.Control ( Control/Monad/Trans/Control.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/monad-control-1.0.2.3/build/Control/Monad/Trans/Control.o ) Configuring library for sbv-8.6.. Preprocessing library for sbv-8.6.. Building library for sbv-8.6.. [ 1 of 136] Compiling Data.SBV.Control.Types ( Data/SBV/Control/Types.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Control/Types.o ) [ 2 of 136] Compiling Data.SBV.Core.AlgReals ( Data/SBV/Core/AlgReals.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/AlgReals.o ) [ 3 of 136] Compiling Data.SBV.SMT.SMTLibNames ( Data/SBV/SMT/SMTLibNames.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/SMT/SMTLibNames.o ) [ 4 of 136] Compiling Data.SBV.Utils.ExtractIO ( Data/SBV/Utils/ExtractIO.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Utils/ExtractIO.o ) [ 5 of 136] Compiling Data.SBV.Utils.Lib ( Data/SBV/Utils/Lib.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Utils/Lib.o ) [ 6 of 136] Compiling Data.SBV.Core.Kind ( Data/SBV/Core/Kind.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Kind.o ) [ 7 of 136] Compiling Data.SBV.Utils.Numeric ( Data/SBV/Utils/Numeric.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Utils/Numeric.o ) [ 8 of 136] Compiling Data.SBV.Core.Concrete ( Data/SBV/Core/Concrete.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Concrete.o ) [ 9 of 136] Compiling Data.SBV.Utils.TDiff ( Data/SBV/Utils/TDiff.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Utils/TDiff.o ) [ 10 of 136] Compiling Data.SBV.Core.Symbolic ( Data/SBV/Core/Symbolic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Symbolic.o ) [ 11 of 136] Compiling Data.SBV.Core.Operations ( Data/SBV/Core/Operations.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Operations.o ) [ 12 of 136] Compiling Data.SBV.Core.Data ( Data/SBV/Core/Data.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Data.o ) [ 13 of 136] Compiling Data.SBV.Utils.SExpr ( Data/SBV/Utils/SExpr.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Utils/SExpr.o ) [ 14 of 136] Compiling Data.SBV.Utils.PrettyNum ( Data/SBV/Utils/PrettyNum.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Utils/PrettyNum.o ) [ 15 of 136] Compiling Data.SBV.Tools.GenTest ( Data/SBV/Tools/GenTest.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/GenTest.o ) [ 16 of 136] Compiling Data.SBV.SMT.Utils ( Data/SBV/SMT/Utils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/SMT/Utils.o ) [ 17 of 136] Compiling Data.SBV.SMT.SMTLib2 ( Data/SBV/SMT/SMTLib2.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/SMT/SMTLib2.o ) [ 18 of 136] Compiling Data.SBV.SMT.SMTLib ( Data/SBV/SMT/SMTLib.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/SMT/SMTLib.o ) [ 19 of 136] Compiling Data.SBV.SMT.SMT ( Data/SBV/SMT/SMT.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/SMT/SMT.o ) [ 20 of 136] Compiling Data.SBV.Provers.Z3 ( Data/SBV/Provers/Z3.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/Z3.o ) [ 21 of 136] Compiling Data.SBV.Provers.Yices ( Data/SBV/Provers/Yices.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/Yices.o ) [ 22 of 136] Compiling Data.SBV.Provers.MathSAT ( Data/SBV/Provers/MathSAT.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/MathSAT.o ) [ 23 of 136] Compiling Data.SBV.Provers.CVC4 ( Data/SBV/Provers/CVC4.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/CVC4.o ) [ 24 of 136] Compiling Data.SBV.Provers.Boolector ( Data/SBV/Provers/Boolector.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/Boolector.o ) [ 25 of 136] Compiling Data.SBV.Provers.ABC ( Data/SBV/Provers/ABC.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/ABC.o ) [ 26 of 136] Compiling Data.SBV.Control.Utils ( Data/SBV/Control/Utils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Control/Utils.o ) [ 27 of 136] Compiling Data.SBV.Control.Query ( Data/SBV/Control/Query.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Control/Query.o ) [ 28 of 136] Compiling Data.SBV.Trans.Control ( Data/SBV/Trans/Control.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Trans/Control.o ) [ 29 of 136] Compiling Data.SBV.Provers.Prover ( Data/SBV/Provers/Prover.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Provers/Prover.o ) [ 30 of 136] Compiling Data.SBV.Core.Model ( Data/SBV/Core/Model.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Model.o ) [ 31 of 136] Compiling Data.SBV.Tuple ( Data/SBV/Tuple.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tuple.o ) [ 32 of 136] Compiling Data.SBV.Tools.STree ( Data/SBV/Tools/STree.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/STree.o ) [ 33 of 136] Compiling Data.SBV.Tools.Overflow ( Data/SBV/Tools/Overflow.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/Overflow.o ) [ 34 of 136] Compiling Data.SBV.String ( Data/SBV/String.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/String.o ) [ 35 of 136] Compiling Data.SBV.Set ( Data/SBV/Set.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Set.o ) [ 36 of 136] Compiling Data.SBV.Maybe ( Data/SBV/Maybe.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Maybe.o ) [ 37 of 136] Compiling Data.SBV.List ( Data/SBV/List.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/List.o ) [ 38 of 136] Compiling Data.SBV.Either ( Data/SBV/Either.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Either.o ) [ 39 of 136] Compiling Data.SBV.Core.Sized ( Data/SBV/Core/Sized.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Sized.o ) [ 40 of 136] Compiling Data.SBV.Tools.Polynomial ( Data/SBV/Tools/Polynomial.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/Polynomial.o ) [ 41 of 136] Compiling Data.SBV.Core.Floating ( Data/SBV/Core/Floating.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Core/Floating.o ) [ 42 of 136] Compiling Data.SBV.Char ( Data/SBV/Char.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Char.o ) [ 43 of 136] Compiling Data.SBV.RegExp ( Data/SBV/RegExp.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/RegExp.o ) [ 44 of 136] Compiling Data.SBV.Client ( Data/SBV/Client.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Client.o ) [ 45 of 136] Compiling Data.SBV.Control.BaseIO ( Data/SBV/Control/BaseIO.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Control/BaseIO.o ) [ 46 of 136] Compiling Data.SBV.Control ( Data/SBV/Control.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Control.o ) [ 47 of 136] Compiling Data.SBV.Compilers.CodeGen ( Data/SBV/Compilers/CodeGen.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Compilers/CodeGen.o ) [ 48 of 136] Compiling Data.SBV.Compilers.C ( Data/SBV/Compilers/C.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Compilers/C.o ) [ 49 of 136] Compiling Data.SBV.Tools.CodeGen ( Data/SBV/Tools/CodeGen.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/CodeGen.o ) [ 50 of 136] Compiling Data.SBV.Internals ( Data/SBV/Internals.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Internals.o ) [ 51 of 136] Compiling Data.SBV.Client.BaseIO ( Data/SBV/Client/BaseIO.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Client/BaseIO.o ) [ 52 of 136] Compiling Data.SBV.Trans ( Data/SBV/Trans.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Trans.o ) [ 53 of 136] Compiling Data.SBV ( Data/SBV.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV.o ) [ 54 of 136] Compiling Data.SBV.Tools.WeakestPreconditions ( Data/SBV/Tools/WeakestPreconditions.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/WeakestPreconditions.o ) [ 55 of 136] Compiling Data.SBV.Tools.Range ( Data/SBV/Tools/Range.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/Range.o ) [ 56 of 136] Compiling Data.SBV.Tools.Induction ( Data/SBV/Tools/Induction.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/Induction.o ) [ 57 of 136] Compiling Data.SBV.Tools.BoundedList ( Data/SBV/Tools/BoundedList.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/BoundedList.o ) [ 58 of 136] Compiling Data.SBV.Tools.BoundedFix ( Data/SBV/Tools/BoundedFix.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/BoundedFix.o ) [ 59 of 136] Compiling Data.SBV.Tools.BMC ( Data/SBV/Tools/BMC.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Tools/BMC.o ) [ 60 of 136] Compiling Data.SBV.Dynamic ( Data/SBV/Dynamic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Data/SBV/Dynamic.o ) [ 61 of 136] Compiling Documentation.SBV.Examples.BitPrecise.BitTricks ( Documentation/SBV/Examples/BitPrecise/BitTricks.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/BitPrecise/BitTricks.o ) [ 62 of 136] Compiling Documentation.SBV.Examples.BitPrecise.BrokenSearch ( Documentation/SBV/Examples/BitPrecise/BrokenSearch.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/BitPrecise/BrokenSearch.o ) [ 63 of 136] Compiling Documentation.SBV.Examples.BitPrecise.Legato ( Documentation/SBV/Examples/BitPrecise/Legato.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/BitPrecise/Legato.o ) [ 64 of 136] Compiling Documentation.SBV.Examples.BitPrecise.MergeSort ( Documentation/SBV/Examples/BitPrecise/MergeSort.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/BitPrecise/MergeSort.o ) [ 65 of 136] Compiling Documentation.SBV.Examples.BitPrecise.MultMask ( Documentation/SBV/Examples/BitPrecise/MultMask.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/BitPrecise/MultMask.o ) [ 66 of 136] Compiling Documentation.SBV.Examples.BitPrecise.PrefixSum ( Documentation/SBV/Examples/BitPrecise/PrefixSum.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/BitPrecise/PrefixSum.o ) [ 67 of 136] Compiling Documentation.SBV.Examples.CodeGeneration.AddSub ( Documentation/SBV/Examples/CodeGeneration/AddSub.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/CodeGeneration/AddSub.o ) [ 68 of 136] Compiling Documentation.SBV.Examples.CodeGeneration.CRC_USB5 ( Documentation/SBV/Examples/CodeGeneration/CRC_USB5.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/CodeGeneration/CRC_USB5.o ) [ 69 of 136] Compiling Documentation.SBV.Examples.CodeGeneration.Fibonacci ( Documentation/SBV/Examples/CodeGeneration/Fibonacci.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/CodeGeneration/Fibonacci.o ) [ 70 of 136] Compiling Documentation.SBV.Examples.CodeGeneration.GCD ( Documentation/SBV/Examples/CodeGeneration/GCD.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/CodeGeneration/GCD.o ) [ 71 of 136] Compiling Documentation.SBV.Examples.CodeGeneration.PopulationCount ( Documentation/SBV/Examples/CodeGeneration/PopulationCount.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/CodeGeneration/PopulationCount.o ) [ 72 of 136] Compiling Documentation.SBV.Examples.CodeGeneration.Uninterpreted ( Documentation/SBV/Examples/CodeGeneration/Uninterpreted.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/CodeGeneration/Uninterpreted.o ) [ 73 of 136] Compiling Documentation.SBV.Examples.Crypto.AES ( Documentation/SBV/Examples/Crypto/AES.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Crypto/AES.o ) [ 74 of 136] Compiling Documentation.SBV.Examples.Crypto.RC4 ( Documentation/SBV/Examples/Crypto/RC4.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Crypto/RC4.o ) [ 75 of 136] Compiling Documentation.SBV.Examples.Crypto.SHA ( Documentation/SBV/Examples/Crypto/SHA.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Crypto/SHA.o ) [ 76 of 136] Compiling Documentation.SBV.Examples.Existentials.CRCPolynomial ( Documentation/SBV/Examples/Existentials/CRCPolynomial.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Existentials/CRCPolynomial.o ) [ 77 of 136] Compiling Documentation.SBV.Examples.Existentials.Diophantine ( Documentation/SBV/Examples/Existentials/Diophantine.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Existentials/Diophantine.o ) [ 78 of 136] Compiling Documentation.SBV.Examples.Lists.BoundedMutex ( Documentation/SBV/Examples/Lists/BoundedMutex.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Lists/BoundedMutex.o ) [ 79 of 136] Compiling Documentation.SBV.Examples.Lists.Fibonacci ( Documentation/SBV/Examples/Lists/Fibonacci.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Lists/Fibonacci.o ) [ 80 of 136] Compiling Documentation.SBV.Examples.Lists.Nested ( Documentation/SBV/Examples/Lists/Nested.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Lists/Nested.o ) [ 81 of 136] Compiling Documentation.SBV.Examples.Misc.Auxiliary ( Documentation/SBV/Examples/Misc/Auxiliary.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/Auxiliary.o ) [ 82 of 136] Compiling Documentation.SBV.Examples.Misc.Enumerate ( Documentation/SBV/Examples/Misc/Enumerate.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/Enumerate.o ) [ 83 of 136] Compiling Documentation.SBV.Examples.Misc.Floating ( Documentation/SBV/Examples/Misc/Floating.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/Floating.o ) [ 84 of 136] Compiling Documentation.SBV.Examples.Misc.ModelExtract ( Documentation/SBV/Examples/Misc/ModelExtract.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/ModelExtract.o ) [ 85 of 136] Compiling Documentation.SBV.Examples.Misc.NoDiv0 ( Documentation/SBV/Examples/Misc/NoDiv0.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/NoDiv0.o ) [ 86 of 136] Compiling Documentation.SBV.Examples.Misc.Polynomials ( Documentation/SBV/Examples/Misc/Polynomials.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/Polynomials.o ) [ 87 of 136] Compiling Documentation.SBV.Examples.Misc.SetAlgebra ( Documentation/SBV/Examples/Misc/SetAlgebra.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/SetAlgebra.o ) [ 88 of 136] Compiling Documentation.SBV.Examples.Misc.SoftConstrain ( Documentation/SBV/Examples/Misc/SoftConstrain.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/SoftConstrain.o ) [ 89 of 136] Compiling Documentation.SBV.Examples.Misc.Tuple ( Documentation/SBV/Examples/Misc/Tuple.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Misc/Tuple.o ) [ 90 of 136] Compiling Documentation.SBV.Examples.Optimization.Enumerate ( Documentation/SBV/Examples/Optimization/Enumerate.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Optimization/Enumerate.o ) [ 91 of 136] Compiling Documentation.SBV.Examples.Optimization.ExtField ( Documentation/SBV/Examples/Optimization/ExtField.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Optimization/ExtField.o ) [ 92 of 136] Compiling Documentation.SBV.Examples.Optimization.LinearOpt ( Documentation/SBV/Examples/Optimization/LinearOpt.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Optimization/LinearOpt.o ) [ 93 of 136] Compiling Documentation.SBV.Examples.Optimization.Production ( Documentation/SBV/Examples/Optimization/Production.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Optimization/Production.o ) [ 94 of 136] Compiling Documentation.SBV.Examples.Optimization.VM ( Documentation/SBV/Examples/Optimization/VM.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Optimization/VM.o ) [ 95 of 136] Compiling Documentation.SBV.Examples.ProofTools.BMC ( Documentation/SBV/Examples/ProofTools/BMC.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/ProofTools/BMC.o ) [ 96 of 136] Compiling Documentation.SBV.Examples.ProofTools.Fibonacci ( Documentation/SBV/Examples/ProofTools/Fibonacci.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/ProofTools/Fibonacci.o ) [ 97 of 136] Compiling Documentation.SBV.Examples.ProofTools.Strengthen ( Documentation/SBV/Examples/ProofTools/Strengthen.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/ProofTools/Strengthen.o ) [ 98 of 136] Compiling Documentation.SBV.Examples.ProofTools.Sum ( Documentation/SBV/Examples/ProofTools/Sum.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/ProofTools/Sum.o ) [ 99 of 136] Compiling Documentation.SBV.Examples.Puzzles.Birthday ( Documentation/SBV/Examples/Puzzles/Birthday.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Birthday.o ) [100 of 136] Compiling Documentation.SBV.Examples.Puzzles.Coins ( Documentation/SBV/Examples/Puzzles/Coins.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Coins.o ) [101 of 136] Compiling Documentation.SBV.Examples.Puzzles.Counts ( Documentation/SBV/Examples/Puzzles/Counts.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Counts.o ) [102 of 136] Compiling Documentation.SBV.Examples.Puzzles.DogCatMouse ( Documentation/SBV/Examples/Puzzles/DogCatMouse.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/DogCatMouse.o ) [103 of 136] Compiling Documentation.SBV.Examples.Puzzles.Euler185 ( Documentation/SBV/Examples/Puzzles/Euler185.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Euler185.o ) [104 of 136] Compiling Documentation.SBV.Examples.Puzzles.Fish ( Documentation/SBV/Examples/Puzzles/Fish.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Fish.o ) [105 of 136] Compiling Documentation.SBV.Examples.Puzzles.Garden ( Documentation/SBV/Examples/Puzzles/Garden.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Garden.o ) [106 of 136] Compiling Documentation.SBV.Examples.Puzzles.HexPuzzle ( Documentation/SBV/Examples/Puzzles/HexPuzzle.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/HexPuzzle.o ) [107 of 136] Compiling Documentation.SBV.Examples.Puzzles.LadyAndTigers ( Documentation/SBV/Examples/Puzzles/LadyAndTigers.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/LadyAndTigers.o ) [108 of 136] Compiling Documentation.SBV.Examples.Puzzles.MagicSquare ( Documentation/SBV/Examples/Puzzles/MagicSquare.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/MagicSquare.o ) [109 of 136] Compiling Documentation.SBV.Examples.Puzzles.NQueens ( Documentation/SBV/Examples/Puzzles/NQueens.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/NQueens.o ) [110 of 136] Compiling Documentation.SBV.Examples.Puzzles.SendMoreMoney ( Documentation/SBV/Examples/Puzzles/SendMoreMoney.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/SendMoreMoney.o ) [111 of 136] Compiling Documentation.SBV.Examples.Puzzles.Sudoku ( Documentation/SBV/Examples/Puzzles/Sudoku.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/Sudoku.o ) [112 of 136] Compiling Documentation.SBV.Examples.Puzzles.U2Bridge ( Documentation/SBV/Examples/Puzzles/U2Bridge.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Puzzles/U2Bridge.o ) [113 of 136] Compiling Documentation.SBV.Examples.Queries.AllSat ( Documentation/SBV/Examples/Queries/AllSat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/AllSat.o ) [114 of 136] Compiling Documentation.SBV.Examples.Queries.CaseSplit ( Documentation/SBV/Examples/Queries/CaseSplit.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/CaseSplit.o ) [115 of 136] Compiling Documentation.SBV.Examples.Queries.Enums ( Documentation/SBV/Examples/Queries/Enums.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/Enums.o ) [116 of 136] Compiling Documentation.SBV.Examples.Queries.FourFours ( Documentation/SBV/Examples/Queries/FourFours.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/FourFours.o ) [117 of 136] Compiling Documentation.SBV.Examples.Queries.GuessNumber ( Documentation/SBV/Examples/Queries/GuessNumber.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/GuessNumber.o ) [118 of 136] Compiling Documentation.SBV.Examples.Queries.Interpolants ( Documentation/SBV/Examples/Queries/Interpolants.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/Interpolants.o ) [119 of 136] Compiling Documentation.SBV.Examples.Queries.UnsatCore ( Documentation/SBV/Examples/Queries/UnsatCore.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Queries/UnsatCore.o ) [120 of 136] Compiling Documentation.SBV.Examples.Strings.RegexCrossword ( Documentation/SBV/Examples/Strings/RegexCrossword.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Strings/RegexCrossword.o ) [121 of 136] Compiling Documentation.SBV.Examples.Strings.SQLInjection ( Documentation/SBV/Examples/Strings/SQLInjection.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Strings/SQLInjection.o ) [122 of 136] Compiling Documentation.SBV.Examples.Transformers.SymbolicEval ( Documentation/SBV/Examples/Transformers/SymbolicEval.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Transformers/SymbolicEval.o ) [123 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.AUF ( Documentation/SBV/Examples/Uninterpreted/AUF.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/AUF.o ) [124 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.Deduce ( Documentation/SBV/Examples/Uninterpreted/Deduce.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/Deduce.o ) [125 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.Function ( Documentation/SBV/Examples/Uninterpreted/Function.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/Function.o ) [126 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.Multiply ( Documentation/SBV/Examples/Uninterpreted/Multiply.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/Multiply.o ) [127 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.Shannon ( Documentation/SBV/Examples/Uninterpreted/Shannon.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/Shannon.o ) [128 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.Sort ( Documentation/SBV/Examples/Uninterpreted/Sort.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/Sort.o ) [129 of 136] Compiling Documentation.SBV.Examples.Uninterpreted.UISortAllSat ( Documentation/SBV/Examples/Uninterpreted/UISortAllSat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/Uninterpreted/UISortAllSat.o ) [130 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.Append ( Documentation/SBV/Examples/WeakestPreconditions/Append.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/Append.o ) [131 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.Fib ( Documentation/SBV/Examples/WeakestPreconditions/Fib.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/Fib.o ) [132 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.GCD ( Documentation/SBV/Examples/WeakestPreconditions/GCD.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/GCD.o ) [133 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntDiv ( Documentation/SBV/Examples/WeakestPreconditions/IntDiv.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/IntDiv.o ) [134 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.IntSqrt ( Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/IntSqrt.o ) [135 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.Length ( Documentation/SBV/Examples/WeakestPreconditions/Length.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/Length.o ) [136 of 136] Compiling Documentation.SBV.Examples.WeakestPreconditions.Sum ( Documentation/SBV/Examples/WeakestPreconditions/Sum.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/sbv-8.6/build/Documentation/SBV/Examples/WeakestPreconditions/Sum.o ) Configuring library for cryptol-2.8.0.. Preprocessing library for cryptol-2.8.0.. Building library for cryptol-2.8.0.. [ 1 of 90] Compiling Cryptol.Eval.Arch ( src/Cryptol/Eval/Arch.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval/Arch.o ) [ 2 of 90] Compiling Cryptol.ModuleSystem.Fingerprint ( src/Cryptol/ModuleSystem/Fingerprint.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Fingerprint.o ) src/Cryptol/ModuleSystem/Fingerprint.hs:18:1: warning: [-Wunused-imports] The import of `System.IO.Error' is redundant except perhaps to import instances from `System.IO.Error' To import instances alone, use: import System.IO.Error() | 18 | import System.IO.Error (IOError) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [ 3 of 90] Compiling Cryptol.Prelude ( src/Cryptol/Prelude.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Prelude.o ) [ 4 of 90] Compiling Cryptol.Utils.Ident ( src/Cryptol/Utils/Ident.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/Ident.o ) [ 5 of 90] Compiling Cryptol.Utils.Logger ( src/Cryptol/Utils/Logger.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/Logger.o ) [ 6 of 90] Compiling Cryptol.Utils.Misc ( src/Cryptol/Utils/Misc.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/Misc.o ) [ 7 of 90] Compiling Cryptol.Utils.PP ( src/Cryptol/Utils/PP.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/PP.o ) [ 8 of 90] Compiling Cryptol.Utils.Debug ( src/Cryptol/Utils/Debug.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/Debug.o ) [ 9 of 90] Compiling Cryptol.TypeCheck.PP ( src/Cryptol/TypeCheck/PP.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/PP.o ) [10 of 90] Compiling Cryptol.Parser.Selector ( src/Cryptol/Parser/Selector.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Selector.o ) [11 of 90] Compiling Cryptol.Parser.Position ( src/Cryptol/Parser/Position.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Position.o ) [12 of 90] Compiling Cryptol.Parser.Fixity ( src/Cryptol/Parser/Fixity.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Fixity.o ) [13 of 90] Compiling Cryptol.Utils.Panic ( src/Cryptol/Utils/Panic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/Panic.o ) [14 of 90] Compiling Cryptol.TypeCheck.Solver.InfNat ( src/Cryptol/TypeCheck/Solver/InfNat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/InfNat.o ) [15 of 90] Compiling Cryptol.REPL.Trie ( src/Cryptol/REPL/Trie.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/REPL/Trie.o ) [16 of 90] Compiling Cryptol.Parser.Unlit ( src/Cryptol/Parser/Unlit.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Unlit.o ) [17 of 90] Compiling Cryptol.Parser.Name ( src/Cryptol/Parser/Name.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Name.o ) [18 of 90] Compiling Cryptol.Parser.AST ( src/Cryptol/Parser/AST.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/AST.o ) [19 of 90] Compiling Cryptol.Parser.Utils ( src/Cryptol/Parser/Utils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Utils.o ) [20 of 90] Compiling Cryptol.Parser.Names ( src/Cryptol/Parser/Names.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Names.o ) [21 of 90] Compiling Cryptol.Parser.NoPat ( src/Cryptol/Parser/NoPat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/NoPat.o ) [22 of 90] Compiling Cryptol.ModuleSystem.Exports ( src/Cryptol/ModuleSystem/Exports.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Exports.o ) src/Cryptol/ModuleSystem/Exports.hs:7:1: warning: [-Wunused-imports] The import of `Data.Semigroup' is redundant except perhaps to import instances from `Data.Semigroup' To import instances alone, use: import Data.Semigroup() | 7 | import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [23 of 90] Compiling Cryptol.Parser.LexerUtils ( src/Cryptol/Parser/LexerUtils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/LexerUtils.o ) [24 of 90] Compiling Cryptol.Parser.Lexer ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Lexer.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/Lexer.o ) [25 of 90] Compiling Cryptol.Parser.ParserUtils ( src/Cryptol/Parser/ParserUtils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/ParserUtils.o ) [26 of 90] Compiling Cryptol.ModuleSystem.Name ( src/Cryptol/ModuleSystem/Name.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Name.o ) [27 of 90] Compiling Cryptol.TypeCheck.TCon ( src/Cryptol/TypeCheck/TCon.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/TCon.o ) [28 of 90] Compiling Cryptol.TypeCheck.Type ( src/Cryptol/TypeCheck/Type.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Type.o ) [29 of 90] Compiling Cryptol.TypeCheck.AST ( src/Cryptol/TypeCheck/AST.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/AST.o ) [30 of 90] Compiling Cryptol.TypeCheck.TypeMap ( src/Cryptol/TypeCheck/TypeMap.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/TypeMap.o ) [31 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Interval ( src/Cryptol/TypeCheck/Solver/Numeric/Interval.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Numeric/Interval.o ) [32 of 90] Compiling Cryptol.TypeCheck.Solver.Types ( src/Cryptol/TypeCheck/Solver/Types.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Types.o ) [33 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric.Fin ( src/Cryptol/TypeCheck/Solver/Numeric/Fin.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Numeric/Fin.o ) [34 of 90] Compiling Cryptol.TypeCheck.Parseable ( src/Cryptol/TypeCheck/Parseable.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Parseable.o ) [35 of 90] Compiling Cryptol.IR.FreeVars ( src/Cryptol/IR/FreeVars.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/IR/FreeVars.o ) src/Cryptol/IR/FreeVars.hs:12:1: warning: [-Wunused-imports] The import of `Data.Semigroup' is redundant except perhaps to import instances from `Data.Semigroup' To import instances alone, use: import Data.Semigroup() | 12 | import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [36 of 90] Compiling Cryptol.Transform.MonoValues ( src/Cryptol/Transform/MonoValues.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Transform/MonoValues.o ) [37 of 90] Compiling Cryptol.Transform.AddModParams ( src/Cryptol/Transform/AddModParams.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Transform/AddModParams.o ) [38 of 90] Compiling Cryptol.ModuleSystem.Interface ( src/Cryptol/ModuleSystem/Interface.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Interface.o ) [39 of 90] Compiling Cryptol.ModuleSystem.NamingEnv ( src/Cryptol/ModuleSystem/NamingEnv.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/NamingEnv.o ) [40 of 90] Compiling Cryptol.ModuleSystem.Renamer ( src/Cryptol/ModuleSystem/Renamer.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Renamer.o ) [41 of 90] Compiling Cryptol.Eval.Monad ( src/Cryptol/Eval/Monad.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval/Monad.o ) [42 of 90] Compiling Cryptol.Eval.Type ( src/Cryptol/Eval/Type.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval/Type.o ) [43 of 90] Compiling Cryptol.Eval.Value ( src/Cryptol/Eval/Value.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval/Value.o ) [44 of 90] Compiling Cryptol.Testing.Concrete ( src/Cryptol/Testing/Concrete.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Testing/Concrete.o ) [45 of 90] Compiling Cryptol.Symbolic.Value ( src/Cryptol/Symbolic/Value.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Symbolic/Value.o ) [46 of 90] Compiling Cryptol.Eval.Env ( src/Cryptol/Eval/Env.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval/Env.o ) [47 of 90] Compiling Cryptol.Eval ( src/Cryptol/Eval.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval.o ) [48 of 90] Compiling Cryptol.Utils.Patterns ( src/Cryptol/Utils/Patterns.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Utils/Patterns.o ) [49 of 90] Compiling Cryptol.TypeCheck.TypePat ( src/Cryptol/TypeCheck/TypePat.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/TypePat.o ) [50 of 90] Compiling Cryptol.TypeCheck.SimpType ( src/Cryptol/TypeCheck/SimpType.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/SimpType.o ) [51 of 90] Compiling Cryptol.TypeCheck.Solver.Utils ( src/Cryptol/TypeCheck/Solver/Utils.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Utils.o ) [52 of 90] Compiling Cryptol.TypeCheck.Solver.Class ( src/Cryptol/TypeCheck/Solver/Class.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Class.o ) [53 of 90] Compiling Cryptol.Testing.Random ( src/Cryptol/Testing/Random.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Testing/Random.o ) [54 of 90] Compiling Cryptol.Prims.Eval ( src/Cryptol/Prims/Eval.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Prims/Eval.o ) [55 of 90] Compiling Cryptol.Symbolic.Prims ( src/Cryptol/Symbolic/Prims.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Symbolic/Prims.o ) [56 of 90] Compiling Cryptol.TypeCheck.Solver.Numeric ( src/Cryptol/TypeCheck/Solver/Numeric.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Numeric.o ) [57 of 90] Compiling Cryptol.TypeCheck.SimpleSolver ( src/Cryptol/TypeCheck/SimpleSolver.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/SimpleSolver.o ) [58 of 90] Compiling Cryptol.TypeCheck.Subst ( src/Cryptol/TypeCheck/Subst.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Subst.o ) [59 of 90] Compiling Cryptol.TypeCheck.Unify ( src/Cryptol/TypeCheck/Unify.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Unify.o ) [60 of 90] Compiling Cryptol.TypeCheck.TypeOf ( src/Cryptol/TypeCheck/TypeOf.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/TypeOf.o ) [61 of 90] Compiling Cryptol.ModuleSystem.InstantiateModule ( src/Cryptol/ModuleSystem/InstantiateModule.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/InstantiateModule.o ) src/Cryptol/ModuleSystem/InstantiateModule.hs:15:1: warning: [-Wunused-imports] The import of `Cryptol.ModuleSystem.Exports' is redundant except perhaps to import instances from `Cryptol.ModuleSystem.Exports' To import instances alone, use: import Cryptol.ModuleSystem.Exports() | 15 | import Cryptol.ModuleSystem.Exports(ExportSpec(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [62 of 90] Compiling Cryptol.TypeCheck.Solver.Improve ( src/Cryptol/TypeCheck/Solver/Improve.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Improve.o ) [63 of 90] Compiling Cryptol.TypeCheck.InferTypes ( src/Cryptol/TypeCheck/InferTypes.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/InferTypes.o ) src/Cryptol/TypeCheck/InferTypes.hs:31:1: warning: [-Wunused-imports] The import of `Cryptol.Utils.Patterns' is redundant except perhaps to import instances from `Cryptol.Utils.Patterns' To import instances alone, use: import Cryptol.Utils.Patterns() | 31 | import Cryptol.Utils.Patterns(matchMaybe) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [64 of 90] Compiling Cryptol.TypeCheck.Solver.SMT ( src/Cryptol/TypeCheck/Solver/SMT.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/SMT.o ) [65 of 90] Compiling Cryptol.TypeCheck.Error ( src/Cryptol/TypeCheck/Error.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Error.o ) [66 of 90] Compiling Cryptol.TypeCheck.Monad ( src/Cryptol/TypeCheck/Monad.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Monad.o ) [67 of 90] Compiling Cryptol.TypeCheck.Solver.Selector ( src/Cryptol/TypeCheck/Solver/Selector.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solver/Selector.o ) [68 of 90] Compiling Cryptol.TypeCheck.Sanity ( src/Cryptol/TypeCheck/Sanity.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Sanity.o ) [69 of 90] Compiling Cryptol.TypeCheck.Depends ( src/Cryptol/TypeCheck/Depends.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Depends.o ) [70 of 90] Compiling Cryptol.TypeCheck.Default ( src/Cryptol/TypeCheck/Default.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Default.o ) [71 of 90] Compiling Cryptol.TypeCheck.Solve ( src/Cryptol/TypeCheck/Solve.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Solve.o ) src/Cryptol/TypeCheck/Solve.hs:37:1: warning: [-Wunused-imports] The import of `Cryptol.Utils.PP' is redundant except perhaps to import instances from `Cryptol.Utils.PP' To import instances alone, use: import Cryptol.Utils.PP() | 37 | import Cryptol.Utils.PP (text,vcat,(<+>)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [72 of 90] Compiling Cryptol.TypeCheck.Kind ( src/Cryptol/TypeCheck/Kind.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Kind.o ) [73 of 90] Compiling Cryptol.TypeCheck.Instantiate ( src/Cryptol/TypeCheck/Instantiate.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Instantiate.o ) [74 of 90] Compiling Cryptol.TypeCheck.Infer ( src/Cryptol/TypeCheck/Infer.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/Infer.o ) [75 of 90] Compiling Cryptol.TypeCheck.CheckModuleInstance ( src/Cryptol/TypeCheck/CheckModuleInstance.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck/CheckModuleInstance.o ) src/Cryptol/TypeCheck/CheckModuleInstance.hs:9:1: warning: [-Wunused-imports] The import of `Name' from module `Cryptol.ModuleSystem.Name' is redundant | 9 | import Cryptol.ModuleSystem.Name(Name,nameIdent,nameLoc) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [76 of 90] Compiling Cryptol.TypeCheck ( src/Cryptol/TypeCheck.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/TypeCheck.o ) [77 of 90] Compiling Cryptol.ModuleSystem.Env ( src/Cryptol/ModuleSystem/Env.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Env.o ) [78 of 90] Compiling GitRev ( src/GitRev.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/GitRev.o ) [79 of 90] Compiling Paths_cryptol ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/autogen/Paths_cryptol.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Paths_cryptol.o ) [80 of 90] Compiling Cryptol.Version ( src/Cryptol/Version.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Version.o ) [81 of 90] Compiling Cryptol.Parser ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser.o ) [82 of 90] Compiling Cryptol.Parser.NoInclude ( src/Cryptol/Parser/NoInclude.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Parser/NoInclude.o ) [83 of 90] Compiling Cryptol.ModuleSystem.Monad ( src/Cryptol/ModuleSystem/Monad.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Monad.o ) [84 of 90] Compiling Cryptol.ModuleSystem.Base ( src/Cryptol/ModuleSystem/Base.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem/Base.o ) [85 of 90] Compiling Cryptol.ModuleSystem ( src/Cryptol/ModuleSystem.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/ModuleSystem.o ) [86 of 90] Compiling Cryptol.Transform.Specialize ( src/Cryptol/Transform/Specialize.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Transform/Specialize.o ) [87 of 90] Compiling Cryptol.Symbolic ( src/Cryptol/Symbolic.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Symbolic.o ) [88 of 90] Compiling Cryptol.REPL.Monad ( src/Cryptol/REPL/Monad.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/REPL/Monad.o ) [89 of 90] Compiling Cryptol.Eval.Reference ( src/Cryptol/Eval/Reference.lhs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/Eval/Reference.o ) src/Cryptol/Eval/Reference.lhs:26:3: warning: [-Wunused-imports] The import of `Data.Semigroup' is redundant except perhaps to import instances from `Data.Semigroup' To import instances alone, use: import Data.Semigroup() | 26 | > import Data.Semigroup (Semigroup(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [90 of 90] Compiling Cryptol.REPL.Command ( src/Cryptol/REPL/Command.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/build/Cryptol/REPL/Command.o ) src/Cryptol/REPL/Command.hs:75:1: warning: [-Wunused-imports] The import of `backticks' from module `Cryptol.TypeCheck.PP' is redundant | 75 | import Cryptol.TypeCheck.PP (dump,ppWithNames,emptyNameMap,backticks) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Configuring executable 'cryptol' for cryptol-2.8.0.. Preprocessing executable 'cryptol' for cryptol-2.8.0.. Building executable 'cryptol' for cryptol-2.8.0.. [1 of 5] Compiling OptParser ( cryptol/OptParser.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/cryptol-tmp/OptParser.o ) cryptol/OptParser.hs:12:1: warning: [-Wunused-imports] The import of `Data.Monoid' is redundant except perhaps to import instances from `Data.Monoid' To import instances alone, use: import Data.Monoid() | 12 | import Data.Monoid (Endo(..)) | ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ [2 of 5] Compiling Paths_cryptol ( /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/autogen/Paths_cryptol.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/cryptol-tmp/Paths_cryptol.o ) [3 of 5] Compiling REPL.Haskeline ( cryptol/REPL/Haskeline.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/cryptol-tmp/REPL/Haskeline.o ) [4 of 5] Compiling REPL.Logo ( cryptol/REPL/Logo.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/cryptol-tmp/REPL/Logo.o ) [5 of 5] Compiling Main ( cryptol/Main.hs, /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/cryptol-tmp/Main.o ) Linking /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle/build/x86_64-dragonfly/ghc-8.8.3/cryptol-2.8.0/x/cryptol/build/cryptol/cryptol ... SUCCEEDED 00:13:56 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for hs-cryptol-2.8.0_1 ===> Generating temporary packing list /bin/mkdir -p /construction/security/hs-cryptol/stage/usr/local/libexec/cabal install -s -m 555 $(find /construction/security/hs-cryptol/cryptol-2.8.0/dist-newstyle -name cryptol -type f -perm +111) /construction/security/hs-cryptol/stage/usr/local/libexec/cabal/cryptol echo '#!/bin/sh' > /construction/security/hs-cryptol/stage/usr/local/bin/cryptol echo '' >> /construction/security/hs-cryptol/stage/usr/local/bin/cryptol echo 'export cryptol_datadir=/usr/local/share/cryptol' >> /construction/security/hs-cryptol/stage/usr/local/bin/cryptol echo '' >> /construction/security/hs-cryptol/stage/usr/local/bin/cryptol echo '/usr/local/libexec/cabal/cryptol "$@"' >> /construction/security/hs-cryptol/stage/usr/local/bin/cryptol /bin/chmod +x /construction/security/hs-cryptol/stage/usr/local/bin/cryptol echo 'bin/cryptol' >> /construction/security/hs-cryptol/.PLIST.mktmp echo 'libexec/cabal/cryptol' >> /construction/security/hs-cryptol/.PLIST.mktmp ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Error: /usr/local/libexec/cabal/cryptol is linked to /usr/local/lib/libtinfow.so.6 from devel/ncurses but it is not declared as a dependency Warning: you need USES+=ncurses Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for hs-cryptol-2.8.0_1 file sizes/checksums [2]: 0% file sizes/checksums [2]: 100% packing files [2]: 0% packing files [2]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:15 TOTAL TIME 00:14:42