DC-Build-Header: agda 2.4.0.2-2 / 2014-09-04 16:31:40 +0000 DC-Task: source:agda version:2.4.0.2-2 architecture:any chroot:unstable esttime:1128 logfile:/tmp/agda_2.4.0.2-2_unstable_clang.log modes:binary-only:parallel:clang DC-Sbuild-call: su user -c 'sbuild -n --apt-update -d unstable -v --chroot-setup-commands=/tmp/switch-to-clang --append-to-version "clang1" --maintainer "Lucas Nussbaum " --uploader "Lucas Nussbaum " agda_2.4.0.2-2' sbuild (Debian sbuild) 0.63.2 (18 Aug 2012) on ip-172-31-6-121.us-west-2.compute.internal ╔══════════════════════════════════════════════════════════════════════════════╗ ║ agda 2.4.0.2-2clang1 (amd64) 04 Sep 2014 16:31 ║ ╚══════════════════════════════════════════════════════════════════════════════╝ Package: agda Version: 2.4.0.2-2clang1 Source Version: 2.4.0.2-2 Distribution: unstable Machine Architecture: amd64 Host Architecture: amd64 Build Architecture: amd64 I: NOTICE: Log filtering will replace 'build/agda-ZXI1Tm/agda-2.4.0.2' with '«PKGBUILDDIR»' I: NOTICE: Log filtering will replace 'build/agda-ZXI1Tm' with '«BUILDDIR»' I: NOTICE: Log filtering will replace 'var/lib/schroot/mount/unstable-amd64-sbuild-b74543cb-d664-49a1-956b-5124af6895c2' with '«CHROOT»' ┌──────────────────────────────────────────────────────────────────────────────┐ │ Update chroot │ └──────────────────────────────────────────────────────────────────────────────┘ Get:1 http://localhost:9999 unstable InRelease [233 kB] Get:2 http://localhost:9999 unstable/main Sources/DiffIndex [7876 B] Get:3 http://localhost:9999 unstable/main amd64 Packages/DiffIndex [7876 B] Get:4 http://localhost:9999 unstable/main Translation-en/DiffIndex [7876 B] Get:5 http://localhost:9999 unstable/main 2014-09-03-1436.55.pdiff [24.7 kB] Get:6 http://localhost:9999 unstable/main 2014-09-03-2030.01.pdiff [10.5 kB] Get:7 http://localhost:9999 unstable/main 2014-09-04-0229.22.pdiff [7545 B] Get:8 http://localhost:9999 unstable/main 2014-09-04-0831.05.pdiff [14.0 kB] Get:9 http://localhost:9999 unstable/main amd64 2014-09-03-1436.55.pdiff [26.7 kB] Get:10 http://localhost:9999 unstable/main 2014-09-04-0831.05.pdiff [14.0 kB] Get:11 http://localhost:9999 unstable/main amd64 2014-09-03-2030.01.pdiff [12.4 kB] Get:12 http://localhost:9999 unstable/main amd64 2014-09-04-0229.22.pdiff [5892 B] Get:13 http://localhost:9999 unstable/main amd64 2014-09-04-0831.05.pdiff [18.1 kB] Get:14 http://localhost:9999 unstable/main 2014-09-03-1436.55.pdiff [3960 B] Get:15 http://localhost:9999 unstable/main 2014-09-03-2030.01.pdiff [1010 B] Get:16 http://localhost:9999 unstable/main 2014-09-04-0229.22.pdiff [648 B] Get:17 http://localhost:9999 unstable/main 2014-09-04-0831.05.pdiff [61 B] Get:18 http://localhost:9999 unstable/main amd64 2014-09-04-0831.05.pdiff [18.1 kB] Get:19 http://localhost:9999 unstable/main 2014-09-04-0831.05.pdiff [61 B] Fetched 382 kB in 5s (70.3 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: binutils 1 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 3310 kB of archives. After this operation, 50.2 kB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main binutils amd64 2.24.51.20140903-1 [3310 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 3310 kB in 0s (29.5 MB/s) (Reading database ... 15135 files and directories currently installed.) Preparing to unpack .../binutils_2.24.51.20140903-1_amd64.deb ... Unpacking binutils (2.24.51.20140903-1) over (2.24.51.20140818-1) ... Setting up binutils (2.24.51.20140903-1) ... Processing triggers for libc-bin (2.19-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Fetch source files │ └──────────────────────────────────────────────────────────────────────────────┘ Check APT ───────── Checking available source versions... Download source files with APT ────────────────────────────── Reading package lists... Building dependency tree... Reading state information... NOTICE: 'agda' packaging is maintained in the 'Git' version control system at: git://git.debian.org/git/pkg-haskell/agda.git Need to get 922 kB of source archives. Get:1 http://localhost:9999/debian/ unstable/main agda 2.4.0.2-2 (dsc) [3938 B] Get:2 http://localhost:9999/debian/ unstable/main agda 2.4.0.2-2 (tar) [910 kB] Get:3 http://localhost:9999/debian/ unstable/main agda 2.4.0.2-2 (diff) [7344 B] Fetched 922 kB in 1s (528 kB/s) Download complete and in download only mode Check arch ────────── ┌──────────────────────────────────────────────────────────────────────────────┐ │ Chroot Setup Commands │ └──────────────────────────────────────────────────────────────────────────────┘ /tmp/switch-to-clang ──────────────────── + echo 'Entering customization script...' Entering customization script... + CLANG_VERSION=3.5 + echo 'Install of clang-3.5' Install of clang-3.5 + apt-get update Hit http://localhost:9999 unstable InRelease Get:1 http://localhost:9999 unstable/main Sources/DiffIndex [7876 B] Get:2 http://localhost:9999 unstable/main amd64 Packages/DiffIndex [7876 B] Get:3 http://localhost:9999 unstable/main Translation-en/DiffIndex [7876 B] Fetched 23.6 kB in 2s (11.6 kB/s) Reading package lists... + apt-get install --yes --no-install-recommends --force-yes clang-3.5 Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: libbsd0 libclang-common-3.5-dev libclang1-3.5 libedit2 libffi6 libllvm3.5 libobjc-4.9-dev libobjc4 Suggested packages: gnustep gnustep-devel clang-3.5-doc Recommended packages: llvm-3.5-dev python The following NEW packages will be installed: clang-3.5 libbsd0 libclang-common-3.5-dev libclang1-3.5 libedit2 libffi6 libllvm3.5 libobjc-4.9-dev libobjc4 0 upgraded, 9 newly installed, 0 to remove and 0 not upgraded. Need to get 33.3 MB of archives. After this operation, 132 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libbsd0 amd64 0.7.0-2 [67.9 kB] Get:2 http://localhost:9999/debian/ unstable/main libedit2 amd64 3.1-20140620-2 [85.1 kB] Get:3 http://localhost:9999/debian/ unstable/main libffi6 amd64 3.1-2 [19.8 kB] Get:4 http://localhost:9999/debian/ unstable/main libllvm3.5 amd64 1:3.5-1 [7609 kB] Get:5 http://localhost:9999/debian/ unstable/main libobjc4 amd64 4.9.1-12 [112 kB] Get:6 http://localhost:9999/debian/ unstable/main libobjc-4.9-dev amd64 4.9.1-12 [372 kB] Get:7 http://localhost:9999/debian/ unstable/main libclang1-3.5 amd64 1:3.5-1 [3628 kB] Get:8 http://localhost:9999/debian/ unstable/main libclang-common-3.5-dev amd64 1:3.5-1 [677 kB] Get:9 http://localhost:9999/debian/ unstable/main clang-3.5 amd64 1:3.5-1 [20.7 MB] debconf: delaying package configuration, since apt-utils is not installed Fetched 33.3 MB in 1s (32.9 MB/s) Selecting previously unselected package libbsd0:amd64. (Reading database ... 15135 files and directories currently installed.) Preparing to unpack .../libbsd0_0.7.0-2_amd64.deb ... Unpacking libbsd0:amd64 (0.7.0-2) ... Selecting previously unselected package libedit2:amd64. Preparing to unpack .../libedit2_3.1-20140620-2_amd64.deb ... Unpacking libedit2:amd64 (3.1-20140620-2) ... Selecting previously unselected package libffi6:amd64. Preparing to unpack .../libffi6_3.1-2_amd64.deb ... Unpacking libffi6:amd64 (3.1-2) ... Selecting previously unselected package libllvm3.5:amd64. Preparing to unpack .../libllvm3.5_1%3a3.5-1_amd64.deb ... Unpacking libllvm3.5:amd64 (1:3.5-1) ... Selecting previously unselected package libobjc4:amd64. Preparing to unpack .../libobjc4_4.9.1-12_amd64.deb ... Unpacking libobjc4:amd64 (4.9.1-12) ... Selecting previously unselected package libobjc-4.9-dev:amd64. Preparing to unpack .../libobjc-4.9-dev_4.9.1-12_amd64.deb ... Unpacking libobjc-4.9-dev:amd64 (4.9.1-12) ... Selecting previously unselected package libclang1-3.5:amd64. Preparing to unpack .../libclang1-3.5_1%3a3.5-1_amd64.deb ... Unpacking libclang1-3.5:amd64 (1:3.5-1) ... Selecting previously unselected package libclang-common-3.5-dev. Preparing to unpack .../libclang-common-3.5-dev_1%3a3.5-1_amd64.deb ... Unpacking libclang-common-3.5-dev (1:3.5-1) ... Selecting previously unselected package clang-3.5. Preparing to unpack .../clang-3.5_1%3a3.5-1_amd64.deb ... Unpacking clang-3.5 (1:3.5-1) ... Setting up libbsd0:amd64 (0.7.0-2) ... Setting up libedit2:amd64 (3.1-20140620-2) ... Setting up libffi6:amd64 (3.1-2) ... Setting up libllvm3.5:amd64 (1:3.5-1) ... Setting up libobjc4:amd64 (4.9.1-12) ... Setting up libobjc-4.9-dev:amd64 (4.9.1-12) ... Setting up libclang1-3.5:amd64 (1:3.5-1) ... Setting up libclang-common-3.5-dev (1:3.5-1) ... Setting up clang-3.5 (1:3.5-1) ... Processing triggers for libc-bin (2.19-10) ... + echo 'Replace gcc, g++ & cpp by clang' Replace gcc, g++ & cpp by clang + VERSIONS='4.6 4.7 4.8 4.9' + cd /usr/bin + for VERSION in '$VERSIONS' + rm -f g++-4.6 gcc-4.6 cpp-4.6 gcc + ln -s clang++-3.5 g++-4.6 + ln -s clang-3.5 gcc-4.6 + ln -s clang-3.5 cpp-4.6 + ln -s clang-3.5 gcc + echo 'gcc-4.6 hold' + dpkg --set-selections + echo 'g++-4.6 hold' + dpkg --set-selections + for VERSION in '$VERSIONS' + rm -f g++-4.7 gcc-4.7 cpp-4.7 gcc + ln -s clang++-3.5 g++-4.7 + ln -s clang-3.5 gcc-4.7 + ln -s clang-3.5 cpp-4.7 + ln -s clang-3.5 gcc + echo 'gcc-4.7 hold' + dpkg --set-selections + echo 'g++-4.7 hold' + dpkg --set-selections + for VERSION in '$VERSIONS' + rm -f g++-4.8 gcc-4.8 cpp-4.8 gcc + ln -s clang++-3.5 g++-4.8 + ln -s clang-3.5 gcc-4.8 + ln -s clang-3.5 cpp-4.8 + ln -s clang-3.5 gcc + echo 'gcc-4.8 hold' + dpkg --set-selections dpkg: warning: package not in database at line 1: gcc-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method + echo 'g++-4.8 hold' + dpkg --set-selections dpkg: warning: package not in database at line 1: g++-4.8 dpkg: warning: found unknown packages; this might mean the available database is outdated, and needs to be updated through a frontend method + for VERSION in '$VERSIONS' + rm -f g++-4.9 gcc-4.9 cpp-4.9 gcc + ln -s clang++-3.5 g++-4.9 + ln -s clang-3.5 gcc-4.9 + ln -s clang-3.5 cpp-4.9 + ln -s clang-3.5 gcc + echo 'gcc-4.9 hold' + dpkg --set-selections + echo 'g++-4.9 hold' + dpkg --set-selections + cd - /«BUILDDIR» + echo 'Check if gcc, g++ & cpp are actually clang' Check if gcc, g++ & cpp are actually clang + gcc --version + grep clang + cpp --version + grep clang + g++ --version + grep clang I: Finished running '/tmp/switch-to-clang'. Finished processing commands. ──────────────────────────────────────────────────────────────────────────────── Merged Build-Depends: build-essential, fakeroot Filtered Build-Depends: build-essential, fakeroot dpkg-deb: building package `sbuild-build-depends-core-dummy' in `/«BUILDDIR»/resolver-q0H391/apt_archive/sbuild-build-depends-core-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install core build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following NEW packages will be installed: sbuild-build-depends-core-dummy debconf: delaying package configuration, since apt-utils is not installed 0 upgraded, 1 newly installed, 0 to remove and 0 not upgraded. Need to get 0 B/816 B of archives. After this operation, 0 B of additional disk space will be used. Selecting previously unselected package sbuild-build-depends-core-dummy. (Reading database ... 15338 files and directories currently installed.) Preparing to unpack .../sbuild-build-depends-core-dummy.deb ... Unpacking sbuild-build-depends-core-dummy (0.invalid.0) ... Setting up sbuild-build-depends-core-dummy (0.invalid.0) ... Merged Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, init, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit-utils, tar, util-linux, libc6-dev | libc-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-binary-dev (>= 0.6), libghc-binary-dev (<< 0.8), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-equivalence-dev (>= 0.2.4), libghc-equivalence-dev (<< 0.3), libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.2), libghc-haskeline-dev (>= 0.7), libghc-haskeline-dev (<< 0.8), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.2), libghc-parallel-dev (<< 3.3), libghc-transformers-dev (>= 0.3), libghc-transformers-dev (<< 0.4), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.15), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.2), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev Filtered Build-Depends: base-files, base-passwd, bash, bsdutils, coreutils, dash, debianutils, diffutils, dpkg, e2fsprogs, findutils, grep, gzip, hostname, init, libc-bin, login, mount, ncurses-base, ncurses-bin, perl-base, sed, sysvinit-utils, tar, util-linux, libc6-dev, gcc (>= 4:4.9.1), g++ (>= 4:4.9.1), make, dpkg-dev (>= 1.17.11), debhelper (>= 9), haskell-devscripts (>= 0.8.15~), cdbs (>> 0.4.58), ghc (>= 7.6), ghc-ghci, libghc-binary-dev (>= 0.6), libghc-binary-dev (<< 0.8), libghc-boxes-dev (>= 0.1.3), libghc-boxes-dev (<< 0.2), libghc-data-hash-dev (>= 0.2.0.0), libghc-data-hash-dev (<< 0.3.0.0), libghc-equivalence-dev (>= 0.2.4), libghc-equivalence-dev (<< 0.3), libghc-geniplate-dev (>= 0.6.0.3), libghc-geniplate-dev (<< 0.7), libghc-hashable-dev (>= 1.2.1.0), libghc-hashable-dev (<< 1.3), libghc-hashtables-dev (>= 1.0), libghc-hashtables-dev (<< 1.2), libghc-haskeline-dev (>= 0.7), libghc-haskeline-dev (<< 0.8), libghc-mtl-dev (>= 2.1.1), libghc-mtl-dev (<< 2.2), libghc-parallel-dev (<< 3.3), libghc-transformers-dev (>= 0.3), libghc-transformers-dev (<< 0.4), libghc-unordered-containers-dev (>= 0.2), libghc-unordered-containers-dev (<< 0.3), libghc-xhtml-dev (>= 3000.2), libghc-xhtml-dev (<< 3000.3), libghc-zlib-dev (>= 0.4.0.1), libghc-zlib-dev (<< 0.6), libghc-strict-dev (>= 0.3.2), libghc-strict-dev (<< 0.4), libghc-src-exts-dev (>= 1.9.6), libghc-src-exts-dev (<< 1.15), libghc-stmonadtrans-dev (>= 0.3.2), libghc-stmonadtrans-dev (<< 0.4), libghc-text-dev (>= 0.11), libghc-text-dev (<< 1.2), libghc-quickcheck2-dev (>= 2.7.5), libghc-quickcheck2-dev (<< 2.8), happy (>= 1.19.3), happy (<< 2), alex (>= 3.1.0), alex (<< 3.2), libncurses5-dev dpkg-deb: building package `sbuild-build-depends-agda-dummy' in `/«BUILDDIR»/resolver-QCumZz/apt_archive/sbuild-build-depends-agda-dummy.deb'. OK Reading package lists... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Install agda build dependencies (apt-based resolver) │ └──────────────────────────────────────────────────────────────────────────────┘ Installing build dependencies Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: alex bsdmainutils cdbs dctrl-tools debhelper dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base happy haskell-devscripts hscolour html-xml-utils intltool-debian libasprintf0c2 libbsd-dev libcroco3 libcurl3-gnutls libffi-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgnutls-deb0-28 libgnutls26 libgssapi-krb5-2 libhogweed2 libidn11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 libmagic1 libncurses5-dev libnettle4 libp11-kit0 libpipeline1 librtmp1 libsasl2-2 libsasl2-modules-db libssh2-1 libtasn1-6 libtinfo-dev libunistring0 libxml2 man-db po-debconf zlib1g-dev Suggested packages: wamerican wordlist whois vacation devscripts debtags dh-make gettext-doc ghc-prof ghc-doc haskell-doc llvm groff info-browser libghc-binary-doc libghc-binary-prof libghc-boxes-doc libghc-boxes-prof libghc-cpphs-doc libghc-cpphs-prof libghc-data-hash-doc libghc-data-hash-prof libghc-equivalence-doc libghc-equivalence-prof libghc-geniplate-doc libghc-geniplate-prof libghc-hashable-doc libghc-hashable-prof libghc-hashtables-doc libghc-hashtables-prof libghc-haskeline-doc libghc-haskeline-prof libghc-mtl-doc libghc-mtl-prof libghc-parallel-doc libghc-parallel-prof libghc-polyparse-doc libghc-polyparse-prof libghc-primitive-doc libghc-primitive-prof libghc-quickcheck2-doc libghc-quickcheck2-prof libghc-random-doc libghc-random-prof libghc-split-doc libghc-split-prof libghc-src-exts-doc libghc-src-exts-prof libghc-stmonadtrans-doc libghc-stmonadtrans-prof libghc-strict-doc libghc-strict-prof libghc-terminfo-doc libghc-terminfo-prof libghc-text-doc libghc-text-prof libghc-tf-random-doc libghc-tf-random-prof libghc-transformers-doc libghc-transformers-prof libghc-unordered-containers-doc libghc-unordered-containers-prof libghc-vector-doc libghc-vector-prof libghc-xhtml-doc libghc-xhtml-prof libghc-zlib-doc libghc-zlib-prof libgmp10-doc libmpfr-dev gnutls-bin krb5-doc krb5-user ncurses-doc less www-browser libmail-box-perl Recommended packages: autotools-dev curl wget lynx-cur autopoint libasprintf-dev libgettextpo-dev ca-certificates libglib2.0-data shared-mime-info krb5-locales libsasl2-modules xml-core libmail-sendmail-perl The following NEW packages will be installed: alex bsdmainutils cdbs dctrl-tools debhelper dh-buildinfo file gettext gettext-base ghc ghc-haddock groff-base happy haskell-devscripts hscolour html-xml-utils intltool-debian libasprintf0c2 libbsd-dev libcroco3 libcurl3-gnutls libffi-dev libghc-binary-dev libghc-boxes-dev libghc-cpphs-dev libghc-data-hash-dev libghc-equivalence-dev libghc-geniplate-dev libghc-hashable-dev libghc-hashtables-dev libghc-haskeline-dev libghc-mtl-dev libghc-parallel-dev libghc-polyparse-dev libghc-primitive-dev libghc-quickcheck2-dev libghc-random-dev libghc-split-dev libghc-src-exts-dev libghc-stmonadtrans-dev libghc-strict-dev libghc-terminfo-dev libghc-text-dev libghc-tf-random-dev libghc-transformers-dev libghc-unordered-containers-dev libghc-vector-dev libghc-xhtml-dev libghc-zlib-dev libglib2.0-0 libgmp-dev libgnutls-deb0-28 libgnutls26 libgssapi-krb5-2 libhogweed2 libidn11 libk5crypto3 libkeyutils1 libkrb5-3 libkrb5support0 libldap-2.4-2 libmagic1 libncurses5-dev libnettle4 libp11-kit0 libpipeline1 librtmp1 libsasl2-2 libsasl2-modules-db libssh2-1 libtasn1-6 libtinfo-dev libunistring0 libxml2 man-db po-debconf sbuild-build-depends-agda-dummy zlib1g-dev 0 upgraded, 78 newly installed, 0 to remove and 0 not upgraded. Need to get 56.1 MB/56.1 MB of archives. After this operation, 480 MB of additional disk space will be used. Get:1 http://localhost:9999/debian/ unstable/main libpipeline1 amd64 1.3.0-1 [25.8 kB] Get:2 http://localhost:9999/debian/ unstable/main groff-base amd64 1.22.2-7 [1142 kB] Get:3 http://localhost:9999/debian/ unstable/main bsdmainutils amd64 9.0.5 [211 kB] Get:4 http://localhost:9999/debian/ unstable/main man-db amd64 2.6.7.1-1 [990 kB] Get:5 http://localhost:9999/debian/ unstable/main libasprintf0c2 amd64 0.19.2-2 [30.8 kB] Get:6 http://localhost:9999/debian/ unstable/main libnettle4 amd64 2.7.1-3 [175 kB] Get:7 http://localhost:9999/debian/ unstable/main libhogweed2 amd64 2.7.1-3 [125 kB] Get:8 http://localhost:9999/debian/ unstable/main libp11-kit0 amd64 0.20.3-2 [153 kB] Get:9 http://localhost:9999/debian/ unstable/main libtasn1-6 amd64 4.1-1 [48.2 kB] Get:10 http://localhost:9999/debian/ unstable/main libgnutls-deb0-28 amd64 3.3.7-2 [685 kB] Get:11 http://localhost:9999/debian/ unstable/main libgnutls26 amd64 2.12.23-17 [531 kB] Get:12 http://localhost:9999/debian/ unstable/main libkeyutils1 amd64 1.5.9-5 [11.7 kB] Get:13 http://localhost:9999/debian/ unstable/main libkrb5support0 amd64 1.12.1+dfsg-9 [57.8 kB] Get:14 http://localhost:9999/debian/ unstable/main libk5crypto3 amd64 1.12.1+dfsg-9 [113 kB] Get:15 http://localhost:9999/debian/ unstable/main libkrb5-3 amd64 1.12.1+dfsg-9 [302 kB] Get:16 http://localhost:9999/debian/ unstable/main libgssapi-krb5-2 amd64 1.12.1+dfsg-9 [150 kB] Get:17 http://localhost:9999/debian/ unstable/main libidn11 amd64 1.29-1 [135 kB] Get:18 http://localhost:9999/debian/ unstable/main libsasl2-modules-db amd64 2.1.26.dfsg1-11 [66.8 kB] Get:19 http://localhost:9999/debian/ unstable/main libsasl2-2 amd64 2.1.26.dfsg1-11 [104 kB] Get:20 http://localhost:9999/debian/ unstable/main libldap-2.4-2 amd64 2.4.39-1.1+b1 [214 kB] Get:21 http://localhost:9999/debian/ unstable/main libmagic1 amd64 1:5.19-1 [237 kB] Get:22 http://localhost:9999/debian/ unstable/main libxml2 amd64 2.9.1+dfsg1-4 [797 kB] Get:23 http://localhost:9999/debian/ unstable/main libglib2.0-0 amd64 2.40.0-5 [2421 kB] Get:24 http://localhost:9999/debian/ unstable/main libcroco3 amd64 0.6.8-3 [135 kB] Get:25 http://localhost:9999/debian/ unstable/main librtmp1 amd64 2.4+20131018.git79459a2-4 [59.4 kB] Get:26 http://localhost:9999/debian/ unstable/main libssh2-1 amd64 1.4.3-4 [125 kB] Get:27 http://localhost:9999/debian/ unstable/main libcurl3-gnutls amd64 7.37.1-1 [247 kB] Get:28 http://localhost:9999/debian/ unstable/main libunistring0 amd64 0.9.3-5.2 [283 kB] Get:29 http://localhost:9999/debian/ unstable/main file amd64 1:5.19-1 [58.0 kB] Get:30 http://localhost:9999/debian/ unstable/main gettext-base amd64 0.19.2-2 [120 kB] Get:31 http://localhost:9999/debian/ unstable/main cdbs all 0.4.126 [75.5 kB] Get:32 http://localhost:9999/debian/ unstable/main dctrl-tools amd64 2.23 [170 kB] Get:33 http://localhost:9999/debian/ unstable/main gettext amd64 0.19.2-2 [1237 kB] Get:34 http://localhost:9999/debian/ unstable/main intltool-debian all 0.35.0+20060710.1 [30.8 kB] Get:35 http://localhost:9999/debian/ unstable/main po-debconf all 1.0.16+nmu3 [220 kB] Get:36 http://localhost:9999/debian/ unstable/main debhelper all 9.20140817 [814 kB] Get:37 http://localhost:9999/debian/ unstable/main dh-buildinfo all 0.11 [18.3 kB] Get:38 http://localhost:9999/debian/ unstable/main libbsd-dev amd64 0.7.0-2 [160 kB] Get:39 http://localhost:9999/debian/ unstable/main libffi-dev amd64 3.1-2 [154 kB] Get:40 http://localhost:9999/debian/ unstable/main libgmp-dev amd64 2:6.0.0+dfsg-6 [621 kB] Get:41 http://localhost:9999/debian/ unstable/main ghc amd64 7.6.3-16 [25.4 MB] Get:42 http://localhost:9999/debian/ unstable/main libghc-text-dev amd64 0.11.3.1-1 [1626 kB] Get:43 http://localhost:9999/debian/ unstable/main libghc-polyparse-dev amd64 1.9-1 [373 kB] Get:44 http://localhost:9999/debian/ unstable/main libtinfo-dev amd64 5.9+20140712-2 [76.1 kB] Get:45 http://localhost:9999/debian/ unstable/main libncurses5-dev amd64 5.9+20140712-2 [174 kB] Get:46 http://localhost:9999/debian/ unstable/main zlib1g-dev amd64 1:1.2.8.dfsg-2 [205 kB] Get:47 http://localhost:9999/debian/ unstable/main alex amd64 3.1.3-1 [414 kB] Get:48 http://localhost:9999/debian/ unstable/main ghc-haddock amd64 7.6.3-16 [4263 kB] Get:49 http://localhost:9999/debian/ unstable/main happy amd64 1.19.4-1 [424 kB] Get:50 http://localhost:9999/debian/ unstable/main html-xml-utils amd64 6.7-1 [239 kB] Get:51 http://localhost:9999/debian/ unstable/main hscolour amd64 1.20.3-3 [262 kB] Get:52 http://localhost:9999/debian/ unstable/main haskell-devscripts all 0.8.21 [34.3 kB] Get:53 http://localhost:9999/debian/ unstable/main libghc-binary-dev amd64 0.7.2.1-1 [172 kB] Get:54 http://localhost:9999/debian/ unstable/main libghc-split-dev amd64 0.2.2-1 [54.6 kB] Get:55 http://localhost:9999/debian/ unstable/main libghc-boxes-dev amd64 0.1.3-1 [30.8 kB] Get:56 http://localhost:9999/debian/ unstable/main libghc-cpphs-dev amd64 1.18.5-1 [155 kB] Get:57 http://localhost:9999/debian/ unstable/main libghc-data-hash-dev amd64 0.2.0.0-1 [61.9 kB] Get:58 http://localhost:9999/debian/ unstable/main libghc-transformers-dev amd64 0.3.0.0-5 [409 kB] Get:59 http://localhost:9999/debian/ unstable/main libghc-mtl-dev amd64 2.1.2-4 [114 kB] Get:60 http://localhost:9999/debian/ unstable/main libghc-stmonadtrans-dev amd64 0.3.2-1 [30.1 kB] Get:61 http://localhost:9999/debian/ unstable/main libghc-equivalence-dev amd64 0.2.5-1 [59.6 kB] Get:62 http://localhost:9999/debian/ unstable/main libghc-geniplate-dev amd64 0.6.0.4-1 [58.6 kB] Get:63 http://localhost:9999/debian/ unstable/main libghc-hashable-dev amd64 1.2.1.0-5 [39.7 kB] Get:64 http://localhost:9999/debian/ unstable/main libghc-primitive-dev amd64 0.5.0.1-3 [117 kB] Get:65 http://localhost:9999/debian/ unstable/main libghc-vector-dev amd64 0.10.0.1-3 [1720 kB] Get:66 http://localhost:9999/debian/ unstable/main libghc-hashtables-dev amd64 1.0.1.8-2+b2 [155 kB] Get:67 http://localhost:9999/debian/ unstable/main libghc-terminfo-dev amd64 0.3.2.5-3 [132 kB] Get:68 http://localhost:9999/debian/ unstable/main libghc-haskeline-dev amd64 0.7.0.3-3 [894 kB] Get:69 http://localhost:9999/debian/ unstable/main libghc-parallel-dev amd64 3.2.0.4-1 [40.4 kB] Get:70 http://localhost:9999/debian/ unstable/main libghc-random-dev amd64 1.0.1.1-3 [237 kB] Get:71 http://localhost:9999/debian/ unstable/main libghc-tf-random-dev amd64 0.5-1 [68.8 kB] Get:72 http://localhost:9999/debian/ unstable/main libghc-quickcheck2-dev amd64 2.7.6-3 [387 kB] Get:73 http://localhost:9999/debian/ unstable/main libghc-src-exts-dev amd64 1.14.0.1-1+b1 [3944 kB] Get:74 http://localhost:9999/debian/ unstable/main libghc-strict-dev amd64 0.3.2-7 [65.3 kB] Get:75 http://localhost:9999/debian/ unstable/main libghc-unordered-containers-dev amd64 0.2.5.0-1 [143 kB] Get:76 http://localhost:9999/debian/ unstable/main libghc-xhtml-dev amd64 3000.2.1-4 [218 kB] Get:77 http://localhost:9999/debian/ unstable/main libghc-zlib-dev amd64 0.5.4.1-1 [97.1 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 56.1 MB in 13s (4275 kB/s) Selecting previously unselected package libpipeline1:amd64. (Reading database ... 15338 files and directories currently installed.) Preparing to unpack .../libpipeline1_1.3.0-1_amd64.deb ... Unpacking libpipeline1:amd64 (1.3.0-1) ... Selecting previously unselected package groff-base. Preparing to unpack .../groff-base_1.22.2-7_amd64.deb ... Unpacking groff-base (1.22.2-7) ... Selecting previously unselected package bsdmainutils. Preparing to unpack .../bsdmainutils_9.0.5_amd64.deb ... Unpacking bsdmainutils (9.0.5) ... Selecting previously unselected package man-db. Preparing to unpack .../man-db_2.6.7.1-1_amd64.deb ... Unpacking man-db (2.6.7.1-1) ... Selecting previously unselected package libasprintf0c2:amd64. Preparing to unpack .../libasprintf0c2_0.19.2-2_amd64.deb ... Unpacking libasprintf0c2:amd64 (0.19.2-2) ... Selecting previously unselected package libnettle4:amd64. Preparing to unpack .../libnettle4_2.7.1-3_amd64.deb ... Unpacking libnettle4:amd64 (2.7.1-3) ... Selecting previously unselected package libhogweed2:amd64. Preparing to unpack .../libhogweed2_2.7.1-3_amd64.deb ... Unpacking libhogweed2:amd64 (2.7.1-3) ... Selecting previously unselected package libp11-kit0:amd64. Preparing to unpack .../libp11-kit0_0.20.3-2_amd64.deb ... Unpacking libp11-kit0:amd64 (0.20.3-2) ... Selecting previously unselected package libtasn1-6:amd64. Preparing to unpack .../libtasn1-6_4.1-1_amd64.deb ... Unpacking libtasn1-6:amd64 (4.1-1) ... Selecting previously unselected package libgnutls-deb0-28:amd64. Preparing to unpack .../libgnutls-deb0-28_3.3.7-2_amd64.deb ... Unpacking libgnutls-deb0-28:amd64 (3.3.7-2) ... Selecting previously unselected package libgnutls26:amd64. Preparing to unpack .../libgnutls26_2.12.23-17_amd64.deb ... Unpacking libgnutls26:amd64 (2.12.23-17) ... Selecting previously unselected package libkeyutils1:amd64. Preparing to unpack .../libkeyutils1_1.5.9-5_amd64.deb ... Unpacking libkeyutils1:amd64 (1.5.9-5) ... Selecting previously unselected package libkrb5support0:amd64. Preparing to unpack .../libkrb5support0_1.12.1+dfsg-9_amd64.deb ... Unpacking libkrb5support0:amd64 (1.12.1+dfsg-9) ... Selecting previously unselected package libk5crypto3:amd64. Preparing to unpack .../libk5crypto3_1.12.1+dfsg-9_amd64.deb ... Unpacking libk5crypto3:amd64 (1.12.1+dfsg-9) ... Selecting previously unselected package libkrb5-3:amd64. Preparing to unpack .../libkrb5-3_1.12.1+dfsg-9_amd64.deb ... Unpacking libkrb5-3:amd64 (1.12.1+dfsg-9) ... Selecting previously unselected package libgssapi-krb5-2:amd64. Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-9_amd64.deb ... Unpacking libgssapi-krb5-2:amd64 (1.12.1+dfsg-9) ... Selecting previously unselected package libidn11:amd64. Preparing to unpack .../libidn11_1.29-1_amd64.deb ... Unpacking libidn11:amd64 (1.29-1) ... Selecting previously unselected package libsasl2-modules-db:amd64. Preparing to unpack .../libsasl2-modules-db_2.1.26.dfsg1-11_amd64.deb ... Unpacking libsasl2-modules-db:amd64 (2.1.26.dfsg1-11) ... Selecting previously unselected package libsasl2-2:amd64. Preparing to unpack .../libsasl2-2_2.1.26.dfsg1-11_amd64.deb ... Unpacking libsasl2-2:amd64 (2.1.26.dfsg1-11) ... Selecting previously unselected package libldap-2.4-2:amd64. Preparing to unpack .../libldap-2.4-2_2.4.39-1.1+b1_amd64.deb ... Unpacking libldap-2.4-2:amd64 (2.4.39-1.1+b1) ... Selecting previously unselected package libmagic1:amd64. Preparing to unpack .../libmagic1_1%3a5.19-1_amd64.deb ... Unpacking libmagic1:amd64 (1:5.19-1) ... Selecting previously unselected package libxml2:amd64. Preparing to unpack .../libxml2_2.9.1+dfsg1-4_amd64.deb ... Unpacking libxml2:amd64 (2.9.1+dfsg1-4) ... Selecting previously unselected package libglib2.0-0:amd64. Preparing to unpack .../libglib2.0-0_2.40.0-5_amd64.deb ... Unpacking libglib2.0-0:amd64 (2.40.0-5) ... Selecting previously unselected package libcroco3:amd64. Preparing to unpack .../libcroco3_0.6.8-3_amd64.deb ... Unpacking libcroco3:amd64 (0.6.8-3) ... Selecting previously unselected package librtmp1:amd64. Preparing to unpack .../librtmp1_2.4+20131018.git79459a2-4_amd64.deb ... Unpacking librtmp1:amd64 (2.4+20131018.git79459a2-4) ... Selecting previously unselected package libssh2-1:amd64. Preparing to unpack .../libssh2-1_1.4.3-4_amd64.deb ... Unpacking libssh2-1:amd64 (1.4.3-4) ... Selecting previously unselected package libcurl3-gnutls:amd64. Preparing to unpack .../libcurl3-gnutls_7.37.1-1_amd64.deb ... Unpacking libcurl3-gnutls:amd64 (7.37.1-1) ... Selecting previously unselected package libunistring0:amd64. Preparing to unpack .../libunistring0_0.9.3-5.2_amd64.deb ... Unpacking libunistring0:amd64 (0.9.3-5.2) ... Selecting previously unselected package file. Preparing to unpack .../file_1%3a5.19-1_amd64.deb ... Unpacking file (1:5.19-1) ... Selecting previously unselected package gettext-base. Preparing to unpack .../gettext-base_0.19.2-2_amd64.deb ... Unpacking gettext-base (0.19.2-2) ... Selecting previously unselected package cdbs. Preparing to unpack .../archives/cdbs_0.4.126_all.deb ... Unpacking cdbs (0.4.126) ... Selecting previously unselected package dctrl-tools. Preparing to unpack .../dctrl-tools_2.23_amd64.deb ... Unpacking dctrl-tools (2.23) ... Selecting previously unselected package gettext. Preparing to unpack .../gettext_0.19.2-2_amd64.deb ... Unpacking gettext (0.19.2-2) ... Selecting previously unselected package intltool-debian. Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ... Unpacking intltool-debian (0.35.0+20060710.1) ... Selecting previously unselected package po-debconf. Preparing to unpack .../po-debconf_1.0.16+nmu3_all.deb ... Unpacking po-debconf (1.0.16+nmu3) ... Selecting previously unselected package debhelper. Preparing to unpack .../debhelper_9.20140817_all.deb ... Unpacking debhelper (9.20140817) ... Selecting previously unselected package dh-buildinfo. Preparing to unpack .../dh-buildinfo_0.11_all.deb ... Unpacking dh-buildinfo (0.11) ... Selecting previously unselected package libbsd-dev:amd64. Preparing to unpack .../libbsd-dev_0.7.0-2_amd64.deb ... Unpacking libbsd-dev:amd64 (0.7.0-2) ... Selecting previously unselected package libffi-dev:amd64. Preparing to unpack .../libffi-dev_3.1-2_amd64.deb ... Unpacking libffi-dev:amd64 (3.1-2) ... Selecting previously unselected package libgmp-dev:amd64. Preparing to unpack .../libgmp-dev_2%3a6.0.0+dfsg-6_amd64.deb ... Unpacking libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Selecting previously unselected package ghc. Preparing to unpack .../ghc_7.6.3-16_amd64.deb ... Unpacking ghc (7.6.3-16) ... Selecting previously unselected package libghc-text-dev. Preparing to unpack .../libghc-text-dev_0.11.3.1-1_amd64.deb ... Unpacking libghc-text-dev (0.11.3.1-1) ... Selecting previously unselected package libghc-polyparse-dev. Preparing to unpack .../libghc-polyparse-dev_1.9-1_amd64.deb ... Unpacking libghc-polyparse-dev (1.9-1) ... Selecting previously unselected package libtinfo-dev:amd64. Preparing to unpack .../libtinfo-dev_5.9+20140712-2_amd64.deb ... Unpacking libtinfo-dev:amd64 (5.9+20140712-2) ... Selecting previously unselected package libncurses5-dev:amd64. Preparing to unpack .../libncurses5-dev_5.9+20140712-2_amd64.deb ... Unpacking libncurses5-dev:amd64 (5.9+20140712-2) ... Selecting previously unselected package zlib1g-dev:amd64. Preparing to unpack .../zlib1g-dev_1%3a1.2.8.dfsg-2_amd64.deb ... Unpacking zlib1g-dev:amd64 (1:1.2.8.dfsg-2) ... Selecting previously unselected package alex. Preparing to unpack .../alex_3.1.3-1_amd64.deb ... Unpacking alex (3.1.3-1) ... Selecting previously unselected package ghc-haddock. Preparing to unpack .../ghc-haddock_7.6.3-16_amd64.deb ... Unpacking ghc-haddock (7.6.3-16) ... Selecting previously unselected package happy. Preparing to unpack .../happy_1.19.4-1_amd64.deb ... Unpacking happy (1.19.4-1) ... Selecting previously unselected package html-xml-utils. Preparing to unpack .../html-xml-utils_6.7-1_amd64.deb ... Unpacking html-xml-utils (6.7-1) ... Selecting previously unselected package hscolour. Preparing to unpack .../hscolour_1.20.3-3_amd64.deb ... Unpacking hscolour (1.20.3-3) ... Selecting previously unselected package haskell-devscripts. Preparing to unpack .../haskell-devscripts_0.8.21_all.deb ... Unpacking haskell-devscripts (0.8.21) ... Selecting previously unselected package libghc-binary-dev. Preparing to unpack .../libghc-binary-dev_0.7.2.1-1_amd64.deb ... Unpacking libghc-binary-dev (0.7.2.1-1) ... Selecting previously unselected package libghc-split-dev. Preparing to unpack .../libghc-split-dev_0.2.2-1_amd64.deb ... Unpacking libghc-split-dev (0.2.2-1) ... Selecting previously unselected package libghc-boxes-dev. Preparing to unpack .../libghc-boxes-dev_0.1.3-1_amd64.deb ... Unpacking libghc-boxes-dev (0.1.3-1) ... Selecting previously unselected package libghc-cpphs-dev. Preparing to unpack .../libghc-cpphs-dev_1.18.5-1_amd64.deb ... Unpacking libghc-cpphs-dev (1.18.5-1) ... Selecting previously unselected package libghc-data-hash-dev. Preparing to unpack .../libghc-data-hash-dev_0.2.0.0-1_amd64.deb ... Unpacking libghc-data-hash-dev (0.2.0.0-1) ... Selecting previously unselected package libghc-transformers-dev. Preparing to unpack .../libghc-transformers-dev_0.3.0.0-5_amd64.deb ... Unpacking libghc-transformers-dev (0.3.0.0-5) ... Selecting previously unselected package libghc-mtl-dev. Preparing to unpack .../libghc-mtl-dev_2.1.2-4_amd64.deb ... Unpacking libghc-mtl-dev (2.1.2-4) ... Selecting previously unselected package libghc-stmonadtrans-dev. Preparing to unpack .../libghc-stmonadtrans-dev_0.3.2-1_amd64.deb ... Unpacking libghc-stmonadtrans-dev (0.3.2-1) ... Selecting previously unselected package libghc-equivalence-dev. Preparing to unpack .../libghc-equivalence-dev_0.2.5-1_amd64.deb ... Unpacking libghc-equivalence-dev (0.2.5-1) ... Selecting previously unselected package libghc-geniplate-dev. Preparing to unpack .../libghc-geniplate-dev_0.6.0.4-1_amd64.deb ... Unpacking libghc-geniplate-dev (0.6.0.4-1) ... Selecting previously unselected package libghc-hashable-dev. Preparing to unpack .../libghc-hashable-dev_1.2.1.0-5_amd64.deb ... Unpacking libghc-hashable-dev (1.2.1.0-5) ... Selecting previously unselected package libghc-primitive-dev. Preparing to unpack .../libghc-primitive-dev_0.5.0.1-3_amd64.deb ... Unpacking libghc-primitive-dev (0.5.0.1-3) ... Selecting previously unselected package libghc-vector-dev. Preparing to unpack .../libghc-vector-dev_0.10.0.1-3_amd64.deb ... Unpacking libghc-vector-dev (0.10.0.1-3) ... Selecting previously unselected package libghc-hashtables-dev. Preparing to unpack .../libghc-hashtables-dev_1.0.1.8-2+b2_amd64.deb ... Unpacking libghc-hashtables-dev (1.0.1.8-2+b2) ... Selecting previously unselected package libghc-terminfo-dev. Preparing to unpack .../libghc-terminfo-dev_0.3.2.5-3_amd64.deb ... Unpacking libghc-terminfo-dev (0.3.2.5-3) ... Selecting previously unselected package libghc-haskeline-dev. Preparing to unpack .../libghc-haskeline-dev_0.7.0.3-3_amd64.deb ... Unpacking libghc-haskeline-dev (0.7.0.3-3) ... Selecting previously unselected package libghc-parallel-dev. Preparing to unpack .../libghc-parallel-dev_3.2.0.4-1_amd64.deb ... Unpacking libghc-parallel-dev (3.2.0.4-1) ... Selecting previously unselected package libghc-random-dev. Preparing to unpack .../libghc-random-dev_1.0.1.1-3_amd64.deb ... Unpacking libghc-random-dev (1.0.1.1-3) ... Selecting previously unselected package libghc-tf-random-dev. Preparing to unpack .../libghc-tf-random-dev_0.5-1_amd64.deb ... Unpacking libghc-tf-random-dev (0.5-1) ... Selecting previously unselected package libghc-quickcheck2-dev. Preparing to unpack .../libghc-quickcheck2-dev_2.7.6-3_amd64.deb ... Unpacking libghc-quickcheck2-dev (2.7.6-3) ... Selecting previously unselected package libghc-src-exts-dev. Preparing to unpack .../libghc-src-exts-dev_1.14.0.1-1+b1_amd64.deb ... Unpacking libghc-src-exts-dev (1.14.0.1-1+b1) ... Selecting previously unselected package libghc-strict-dev. Preparing to unpack .../libghc-strict-dev_0.3.2-7_amd64.deb ... Unpacking libghc-strict-dev (0.3.2-7) ... Selecting previously unselected package libghc-unordered-containers-dev. Preparing to unpack .../libghc-unordered-containers-dev_0.2.5.0-1_amd64.deb ... Unpacking libghc-unordered-containers-dev (0.2.5.0-1) ... Selecting previously unselected package libghc-xhtml-dev. Preparing to unpack .../libghc-xhtml-dev_3000.2.1-4_amd64.deb ... Unpacking libghc-xhtml-dev (3000.2.1-4) ... Selecting previously unselected package libghc-zlib-dev. Preparing to unpack .../libghc-zlib-dev_0.5.4.1-1_amd64.deb ... Unpacking libghc-zlib-dev (0.5.4.1-1) ... Selecting previously unselected package sbuild-build-depends-agda-dummy. Preparing to unpack .../sbuild-build-depends-agda-dummy.deb ... Unpacking sbuild-build-depends-agda-dummy (0.invalid.0) ... Setting up libpipeline1:amd64 (1.3.0-1) ... Setting up groff-base (1.22.2-7) ... Setting up bsdmainutils (9.0.5) ... update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode Setting up man-db (2.6.7.1-1) ... Not building database; man-db/auto-update is not 'true'. Setting up libasprintf0c2:amd64 (0.19.2-2) ... Setting up libnettle4:amd64 (2.7.1-3) ... Setting up libhogweed2:amd64 (2.7.1-3) ... Setting up libp11-kit0:amd64 (0.20.3-2) ... Setting up libtasn1-6:amd64 (4.1-1) ... Setting up libgnutls-deb0-28:amd64 (3.3.7-2) ... Setting up libgnutls26:amd64 (2.12.23-17) ... Setting up libkeyutils1:amd64 (1.5.9-5) ... Setting up libkrb5support0:amd64 (1.12.1+dfsg-9) ... Setting up libk5crypto3:amd64 (1.12.1+dfsg-9) ... Setting up libkrb5-3:amd64 (1.12.1+dfsg-9) ... Setting up libgssapi-krb5-2:amd64 (1.12.1+dfsg-9) ... Setting up libidn11:amd64 (1.29-1) ... Setting up libsasl2-modules-db:amd64 (2.1.26.dfsg1-11) ... Setting up libsasl2-2:amd64 (2.1.26.dfsg1-11) ... Setting up libldap-2.4-2:amd64 (2.4.39-1.1+b1) ... Setting up libmagic1:amd64 (1:5.19-1) ... Setting up libxml2:amd64 (2.9.1+dfsg1-4) ... Setting up libglib2.0-0:amd64 (2.40.0-5) ... No schema files found: doing nothing. Setting up libcroco3:amd64 (0.6.8-3) ... Setting up librtmp1:amd64 (2.4+20131018.git79459a2-4) ... Setting up libssh2-1:amd64 (1.4.3-4) ... Setting up libcurl3-gnutls:amd64 (7.37.1-1) ... Setting up libunistring0:amd64 (0.9.3-5.2) ... Setting up file (1:5.19-1) ... Setting up gettext-base (0.19.2-2) ... Setting up cdbs (0.4.126) ... Setting up dctrl-tools (2.23) ... Setting up gettext (0.19.2-2) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu3) ... Setting up debhelper (9.20140817) ... Setting up dh-buildinfo (0.11) ... Setting up libbsd-dev:amd64 (0.7.0-2) ... Setting up libffi-dev:amd64 (3.1-2) ... Setting up libgmp-dev:amd64 (2:6.0.0+dfsg-6) ... Setting up ghc (7.6.3-16) ... update-alternatives: using /usr/bin/runghc to provide /usr/bin/runhaskell (runhaskell) in auto mode update-alternatives: using /usr/bin/ghc to provide /usr/bin/haskell-compiler (haskell-compiler) in auto mode Setting up libghc-text-dev (0.11.3.1-1) ... Setting up libghc-polyparse-dev (1.9-1) ... Setting up libtinfo-dev:amd64 (5.9+20140712-2) ... Setting up libncurses5-dev:amd64 (5.9+20140712-2) ... Setting up zlib1g-dev:amd64 (1:1.2.8.dfsg-2) ... Setting up alex (3.1.3-1) ... Setting up ghc-haddock (7.6.3-16) ... Setting up happy (1.19.4-1) ... Setting up html-xml-utils (6.7-1) ... Setting up hscolour (1.20.3-3) ... Setting up haskell-devscripts (0.8.21) ... Setting up libghc-binary-dev (0.7.2.1-1) ... Setting up libghc-split-dev (0.2.2-1) ... Setting up libghc-boxes-dev (0.1.3-1) ... Setting up libghc-cpphs-dev (1.18.5-1) ... Setting up libghc-data-hash-dev (0.2.0.0-1) ... Setting up libghc-transformers-dev (0.3.0.0-5) ... Setting up libghc-mtl-dev (2.1.2-4) ... Setting up libghc-stmonadtrans-dev (0.3.2-1) ... Setting up libghc-equivalence-dev (0.2.5-1) ... Setting up libghc-geniplate-dev (0.6.0.4-1) ... Setting up libghc-hashable-dev (1.2.1.0-5) ... Setting up libghc-primitive-dev (0.5.0.1-3) ... Setting up libghc-vector-dev (0.10.0.1-3) ... Setting up libghc-hashtables-dev (1.0.1.8-2+b2) ... Setting up libghc-terminfo-dev (0.3.2.5-3) ... Setting up libghc-haskeline-dev (0.7.0.3-3) ... Setting up libghc-parallel-dev (3.2.0.4-1) ... Setting up libghc-random-dev (1.0.1.1-3) ... Setting up libghc-tf-random-dev (0.5-1) ... Setting up libghc-quickcheck2-dev (2.7.6-3) ... Setting up libghc-src-exts-dev (1.14.0.1-1+b1) ... Setting up libghc-strict-dev (0.3.2-7) ... Setting up libghc-unordered-containers-dev (0.2.5.0-1) ... Setting up libghc-xhtml-dev (3000.2.1-4) ... Setting up libghc-zlib-dev (0.5.4.1-1) ... Setting up sbuild-build-depends-agda-dummy (0.invalid.0) ... Processing triggers for libc-bin (2.19-10) ... ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build environment │ └──────────────────────────────────────────────────────────────────────────────┘ Kernel: Linux 2.6.32-5-xen-amd64 amd64 (x86_64) Toolchain package versions: binutils_2.24.51.20140903-1 dpkg-dev_1.17.13 g++-4.6_4.6.4-7 g++-4.9_4.9.1-12 gcc-4.6_4.6.4-7 gcc-4.7_4.7.4-3 gcc-4.9_4.9.1-12 libc6-dev_2.19-10 libstdc++-4.9-dev_4.9.1-12 libstdc++6_4.9.1-12 libstdc++6-4.6-dev_4.6.4-7 linux-libc-dev_3.14.15-2 Package versions: acl_2.2.52-1.1 adduser_3.113+nmu3 alex_3.1.3-1 apt_1.0.7 base-files_7.5 base-passwd_3.5.35 bash_4.3-9 binutils_2.24.51.20140903-1 bsdmainutils_9.0.5 bsdutils_1:2.20.1-5.8 build-essential_11.7 bzip2_1.0.6-7 cdbs_0.4.126 clang-3.5_1:3.5-1 coreutils_8.23-2 cpp_4:4.9.1-3 cpp-4.6_4.6.4-7 cpp-4.7_4.7.4-3 cpp-4.9_4.9.1-12 dash_0.5.7-4 dbus_1.8.6-2 dctrl-tools_2.23 debconf_1.5.53 debconf-i18n_1.5.53 debfoster_2.7-2 debhelper_9.20140817 debian-archive-keyring_2014.1 debianutils_4.4 dh-buildinfo_0.11 diffutils_1:3.3-1 dmsetup_2:1.02.88-1 dpkg_1.17.13 dpkg-dev_1.17.13 e2fslibs_1.42.12-1 e2fsprogs_1.42.12-1 fakeroot_1.20.1-1.1 file_1:5.19-1 findutils_4.4.2-9 g++_4:4.9.1-3 g++-4.6_4.6.4-7 g++-4.9_4.9.1-12 gcc_4:4.9.1-3 gcc-4.4-base_4.4.7-8 gcc-4.5-base_4.5.4-1 gcc-4.6_4.6.4-7 gcc-4.6-base_4.6.4-7 gcc-4.7_4.7.4-3 gcc-4.7-base_4.7.4-3 gcc-4.8-base_4.8.3-10 gcc-4.9_4.9.1-12 gcc-4.9-base_4.9.1-12 gettext_0.19.2-2 gettext-base_0.19.2-2 ghc_7.6.3-16 ghc-haddock_7.6.3-16 gnupg_1.4.18-3 gpgv_1.4.18-3 grep_2.20-2 groff-base_1.22.2-7 gzip_1.6-3 happy_1.19.4-1 haskell-devscripts_0.8.21 hostname_3.15 hscolour_1.20.3-3 html-xml-utils_6.7-1 init_1.21 initscripts_2.88dsf-53.4 insserv_1.14.0-5 intltool-debian_0.35.0+20060710.1 libacl1_2.2.52-1.1 libalgorithm-c3-perl_0.09-1 libapt-pkg4.12_1.0.7 libarchive-extract-perl_0.72-1 libasan1_4.9.1-12 libasprintf0c2_0.19.2-2 libatomic1_4.9.1-12 libattr1_1:2.4.47-1 libaudit-common_1:2.3.7-1 libaudit1_1:2.3.7-1 libblkid1_2.20.1-5.8 libbsd-dev_0.7.0-2 libbsd0_0.7.0-2 libbz2-1.0_1.0.6-7 libc-bin_2.19-10 libc-dev-bin_2.19-10 libc6_2.19-10 libc6-dev_2.19-10 libcap-ng0_0.7.4-2 libcap2_1:2.24-4 libcap2-bin_1:2.24-4 libcgi-fast-perl_1:2.02-1 libcgi-pm-perl_4.03-1 libcilkrts5_4.9.1-12 libclang-common-3.5-dev_1:3.5-1 libclang1-3.5_1:3.5-1 libclass-c3-perl_0.26-1 libclass-c3-xs-perl_0.13-2+b1 libclass-isa-perl_0.36-5 libcloog-isl4_0.18.2-1 libcloog-ppl1_0.16.1-5 libcomerr2_1.42.12-1 libcroco3_0.6.8-3 libcryptsetup4_2:1.6.6-1 libcurl3-gnutls_7.37.1-1 libdata-optlist-perl_0.109-1 libdata-section-perl_0.200006-1 libdb5.1_5.1.29-5 libdb5.3_5.3.28-6 libdbus-1-3_1.8.6-2 libdebconfclient0_0.191 libdevmapper1.02.1_2:1.02.88-1 libdpkg-perl_1.17.13 libedit2_3.1-20140620-2 libexpat1_2.1.0-6 libfakeroot_1.20.1-1.1 libfcgi-perl_0.77-1+b1 libffi-dev_3.1-2 libffi6_3.1-2 libfile-fcntllock-perl_0.22-1+b1 libgc1c2_1:7.2d-6.3 libgcc-4.7-dev_4.7.4-3 libgcc-4.9-dev_4.9.1-12 libgcc1_1:4.9.1-12 libgcrypt11_1.5.4-3 libgcrypt20_1.6.2-3 libgdbm3_1.8.3-13 libghc-binary-dev_0.7.2.1-1 libghc-boxes-dev_0.1.3-1 libghc-cpphs-dev_1.18.5-1 libghc-data-hash-dev_0.2.0.0-1 libghc-equivalence-dev_0.2.5-1 libghc-geniplate-dev_0.6.0.4-1 libghc-hashable-dev_1.2.1.0-5 libghc-hashtables-dev_1.0.1.8-2+b2 libghc-haskeline-dev_0.7.0.3-3 libghc-mtl-dev_2.1.2-4 libghc-parallel-dev_3.2.0.4-1 libghc-polyparse-dev_1.9-1 libghc-primitive-dev_0.5.0.1-3 libghc-quickcheck2-dev_2.7.6-3 libghc-random-dev_1.0.1.1-3 libghc-split-dev_0.2.2-1 libghc-src-exts-dev_1.14.0.1-1+b1 libghc-stmonadtrans-dev_0.3.2-1 libghc-strict-dev_0.3.2-7 libghc-terminfo-dev_0.3.2.5-3 libghc-text-dev_0.11.3.1-1 libghc-tf-random-dev_0.5-1 libghc-transformers-dev_0.3.0.0-5 libghc-unordered-containers-dev_0.2.5.0-1 libghc-vector-dev_0.10.0.1-3 libghc-xhtml-dev_3000.2.1-4 libghc-zlib-dev_0.5.4.1-1 libglib2.0-0_2.40.0-5 libgmp-dev_2:6.0.0+dfsg-6 libgmp10_2:6.0.0+dfsg-6 libgmpxx4ldbl_2:6.0.0+dfsg-6 libgnutls-deb0-28_3.3.7-2 libgnutls26_2.12.23-17 libgomp1_4.9.1-12 libgpg-error0_1.13-4 libgpm2_1.20.4-6.1 libgssapi-krb5-2_1.12.1+dfsg-9 libhogweed2_2.7.1-3 libidn11_1.29-1 libisl10_0.12.2-2 libitm1_4.9.1-12 libk5crypto3_1.12.1+dfsg-9 libkeyutils1_1.5.9-5 libkmod2_18-1 libkrb5-3_1.12.1+dfsg-9 libkrb5support0_1.12.1+dfsg-9 libldap-2.4-2_2.4.39-1.1+b1 libllvm3.5_1:3.5-1 liblocale-gettext-perl_1.05-8+b1 liblog-message-perl_0.8-1 liblog-message-simple-perl_0.10-2 liblsan0_4.9.1-12 liblzma5_5.1.1alpha+20120614-2 libmagic1_1:5.19-1 libmodule-build-perl_0.420800-1 libmodule-pluggable-perl_5.1-1 libmodule-signature-perl_0.73-1 libmount1_2.20.1-5.8 libmpc2_0.9-4 libmpc3_1.0.2-1 libmpfr4_3.1.2-1 libmro-compat-perl_0.12-1 libncurses5_5.9+20140712-2 libncurses5-dev_5.9+20140712-2 libncursesw5_5.9+20140712-2 libnettle4_2.7.1-3 libobjc-4.9-dev_4.9.1-12 libobjc4_4.9.1-12 libp11-kit0_0.20.3-2 libpackage-constants-perl_0.04-1 libpam-cap_1:2.24-4 libpam-modules_1.1.8-3.1 libpam-modules-bin_1.1.8-3.1 libpam-runtime_1.1.8-3.1 libpam-systemd_208-8 libpam0g_1.1.8-3.1 libparams-util-perl_1.07-2+b1 libpcre3_1:8.35-3 libpipeline1_1.3.0-1 libpod-latex-perl_0.61-1 libpod-readme-perl_0.11-1 libppl-c4_1:1.1-3 libppl13_1:1.1-3 libprocps3_1:3.3.9-7 libquadmath0_4.9.1-12 libreadline6_6.3-8 libregexp-common-perl_2013031301-1 librtmp1_2.4+20131018.git79459a2-4 libsasl2-2_2.1.26.dfsg1-11 libsasl2-modules-db_2.1.26.dfsg1-11 libselinux1_2.3-2 libsemanage-common_2.3-1 libsemanage1_2.3-1 libsepol1_2.3-2 libslang2_2.2.4-17 libsoftware-license-perl_0.103010-1 libss2_1.42.12-1 libssh2-1_1.4.3-4 libstdc++-4.9-dev_4.9.1-12 libstdc++6_4.9.1-12 libstdc++6-4.6-dev_4.6.4-7 libsub-exporter-perl_0.986-1 libsub-install-perl_0.928-1 libswitch-perl_2.17-1 libsystemd-daemon0_208-8 libsystemd-journal0_208-8 libsystemd-login0_208-8 libtasn1-6_4.1-1 libterm-ui-perl_0.42-1 libtext-charwidth-perl_0.04-7+b3 libtext-iconv-perl_1.7-5+b2 libtext-soundex-perl_3.4-1+b2 libtext-template-perl_1.46-1 libtext-wrapi18n-perl_0.06-7 libtimedate-perl_2.3000-2 libtinfo-dev_5.9+20140712-2 libtinfo5_5.9+20140712-2 libtsan0_4.9.1-12 libubsan0_4.9.1-12 libudev1_208-8 libunistring0_0.9.3-5.2 libusb-0.1-4_2:0.1.12-24 libustr-1.0-1_1.0.4-3 libuuid1_2.20.1-5.8 libwrap0_7.6.q-25 libxml2_2.9.1+dfsg1-4 linux-libc-dev_3.14.15-2 login_1:4.2-2+b1 lsb-base_4.1+Debian13 make_4.0-8 man-db_2.6.7.1-1 mawk_1.3.3-17 mount_2.20.1-5.8 multiarch-support_2.19-10 ncurses-base_5.9+20140712-2 ncurses-bin_5.9+20140712-2 passwd_1:4.2-2+b1 patch_2.7.1-6 perl_5.20.0-6 perl-base_5.20.0-6 perl-modules_5.20.0-6 po-debconf_1.0.16+nmu3 procps_1:3.3.9-7 psmisc_22.21-2 readline-common_6.3-8 rename_0.20-3 sbuild-build-depends-agda-dummy_0.invalid.0 sbuild-build-depends-core-dummy_0.invalid.0 sed_4.2.2-4 sensible-utils_0.0.9 startpar_0.59-3 sudo_1.8.9p5-1 systemd_208-8 systemd-sysv_208-8 sysv-rc_2.88dsf-53.4 sysvinit_2.88dsf-53.4 sysvinit-utils_2.88dsf-53.4 tar_1.27.1-2 tcpd_7.6.q-25 tzdata_2014g-1 ucf_3.0030 udev_208-8 util-linux_2.20.1-5.8 vim_2:7.4.430-1 vim-common_2:7.4.430-1 vim-runtime_2:7.4.430-1 xz-utils_5.1.1alpha+20120614-2 zlib1g_1:1.2.8.dfsg-2 zlib1g-dev_1:1.2.8.dfsg-2 ┌──────────────────────────────────────────────────────────────────────────────┐ │ Build │ └──────────────────────────────────────────────────────────────────────────────┘ Unpack source ───────────── gpgv: keyblock resource `/sbuild-nonexistent/.gnupg/trustedkeys.gpg': file open error gpgv: Signature made Mon Aug 11 11:22:50 2014 UTC using RSA key ID 7D86500B gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./agda_2.4.0.2-2.dsc dpkg-source: info: extracting agda in agda-2.4.0.2 dpkg-source: info: unpacking agda_2.4.0.2.orig.tar.gz dpkg-source: info: unpacking agda_2.4.0.2-2.debian.tar.xz Check disc space ──────────────── Sufficient free space for build Hack binNMU version ─────────────────── Created changelog entry for binNMU version 2.4.0.2-2clang1 User Environment ──────────────── DEB_BUILD_OPTIONS=parallel=10 HOME=/sbuild-nonexistent LOGNAME=user PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games SCHROOT_ALIAS_NAME=unstable-amd64-sbuild SCHROOT_CHROOT_NAME=unstable-amd64-sbuild SCHROOT_COMMAND=env SCHROOT_GID=1000 SCHROOT_GROUP=user SCHROOT_SESSION_ID=unstable-amd64-sbuild-b74543cb-d664-49a1-956b-5124af6895c2 SCHROOT_UID=1000 SCHROOT_USER=user SHELL=/bin/sh USER=user dpkg-buildpackage ───────────────── dpkg-buildpackage: source package agda dpkg-buildpackage: source version 2.4.0.2-2clang1 dpkg-buildpackage: source distribution unstable dpkg-source --before-build agda-2.4.0.2 dpkg-buildpackage: host architecture amd64 fakeroot debian/rules clean test -x debian/rules dh_clean [ ! -x "debian/hlibrary.setup" ] || debian/hlibrary.setup clean rm -rf dist dist-ghc dist-hugs debian/hlibrary.setup Setup.hi Setup.ho Setup.o .*config* rm -f configure-ghc-stamp build-ghc-stamp build-hugs-stamp build-haddock-stamp rm -rf debian/tmp-inst-ghc rm -f debian/extra-depends rm -f debian/libghc-agda-doc.links rm -f debian/hlibrary.Makefile rm -rf debian/dh_haskell_shlibdeps debian/rules build-arch test -x debian/rules mkdir -p "." /usr/share/cdbs/1/rules/buildcore.mk:110: CDBS WARNING: DEB_COMPRESS_EXCLUDE is deprecated since 0.4.85 if test ! -e Setup.lhs -a ! -e Setup.hs; then echo "No setup script found!"; exit 1; fi for setup in Setup.lhs Setup.hs; do if test -e $setup; then ghc --make $setup -o debian/hlibrary.setup; exit 0; fi; done [1 of 1] Compiling Main ( Setup.hs, Setup.o ) clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: argument unused during compilation: '-fno-stack-protector' clang: warning: argument unused during compilation: '-I .' Linking debian/hlibrary.setup ... clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: argument unused during compilation: '-fno-stack-protector' clang: warning: argument unused during compilation: '-D TABLES_NEXT_TO_CODE' clang: warning: argument unused during compilation: '-I /usr/lib/ghc/include' debian/hlibrary.setup configure --ghc -v2 \ --prefix=/usr --libdir=/usr/lib/haskell-packages/ghc/lib \ --builddir=dist-ghc \ --haddockdir=/usr/lib/ghc-doc/haddock/agda-2.4.0.2/ --datasubdir=agda\ --htmldir=/usr/share/doc/libghc-agda-doc/html/ \ --datadir='/usr/share' --datasubdir='libghc-agda-dev' Configuring Agda-2.4.0.2... Flags chosen: epic=False Dependency Agda ==2.4.0.2: using Agda-2.4.0.2 Dependency QuickCheck >=2.7.5 && <2.8: using QuickCheck-2.7.6 Dependency STMonadTrans >=0.3.2 && <0.4: using STMonadTrans-0.3.2 Dependency array >=0.1 && <0.6: using array-0.4.0.1 Dependency base >=4.2 && <4.8: using base-4.6.0.1 Dependency binary >=0.6 && <0.8: using binary-0.7.2.1 Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.3 Dependency bytestring >=0.9.0.1 && <0.11: using bytestring-0.10.0.2 Dependency containers >=0.1 && <0.6: using containers-0.5.0.0 Dependency data-hash ==0.2.0.0: using data-hash-0.2.0.0 Dependency deepseq ==1.3.*: using deepseq-1.3.0.1 Dependency directory ==1.2.*: using directory-1.2.0.1 Dependency equivalence >=0.2.4 && <0.3: using equivalence-0.2.5 Dependency filepath >=1.1 && <1.4: using filepath-1.3.0.1 Dependency geniplate >=0.6.0.3 && <0.7: using geniplate-0.6.0.4 Dependency hashable >=1.1.2.3 && <1.2 || >=1.2.1.0 && <1.3: using hashable-1.2.1.0 Dependency hashtables >=1.0 && <1.2: using hashtables-1.0.1.8 Dependency haskeline ==0.7.*: using haskeline-0.7.0.3 Dependency haskell-src-exts >=1.9.6 && <1.16: using haskell-src-exts-1.14.0.1 Dependency mtl >=2.1.1 && <2.2: using mtl-2.1.2 Dependency parallel <3.3: using parallel-3.2.0.4 Dependency pretty >=1.0 && <1.2: using pretty-1.1.1.0 Dependency process >=1.0.1.0 && <1.3: using process-1.1.0.2 Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 Dependency text >=0.11 && <1.2: using text-0.11.3.1 Dependency time ==1.4.*: using time-1.4.0.1 Dependency transformers ==0.3.*: using transformers-0.3.0.0 Dependency unordered-containers ==0.2.*: using unordered-containers-0.2.5.0 Dependency xhtml ==3000.2.*: using xhtml-3000.2.1 Dependency zlib >=0.4.0.1 && <0.6: using zlib-0.5.4.1 clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused /tmp/30712.c:1:12: warning: control reaches end of non-void function [-Wreturn-type] int foo() {} ^ 1 warning generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: argument unused during compilation: '-fno-stack-protector' Using Cabal-1.16.0 compiled by ghc-7.6 Using compiler: ghc-7.6.3 Using install prefix: /usr Binaries installed in: /usr/bin Libraries installed in: /usr/lib/haskell-packages/ghc/lib/Agda-2.4.0.2/ghc-7.6.3 Private binaries installed in: /usr/libexec Data files installed in: /usr/share/libghc-agda-dev Documentation installed in: /usr/share/doc/Agda-2.4.0.2 Using alex version 3.1.3 found on system at: /usr/bin/alex Using ar found on system at: /usr/bin/ar No c2hs found No cpphs found No ffihugs found Using gcc version 4.2.1 found on system at: /usr/bin/gcc Using ghc version 7.6.3 found on system at: /usr/bin/ghc Using ghc-pkg version 7.6.3 found on system at: /usr/bin/ghc-pkg No greencard found Using haddock version 2.13.2 found on system at: /usr/bin/haddock Using happy version 1.19.4 found on system at: /usr/bin/happy No hmake found Using hpc version 0.6 found on system at: /usr/bin/hpc Using hsc2hs version 0.67 found on system at: /usr/bin/hsc2hs Using hscolour version 1.20 found on system at: /usr/bin/HsColour No hugs found No jhc found Using ld found on system at: /usr/bin/ld No lhc found No lhc-pkg found No nhc98 found No pkg-config found Using ranlib found on system at: /usr/bin/ranlib Using strip found on system at: /usr/bin/strip Using tar found on system at: /bin/tar No uhc found touch configure-ghc-stamp debian/hlibrary.setup build --builddir=dist-ghc Building Agda-2.4.0.2... Preprocessing library Agda-2.4.0.2... clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Interaction/BasicOps.hs:95:12: warning: missing terminating ' character [-Winvalid-pp-token] let t' = t `piApply` permute (takeP (length ctx) $ mvPermutation mv) ctx ^ src/full/Agda/Interaction/BasicOps.hs:97:68: warning: missing terminating ' character [-Winvalid-pp-token] TP.text "give: instantiated meta type =" TP.<+> prettyTCM t' ^ src/full/Agda/Interaction/BasicOps.hs:98:25: warning: missing terminating ' character [-Winvalid-pp-token] v <- checkExpr e t' ^ src/full/Agda/Interaction/BasicOps.hs:100:18: warning: missing terminating ' character [-Winvalid-pp-token] InstV v' -> unlessM ((Irrelevant ==) <$> asks envRelevance) $ ^ src/full/Agda/Interaction/BasicOps.hs:180:3: warning: missing terminating ' character [-Winvalid-pp-token] v' <- {- etaContract =<< -} normalise v ^ src/full/Agda/Interaction/BasicOps.hs:181:9: warning: missing terminating ' character [-Winvalid-pp-token] reify v' ^ src/full/Agda/Interaction/BasicOps.hs:265:14: warning: missing terminating ' character [-Winvalid-pp-token] m' <- reify (MetaV m []) ^ src/full/Agda/Interaction/BasicOps.hs:266:30: warning: missing terminating ' character [-Winvalid-pp-token] return $ Assign m' e ^ src/full/Agda/Interaction/BasicOps.hs:270:18: warning: missing terminating ' character [-Winvalid-pp-token] m' <- reify (MetaV m []) ^ src/full/Agda/Interaction/BasicOps.hs:271:39: warning: missing terminating ' character [-Winvalid-pp-token] return $ TypedAssign m' e a ^ src/full/Agda/Interaction/BasicOps.hs:282:8: warning: missing terminating ' character [-Winvalid-pp-token] m' <- reify (MetaV m []) ^ src/full/Agda/Interaction/BasicOps.hs:285:8: warning: missing terminating ' character [-Winvalid-pp-token] t' <- reify t ^ src/full/Agda/Interaction/BasicOps.hs:286:12: warning: missing terminating ' character [-Winvalid-pp-token] cands' <- mapM (\(tm,ty) -> (,) <$> reify tm <*> reify ty) cands ^ src/full/Agda/Interaction/BasicOps.hs:287:41: warning: missing terminating ' character [-Winvalid-pp-token] return $ FindInScopeOF m' t' cands' -- IFSTODO ^ src/full/Agda/Interaction/BasicOps.hs:335:36: warning: missing terminating ' character [-Winvalid-pp-token] toConcrete (CmpInType cmp t e e') = ^ src/full/Agda/Interaction/BasicOps.hs:337:79: warning: missing terminating ' character [-Winvalid-pp-token] <*> toConcreteCtx ArgumentCtx e' ^ src/full/Agda/Interaction/BasicOps.hs:338:34: warning: missing terminating ' character [-Winvalid-pp-token] toConcrete (CmpElim cmp t e e') = ^ src/full/Agda/Interaction/BasicOps.hs:339:99: warning: missing terminating ' character [-Winvalid-pp-token] CmpElim cmp <$> toConcreteCtx TopCtx t <*> toConcreteCtx TopCtx e <*> toConcreteCtx TopCtx e' ^ src/full/Agda/Interaction/BasicOps.hs:340:33: warning: missing terminating ' character [-Winvalid-pp-token] toConcrete (CmpTypes cmp e e') = CmpTypes cmp <$> toConcreteCtx ArgumentCtx e ^ src/full/Agda/Interaction/BasicOps.hs:341:82: warning: missing terminating ' character [-Winvalid-pp-token] <*> toConcreteCtx ArgumentCtx e' ^ src/full/Agda/Interaction/BasicOps.hs:342:34: warning: missing terminating ' character [-Winvalid-pp-token] toConcrete (CmpLevels cmp e e') = CmpLevels cmp <$> toConcreteCtx ArgumentCtx e ^ src/full/Agda/Interaction/BasicOps.hs:343:84: warning: missing terminating ' character [-Winvalid-pp-token] <*> toConcreteCtx ArgumentCtx e' ^ src/full/Agda/Interaction/BasicOps.hs:345:33: warning: missing terminating ' character [-Winvalid-pp-token] toConcrete (CmpSorts cmp e e') = CmpSorts cmp <$> toConcreteCtx ArgumentCtx e ^ src/full/Agda/Interaction/BasicOps.hs:346:82: warning: missing terminating ' character [-Winvalid-pp-token] <*> toConcreteCtx ArgumentCtx e' ^ src/full/Agda/Interaction/BasicOps.hs:358:58: warning: missing terminating ' character [-Winvalid-pp-token] instance (Pretty a, Pretty b) => Pretty (OutputConstraint' a b) where ^ src/full/Agda/Interaction/BasicOps.hs:359:17: warning: missing terminating ' character [-Winvalid-pp-token] pretty (OfType' e t) = pretty e <+> text ":" <+> pretty t ^ src/full/Agda/Interaction/BasicOps.hs:454:32: warning: missing terminating ' character [-Winvalid-pp-token] typeOfMeta norm ii = typeOfMeta' norm . (ii,) =<< lookupInteractionId ii ^ src/full/Agda/Interaction/BasicOps.hs:456:11: warning: missing terminating ' character [-Winvalid-pp-token] typeOfMeta' :: Rewrite -> (InteractionId, MetaId) -> TCM (OutputConstraint Expr InteractionId) ^ src/full/Agda/Interaction/BasicOps.hs:457:11: warning: missing terminating ' character [-Winvalid-pp-token] typeOfMeta' norm (ii, mi) = fmap (\_ -> ii) <$> typeOfMetaMI norm mi ^ src/full/Agda/Interaction/BasicOps.hs:461:29: warning: missing terminating ' character [-Winvalid-pp-token] liftTCM $ mapM (typeOfMeta' norm) =<< getInteractionIdsAndMetas ^ src/full/Agda/Interaction/BasicOps.hs:473:87: warning: missing terminating ' character [-Winvalid-pp-token] metaHelperType :: Rewrite -> InteractionId -> Range -> String -> TCM (OutputConstraint' Expr Expr) ^ src/full/Agda/Interaction/BasicOps.hs:481:45: warning: missing terminating ' character [-Winvalid-pp-token] -- so we'd better rename any actual 'w's to avoid confusion. ^ src/full/Agda/Interaction/BasicOps.hs:490:21: warning: missing terminating ' character [-Winvalid-pp-token] return (OfType' h a) ^ src/full/Agda/Interaction/BasicOps.hs:548:32: warning: missing terminating ' character [-Winvalid-pp-token] onNamesAbs f = onNamesAbs' f (stringToArgName <.> f . argNameToString) ^ src/full/Agda/Interaction/BasicOps.hs:549:50: warning: missing terminating ' character [-Winvalid-pp-token] onNamesAbs' f f' nd (Abs s x) = Abs <$> f' s <*> nd f x ^ src/full/Agda/Interaction/BasicOps.hs:550:50: warning: missing terminating ' character [-Winvalid-pp-token] onNamesAbs' f f' nd (NoAbs s x) = NoAbs <$> f' s <*> nd f x ^ src/full/Agda/Interaction/BasicOps.hs:570:67: warning: missing terminating ' character [-Winvalid-pp-token] contextOfMeta :: InteractionId -> Rewrite -> TCM [OutputConstraint' Expr Name] ^ src/full/Agda/Interaction/BasicOps.hs:579:60: warning: missing terminating ' character [-Winvalid-pp-token] visible (OfType x y) | show x /= "_" = Just (OfType' x y) ^ src/full/Agda/Interaction/BasicOps.hs:584:38: warning: missing terminating ' character [-Winvalid-pp-token] -- don't escape context for letvars ^ src/full/Agda/Interaction/BasicOps.hs:589:12: warning: missing terminating ' character [-Winvalid-pp-token] t' <- reify =<< normalForm norm t ^ src/full/Agda/Interaction/BasicOps.hs:590:30: warning: missing terminating ' character [-Winvalid-pp-token] return $ OfType x t' ^ src/full/Agda/Interaction/BasicOps.hs:619:15: warning: missing terminating ' character [-Winvalid-pp-token] withMetaInfo' mv ret ^ src/full/Agda/Interaction/BasicOps.hs:641:57: warning: missing terminating ' character [-Winvalid-pp-token] , TP.text "tel' = " TP.<+> prettyTCM tel' ^ src/full/Agda/Interaction/BasicOps.hs:644:24: warning: missing terminating ' character [-Winvalid-pp-token] case (tel', tel) of ^ src/full/Agda/Interaction/BasicOps.hs:646:45: warning: missing terminating ' character [-Winvalid-pp-token] _ -> introFun (telToList tel' ++ telToList tel) ^ src/full/Agda/Interaction/BasicOps.hs:652:45: warning: missing terminating ' character [-Winvalid-pp-token] Datatype{} -> addCtxTel tel' $ introData t ^ src/full/Agda/Interaction/BasicOps.hs:654:45: warning: missing terminating ' character [-Winvalid-pp-token] | name -> addCtxTel tel' $ introData t ^ src/full/Agda/Interaction/BasicOps.hs:655:45: warning: missing terminating ' character [-Winvalid-pp-token] | otherwise -> addCtxTel tel' $ introRec d ^ src/full/Agda/Interaction/BasicOps.hs:666:33: warning: missing terminating ' character [-Winvalid-pp-token] introFun tel = addCtxTel tel' $ do ^ src/full/Agda/Interaction/BasicOps.hs:686:12: warning: missing terminating ' character [-Winvalid-pp-token] tel' = telFromList [ fmap makeName b | b <- tel ] ^ src/full/Agda/Interaction/BasicOps.hs:727:27: warning: missing terminating ' character [-Winvalid-pp-token] gamma :: ListTel' A.Name ^ src/full/Agda/Interaction/BasicOps.hs:728:26: warning: missing terminating ' character [-Winvalid-pp-token] gamma = zipWith' (\ x dom -> (x,) <$> dom) names types ^ 52 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Interaction/EmacsTop.hs:52:18: warning: missing terminating ' character [-Winvalid-pp-token] _ <- interact' `runStateT` initCommandState { optionsOnReload = opts } ^ src/full/Agda/Interaction/EmacsTop.hs:56:13: warning: missing terminating ' character [-Winvalid-pp-token] interact' :: CommandM () ^ src/full/Agda/Interaction/EmacsTop.hs:57:13: warning: missing terminating ' character [-Winvalid-pp-token] interact' = do ^ src/full/Agda/Interaction/EmacsTop.hs:69:21: warning: missing terminating ' character [-Winvalid-pp-token] interact' ^ src/full/Agda/Interaction/EmacsTop.hs:98:43: warning: missing terminating ' character [-Winvalid-pp-token] where f content bufname = [ display_info' False bufname content ] ^ src/full/Agda/Interaction/EmacsTop.hs:124:61: warning: missing terminating ' character [-Winvalid-pp-token] = return [ L [ A "agda2-give-action", showNumIId ii, A s' ] ] ^ src/full/Agda/Interaction/EmacsTop.hs:126:6: warning: missing terminating ' character [-Winvalid-pp-token] s' = case s of ^ src/full/Agda/Interaction/EmacsTop.hs:143:14: warning: missing terminating '"' character [-Winvalid-pp-token] -- | Adds a \"last\" tag to a response. ^ 8 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Interaction/InteractionTop.hs:230:12: warning: missing terminating ' character [-Winvalid-pp-token] (x, s') <- lift (runStateT m s `catchError_` \e -> runStateT (h e) sErr) ^ src/full/Agda/Interaction/InteractionTop.hs:231:12: warning: missing terminating ' character [-Winvalid-pp-token] put s' ^ src/full/Agda/Interaction/InteractionTop.hs:270:31: warning: missing terminating ' character [-Winvalid-pp-token] type Interaction = Interaction' Range ^ src/full/Agda/Interaction/InteractionTop.hs:272:17: warning: missing terminating ' character [-Winvalid-pp-token] data Interaction' range ^ src/full/Agda/Interaction/InteractionTop.hs:387:19: warning: missing terminating ' character [-Winvalid-pp-token] type IOTCM = IOTCM' Range ^ src/full/Agda/Interaction/InteractionTop.hs:388:11: warning: missing terminating ' character [-Winvalid-pp-token] data IOTCM' range ^ src/full/Agda/Interaction/InteractionTop.hs:392:50: warning: missing terminating ' character [-Winvalid-pp-token] -- 'theCurrentFile, and the 'Interaction' is not ^ src/full/Agda/Interaction/InteractionTop.hs:393:14: warning: missing terminating '"' character [-Winvalid-pp-token] -- \"independent\", then an error is raised. ^ src/full/Agda/Interaction/InteractionTop.hs:396:21: warning: missing terminating ' character [-Winvalid-pp-token] (Interaction' range) ^ src/full/Agda/Interaction/InteractionTop.hs:423:82: warning: missing terminating ' character [-Winvalid-pp-token] parseToReadsPrec p i s = case runIdentity . flip runStateT s . runErrorT $ parens' p of ^ src/full/Agda/Interaction/InteractionTop.hs:435:7: warning: missing terminating ' character [-Winvalid-pp-token] parens' :: Parse a -> Parse a ^ src/full/Agda/Interaction/InteractionTop.hs:436:7: warning: missing terminating ' character [-Winvalid-pp-token] parens' p = do ^ src/full/Agda/Interaction/InteractionTop.hs:448:31: warning: missing terminating ' character [-Winvalid-pp-token] instance Read a => Read (Range' a) where ^ src/full/Agda/Interaction/InteractionTop.hs:456:34: warning: missing terminating ' character [-Winvalid-pp-token] instance Read a => Read (Interval' a) where ^ src/full/Agda/Interaction/InteractionTop.hs:466:34: warning: missing terminating ' character [-Winvalid-pp-token] instance Read a => Read (Position' a) where ^ src/full/Agda/Interaction/InteractionTop.hs:487:11: warning: missing terminating ' character [-Winvalid-pp-token] cmd_load' m includes True $ \_ -> interpret Cmd_metas ^ src/full/Agda/Interaction/InteractionTop.hs:490:11: warning: missing terminating ' character [-Winvalid-pp-token] cmd_load' file includes False $ \(i, mw) -> do ^ src/full/Agda/Interaction/InteractionTop.hs:515:30: warning: missing terminating ' character [-Winvalid-pp-token] dh <- lift $ mapM showA' hms ^ src/full/Agda/Interaction/InteractionTop.hs:528:10: warning: missing terminating ' character [-Winvalid-pp-token] showA' :: B.OutputConstraint A.Expr NamedMeta -> TCM String ^ src/full/Agda/Interaction/InteractionTop.hs:529:10: warning: missing terminating ' character [-Winvalid-pp-token] showA' m = do ^ src/full/Agda/Interaction/InteractionTop.hs:559:24: warning: missing terminating ' character [-Winvalid-pp-token] setCommandLineOptions' $ ^ src/full/Agda/Interaction/InteractionTop.hs:566:24: warning: missing terminating ' character [-Winvalid-pp-token] setCommandLineOptions' $ ^ src/full/Agda/Interaction/InteractionTop.hs:573:26: warning: missing terminating ' character [-Winvalid-pp-token] setCommandLineOptions' =<< lift commandLineOptions ^ src/full/Agda/Interaction/InteractionTop.hs:718:52: warning: missing terminating ' character [-Winvalid-pp-token] -- and replacing the last " = " with " -> ". It's important not to replace ^ src/full/Agda/Interaction/InteractionTop.hs:748:15: warning: missing terminating ' character [-Winvalid-pp-token] -- | @cmd_load' m includes cmd cmd2@ loads the module in file @m@, ^ src/full/Agda/Interaction/InteractionTop.hs:755:9: warning: missing terminating ' character [-Winvalid-pp-token] cmd_load' :: FilePath -> [FilePath] ^ src/full/Agda/Interaction/InteractionTop.hs:759:9: warning: missing terminating ' character [-Winvalid-pp-token] cmd_load' file includes unsolvedOK cmd = do ^ src/full/Agda/Interaction/InteractionTop.hs:778:26: warning: missing terminating ' character [-Winvalid-pp-token] setCommandLineOptions' $ ^ src/full/Agda/Interaction/InteractionTop.hs:788:39: warning: missing terminating ' character [-Winvalid-pp-token] -- modules are reset when cmd_load' is run by ioTCM. ^ src/full/Agda/Interaction/InteractionTop.hs:803:6: warning: missing terminating ' character [-Winvalid-pp-token] t' <- liftIO $ getModificationTime file ^ src/full/Agda/Interaction/InteractionTop.hs:804:17: warning: missing terminating ' character [-Winvalid-pp-token] when (t == t') $ do ^ src/full/Agda/Interaction/InteractionTop.hs:855:8: warning: missing terminating ' character [-Winvalid-pp-token] mis' <- getInteractionPoints ^ src/full/Agda/Interaction/InteractionTop.hs:856:80: warning: missing terminating ' character [-Winvalid-pp-token] reportSLn "interaction.give" 30 $ "interaction points after = " ++ show mis' ^ src/full/Agda/Interaction/InteractionTop.hs:857:20: warning: missing terminating ' character [-Winvalid-pp-token] return (ae, mis' \\ mis) ^ src/full/Agda/Interaction/InteractionTop.hs:871:32: warning: missing terminating ' character [-Winvalid-pp-token] -- we still cannot just `give' the user string (which may be empty). ^ src/full/Agda/Interaction/InteractionTop.hs:875:51: warning: missing terminating ' character [-Winvalid-pp-token] -- Ulf, 2014-01-24: This works for give since we're highlighting the string ^ src/full/Agda/Interaction/InteractionTop.hs:876:10: warning: missing terminating ' character [-Winvalid-pp-token] -- that's already in the buffer. Doing it before the give action means that ^ src/full/Agda/Interaction/InteractionTop.hs:878:35: warning: missing terminating ' character [-Winvalid-pp-token] -- To make it work for refine we'd have to adjust the ranges. ^ src/full/Agda/Interaction/InteractionTop.hs:904:57: warning: missing terminating ' character [-Winvalid-pp-token] info = mkDefInfo (nameConcrete dummy) defaultFixity' PublicAccess ConcreteDef (getRange e) ^ src/full/Agda/Interaction/InteractionTop.hs:962:8: warning: missing terminating ' character [-Winvalid-pp-token] types' <- lift $ forM types $ \ (x, t) -> do ^ src/full/Agda/Interaction/InteractionTop.hs:969:27: warning: missing terminating ' character [-Winvalid-pp-token] nest 2 (align 10 types') ^ src/full/Agda/Interaction/InteractionTop.hs:1047:22: warning: missing terminating ' character [-Winvalid-pp-token] setCommandLineOptions' :: CommandLineOptions -> CommandM () ^ src/full/Agda/Interaction/InteractionTop.hs:1048:22: warning: missing terminating ' character [-Winvalid-pp-token] setCommandLineOptions' opts = do ^ src/full/Agda/Interaction/InteractionTop.hs:1066:8: warning: missing terminating ' character [-Winvalid-pp-token] t' <- liftIO $ getModificationTime $ filePath f ^ src/full/Agda/Interaction/InteractionTop.hs:1067:18: warning: missing terminating ' character [-Winvalid-pp-token] case t == t' of ^ src/full/Agda/Interaction/InteractionTop.hs:1085:46: warning: missing terminating ' character [-Winvalid-pp-token] -- | @display_info@ does what @'display_info'' False@ does, but ^ src/full/Agda/Interaction/InteractionTop.hs:1107:22: warning: missing terminating ' character [-Winvalid-pp-token] go (m:mods) = let s' = s ++ m in ^ src/full/Agda/Interaction/InteractionTop.hs:1108:66: warning: missing terminating ' character [-Winvalid-pp-token] if s' `elem` taken then go mods else (s':taken, s') ^ src/full/Agda/Interaction/InteractionTop.hs:1132:56: warning: missing terminating '"' character [-Winvalid-pp-token] -- | Parses and scope checks an expression (using the \"inside scope\" ^ 49 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/CallCompiler.hs:37:26: warning: missing terminating ' character [-Winvalid-pp-token] merrors <- callCompiler' cmd args ^ src/full/Agda/Compiler/CallCompiler.hs:44:13: warning: missing terminating ' character [-Winvalid-pp-token] callCompiler' ^ src/full/Agda/Compiler/CallCompiler.hs:50:13: warning: missing terminating ' character [-Winvalid-pp-token] callCompiler' cmd args = do ^ 3 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/AuxAST.hs:122:14: warning: missing terminating ' character [-Winvalid-pp-token] subst var var' expr = case expr of ^ src/full/Agda/Compiler/Epic/AuxAST.hs:123:38: warning: missing terminating ' character [-Winvalid-pp-token] Var v | var == v -> Var var' ^ src/full/Agda/Compiler/Epic/AuxAST.hs:127:51: warning: missing terminating ' character [-Winvalid-pp-token] | otherwise -> Lam v (subst var var' e) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:128:46: warning: missing terminating ' character [-Winvalid-pp-token] Con t q es -> Con t q (map (subst var var') es) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:130:59: warning: missing terminating ' character [-Winvalid-pp-token] | otherwise -> App v (map (subst var var') es) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:132:38: warning: missing terminating ' character [-Winvalid-pp-token] If a b c -> let s = subst var var' ^ src/full/Agda/Compiler/Epic/AuxAST.hs:134:57: warning: missing terminating ' character [-Winvalid-pp-token] Let v e e' | var == v -> Let v (subst var var' e) e' ^ src/full/Agda/Compiler/Epic/AuxAST.hs:135:73: warning: missing terminating ' character [-Winvalid-pp-token] | otherwise -> Let v (subst var var' e) (subst var var' e') ^ src/full/Agda/Compiler/Epic/AuxAST.hs:136:38: warning: missing terminating ' character [-Winvalid-pp-token] Lazy e -> Lazy (subst var var' e) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:148:19: warning: missing terminating ' character [-Winvalid-pp-token] fv = S.toList . fv' ^ src/full/Agda/Compiler/Epic/AuxAST.hs:150:7: warning: missing terminating ' character [-Winvalid-pp-token] fv' :: Expr -> Set Var ^ src/full/Agda/Compiler/Epic/AuxAST.hs:151:7: warning: missing terminating ' character [-Winvalid-pp-token] fv' expr = case expr of ^ src/full/Agda/Compiler/Epic/AuxAST.hs:154:33: warning: missing terminating ' character [-Winvalid-pp-token] Lam v e1 -> S.delete v (fv' e1) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:155:37: warning: missing terminating ' character [-Winvalid-pp-token] Con _ _ es -> S.unions (map fv' es) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:156:48: warning: missing terminating ' character [-Winvalid-pp-token] App v es -> S.insert v $ S.unions (map fv' es) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:157:23: warning: missing terminating ' character [-Winvalid-pp-token] Case e brs -> fv' e `S.union` S.unions (map fvBr brs) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:158:37: warning: missing terminating ' character [-Winvalid-pp-token] If a b c -> S.unions (map fv' [a,b,c]) ^ src/full/Agda/Compiler/Epic/AuxAST.hs:160:23: warning: missing terminating ' character [-Winvalid-pp-token] Lazy e -> fv' e ^ src/full/Agda/Compiler/Epic/AuxAST.hs:166:28: warning: missing terminating ' character [-Winvalid-pp-token] Branch _ _ vs e -> fv' e S.\\ S.fromList vs ^ src/full/Agda/Compiler/Epic/AuxAST.hs:167:28: warning: missing terminating ' character [-Winvalid-pp-token] BrInt _ e -> fv' e ^ src/full/Agda/Compiler/Epic/AuxAST.hs:168:28: warning: missing terminating ' character [-Winvalid-pp-token] Default e -> fv' e ^ 21 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/CaseOpts.hs:14:6: warning: missing terminating ' character [-Winvalid-pp-token] e' <- caseOptsExpr (funExpr def) ^ src/full/Agda/Compiler/Epic/CaseOpts.hs:15:29: warning: missing terminating ' character [-Winvalid-pp-token] return def { funExpr = e' } ^ src/full/Agda/Compiler/Epic/CaseOpts.hs:28:8: warning: missing terminating ' character [-Winvalid-pp-token] e' <- caseOptsExpr eorg ^ src/full/Agda/Compiler/Epic/CaseOpts.hs:30:82: warning: missing terminating ' character [-Winvalid-pp-token] return $ foldr (\(v, n) -> lett v $ App "proj" [Lit (LInt n), Var var]) e' ^ src/full/Agda/Compiler/Epic/CaseOpts.hs:34:64: warning: missing terminating ' character [-Winvalid-pp-token] Case e brs -> Case <$> caseOptsExpr e <*> (mapM (\br -> do e' <- caseOptsExpr (brExpr br) ^ src/full/Agda/Compiler/Epic/CaseOpts.hs:35:84: warning: missing terminating ' character [-Winvalid-pp-token] return br {brExpr = e'}) brs) ^ 6 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Compiler.hs:93:53: warning: missing terminating ' character [-Winvalid-pp-token] repldot c = map (\c' -> if c' == '.' then c else c') ^ src/full/Agda/Compiler/Epic/Compiler.hs:116:23: warning: missing terminating ' character [-Winvalid-pp-token] (eif, imps') <- case uptodate of ^ src/full/Agda/Compiler/Epic/Compiler.hs:140:81: warning: missing terminating ' character [-Winvalid-pp-token] modify $ \s -> s { compiledModules = (M.insert moduleName (eif, imps') (compiledModules s))} ^ src/full/Agda/Compiler/Epic/Compiler.hs:141:30: warning: missing terminating ' character [-Winvalid-pp-token] return (eif, imps') ^ src/full/Agda/Compiler/Epic/Compiler.hs:185:32: warning: missing terminating ' character [-Winvalid-pp-token] msharp <- lift $ getBuiltin' builtinSharp ^ src/full/Agda/Compiler/Epic/Compiler.hs:192:53: warning: missing terminating ' character [-Winvalid-pp-token] >>= idPrint "smash" Smash.smash'em ^ src/full/Agda/Compiler/Epic/Compiler.hs:198:72: warning: missing terminating ' character [-Winvalid-pp-token] -- | Change the current directory to Epic folder, create it if it doesn't already ^ src/full/Agda/Compiler/Epic/Compiler.hs:204:15: warning: missing terminating ' character [-Winvalid-pp-token] compileDir' <- lift $ gets (fromMaybe (filePath $ CN.projectRoot f tm) . ^ src/full/Agda/Compiler/Epic/Compiler.hs:206:55: warning: missing terminating ' character [-Winvalid-pp-token] compileDir <- liftIO $ canonicalizePath compileDir' ^ src/full/Agda/Compiler/Epic/Compiler.hs:218:16: warning: missing terminating ' character [-Winvalid-pp-token] let imports' = unlines ["include \"" ++ imp ++ "\"" ^ src/full/Agda/Compiler/Epic/Compiler.hs:222:41: warning: missing terminating ' character [-Winvalid-pp-token] liftIO $ writeFile (fp <.> "e") code' ^ src/full/Agda/Compiler/Epic/Compiler.hs:230:16: warning: missing terminating ' character [-Winvalid-pp-token] let imports' = (dataDir "AgdaPrelude") : imports ^ src/full/Agda/Compiler/Epic/Compiler.hs:232:40: warning: missing terminating ' character [-Winvalid-pp-token] | imp <- imports' ^ src/full/Agda/Compiler/Epic/Compiler.hs:238:13: warning: missing terminating ' character [-Winvalid-pp-token] callEpic' $ \epic -> ^ src/full/Agda/Compiler/Epic/Compiler.hs:242:41: warning: missing terminating ' character [-Winvalid-pp-token] ++ epic ++ map (<.> "o") imports' ^ src/full/Agda/Compiler/Epic/Compiler.hs:247:36: warning: missing terminating ' character [-Winvalid-pp-token] callEpic incEFlags flags = callEpic' $ \epicFlags -> ^ src/full/Agda/Compiler/Epic/Compiler.hs:252:9: warning: missing terminating ' character [-Winvalid-pp-token] callEpic' :: ([String] -> [String]) -> Compile TCM () ^ src/full/Agda/Compiler/Epic/Compiler.hs:253:9: warning: missing terminating ' character [-Winvalid-pp-token] callEpic' flags = do ^ 18 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/CompileState.hs:58:44: warning: missing terminating ' character [-Winvalid-pp-token] -- | Modify the state of the current module's Epic Interface ^ src/full/Agda/Compiler/Epic/CompileState.hs:62:41: warning: missing terminating ' character [-Winvalid-pp-token] -- | Get the state of the current module's Epic Interface ^ src/full/Agda/Compiler/Epic/CompileState.hs:99:41: warning: missing terminating ' character [-Winvalid-pp-token] assignConstrTag constr = assignConstrTag' constr [] ^ src/full/Agda/Compiler/Epic/CompileState.hs:101:16: warning: missing terminating ' character [-Winvalid-pp-token] assignConstrTag' :: QName -> [QName] -> Compile TCM Tag ^ src/full/Agda/Compiler/Epic/CompileState.hs:102:16: warning: missing terminating ' character [-Winvalid-pp-token] assignConstrTag' constr constrs = do ^ src/full/Agda/Compiler/Epic/CompileState.hs:104:47: warning: missing terminating ' character [-Winvalid-pp-token] tags <- catMaybes <$> mapM getConstrTag' constrs ^ src/full/Agda/Compiler/Epic/CompileState.hs:132:13: warning: missing terminating ' character [-Winvalid-pp-token] getConstrTag' :: QName -> Compile TCM (Maybe Tag) ^ src/full/Agda/Compiler/Epic/CompileState.hs:133:13: warning: missing terminating ' character [-Winvalid-pp-token] getConstrTag' con = do ^ src/full/Agda/Compiler/Epic/CompileState.hs:188:8: warning: missing terminating ' character [-Winvalid-pp-token] let f' | b = f ^ src/full/Agda/Compiler/Epic/CompileState.hs:190:48: warning: missing terminating ' character [-Winvalid-pp-token] modifyEI $ \s -> s {forcedArgs = M.insert n f' $ forcedArgs s} ^ 10 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Epic.hs:33:5: warning: missing terminating ' character [-Winvalid-pp-token] many' :: [String] -> String ^ src/full/Agda/Compiler/Epic/Epic.hs:34:5: warning: missing terminating ' character [-Winvalid-pp-token] many' [] = "" ^ src/full/Agda/Compiler/Epic/Epic.hs:35:5: warning: missing terminating ' character [-Winvalid-pp-token] many' vs = paren $ intercalate ", " vs ^ src/full/Agda/Compiler/Epic/Epic.hs:74:91: warning: missing terminating ' character [-Winvalid-pp-token] App "proj" (Lit (LInt n) : e : es) -> paren (prettyEpic e <+> "!" <+> show n) <+> many' (map prettyEpic es) ^ src/full/Agda/Compiler/Epic/Epic.hs:75:27: warning: missing terminating ' character [-Winvalid-pp-token] App v es -> v <+> many' (map (prettyEpic . id) es) ^ 5 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Erasure.hs:9:56: warning: missing terminating ' character [-Winvalid-pp-token] -- and we notice that some is not needed we create: f' xj .. xk = e [xi := unit] ^ src/full/Agda/Compiler/Epic/Erasure.hs:10:24: warning: missing terminating ' character [-Winvalid-pp-token] -- and f x1 .. xn = f' xj .. xk. ^ src/full/Agda/Compiler/Epic/Erasure.hs:11:28: warning: missing terminating ' character [-Winvalid-pp-token] -- i.e we erase them in f' and replace by unit, and the original f function ^ src/full/Agda/Compiler/Epic/Erasure.hs:12:21: warning: missing terminating ' character [-Winvalid-pp-token] -- calls the new f'. The idea is that f should be inlined and then peace on earth. ^ src/full/Agda/Compiler/Epic/Erasure.hs:76:61: warning: missing terminating ' character [-Winvalid-pp-token] -- If the function is already marked as to inline we don't need to create a ^ src/full/Agda/Compiler/Epic/Erasure.hs:79:10: warning: missing terminating ' character [-Winvalid-pp-token] f' <- (funName f ++) <$> newName ^ src/full/Agda/Compiler/Epic/Erasure.hs:80:17: warning: missing terminating ' character [-Winvalid-pp-token] let args' = pairwiseFilter (map isRel rs) (funArgs f) ^ src/full/Agda/Compiler/Epic/Erasure.hs:82:14: warning: missing terminating ' character [-Winvalid-pp-token] e' = foldr (\v e -> subst v "primUnit" e) (funExpr f) subs ^ src/full/Agda/Compiler/Epic/Erasure.hs:91:38: warning: missing terminating ' character [-Winvalid-pp-token] , funName = f' ^ src/full/Agda/Compiler/Epic/Erasure.hs:94:41: warning: missing terminating ' character [-Winvalid-pp-token] , funArgs = args' ^ src/full/Agda/Compiler/Epic/Erasure.hs:95:38: warning: missing terminating ' character [-Winvalid-pp-token] , funExpr = e' ^ src/full/Agda/Compiler/Epic/Erasure.hs:118:25: warning: missing terminating ' character [-Winvalid-pp-token] -- | Initiate a function's relevancies ^ 12 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/ForceConstrs.hs:42:58: warning: missing terminating ' character [-Winvalid-pp-token] -- | Remove all arguments to constructors that we don't need to store in an ^ src/full/Agda/Compiler/Epic/ForceConstrs.hs:61:43: warning: missing terminating ' character [-Winvalid-pp-token] -- | Remove all the arguments that don't need to be stored in the constructor ^ src/full/Agda/Compiler/Epic/ForceConstrs.hs:70:14: warning: empty character constant [-Winvalid-pp-token] e'' <- if all (`notElem` fv e) subs ^ src/full/Agda/Compiler/Epic/ForceConstrs.hs:73:47: warning: empty character constant [-Winvalid-pp-token] Branch tag name vs <$> forceExpr e'' ^ 4 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Forcing.hs:60:9: warning: missing terminating ' character [-Winvalid-pp-token] piApplyM' :: Type -> Args -> TCM Type ^ src/full/Agda/Compiler/Epic/Forcing.hs:61:9: warning: missing terminating ' character [-Winvalid-pp-token] piApplyM' t as = do ^ src/full/Agda/Compiler/Epic/Forcing.hs:74:5: warning: missing terminating ' character [-Winvalid-pp-token] xs' := xs `apply` (take n as) ^ src/full/Agda/Compiler/Epic/Forcing.hs:77:15: warning: missing terminating ' character [-Winvalid-pp-token] ( Gamma ; xs' ; Delta[i := t] --note that Delta still reference Gamma correctly ^ src/full/Agda/Compiler/Epic/Forcing.hs:78:20: warning: missing terminating ' character [-Winvalid-pp-token] , T as ^ (size xs') ^ src/full/Agda/Compiler/Epic/Forcing.hs:81:41: warning: missing terminating ' character [-Winvalid-pp-token] we raise the type since we have added xs' new bindings before Gamma, and as can ^ src/full/Agda/Compiler/Epic/Forcing.hs:96:6: warning: missing terminating ' character [-Winvalid-pp-token] t' <- lift $ normalise t ^ src/full/Agda/Compiler/Epic/Forcing.hs:98:36: warning: missing terminating ' character [-Winvalid-pp-token] [ text "t' :" <+> prettyTCM t' ^ src/full/Agda/Compiler/Epic/Forcing.hs:102:41: warning: missing terminating ' character [-Winvalid-pp-token] (st, arg) <- case I.unEl . unDom $ t' of ^ src/full/Agda/Compiler/Epic/Forcing.hs:115:66: warning: missing terminating ' character [-Winvalid-pp-token] TelV ctele ctyp <- lift $ telView =<< maybe (return $ unDom t') ^ src/full/Agda/Compiler/Epic/Forcing.hs:116:39: warning: missing terminating ' character [-Winvalid-pp-token] (`piApplyM'` genericTake pars arg) ins ^ src/full/Agda/Compiler/Epic/Forcing.hs:117:41: warning: missing terminating ' character [-Winvalid-pp-token] -- (`piApplyM'` take (fromIntegral pars) arg) ins ^ src/full/Agda/Compiler/Epic/Forcing.hs:137:8: warning: missing terminating ' character [-Winvalid-pp-token] (xs', typ) <- insertTele er (n - 1) ins term (unAbs xs) ^ src/full/Agda/Compiler/Epic/Forcing.hs:138:46: warning: missing terminating ' character [-Winvalid-pp-token] return (ExtendTel x $ Abs (absName xs) xs' , typ) ^ src/full/Agda/Compiler/Epic/Forcing.hs:189:20: warning: empty character constant [-Winvalid-pp-token] (tele'', _) <- insertTele __IMPOSSIBLE__ n Nothing (I.Lit (LitChar noRange (chr i))) tele ^ src/full/Agda/Compiler/Epic/Forcing.hs:190:64: warning: empty character constant [-Winvalid-pp-token] BrInt i <$> forcedExpr (replaceAt n vars []) tele'' e ^ src/full/Agda/Compiler/Epic/Forcing.hs:196:22: warning: empty character constant [-Winvalid-pp-token] (tele'', (_, ntyp, ctyp)) <- insertTele __IMPOSSIBLE__ n (Just typ) ^ src/full/Agda/Compiler/Epic/Forcing.hs:202:84: warning: empty character constant [-Winvalid-pp-token] then Branch t constr as <$> forcedExpr (replaceAt n vars as) tele'' e ^ src/full/Agda/Compiler/Epic/Forcing.hs:215:66: warning: empty character constant [-Winvalid-pp-token] unifyI (takeTele (n + length as) tele'') ^ src/full/Agda/Compiler/Epic/Forcing.hs:228:35: warning: missing terminating ' character [-Winvalid-pp-token] (tb' , ss) = subT (n - 1) (unAbs t) ^ src/full/Agda/Compiler/Epic/Forcing.hs:229:65: warning: missing terminating ' character [-Winvalid-pp-token] in (ExtendTel a $ Abs (absName t) tb', lower ss) ^ src/full/Agda/Compiler/Epic/Forcing.hs:231:30: warning: empty character constant [-Winvalid-pp-token] (tele'''', _) = subT (n + length as) tele'' ^ src/full/Agda/Compiler/Epic/Forcing.hs:231:32: warning: empty character constant [-Winvalid-pp-token] (tele'''', _) = subT (n + length as) tele'' ^ src/full/Agda/Compiler/Epic/Forcing.hs:231:66: warning: empty character constant [-Winvalid-pp-token] (tele'''', _) = subT (n + length as) tele'' ^ src/full/Agda/Compiler/Epic/Forcing.hs:234:56: warning: empty character constant [-Winvalid-pp-token] , text "tele=" <+> prettyTCM tele'' ^ src/full/Agda/Compiler/Epic/Forcing.hs:235:57: warning: empty character constant [-Winvalid-pp-token] , text "tele'=" <+> prettyTCM tele'''' ^ src/full/Agda/Compiler/Epic/Forcing.hs:235:59: warning: empty character constant [-Winvalid-pp-token] , text "tele'=" <+> prettyTCM tele'''' ^ src/full/Agda/Compiler/Epic/Forcing.hs:243:44: warning: empty character constant [-Winvalid-pp-token] (tele'''') (forced forc as) unif e ^ src/full/Agda/Compiler/Epic/Forcing.hs:243:46: warning: empty character constant [-Winvalid-pp-token] (tele'''') (forced forc as) unif e ^ 29 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/FromAgda.hs:3:23: warning: missing terminating ' character [-Winvalid-pp-token] -- | Convert from Agda's internal representation to our auxiliary AST. ^ src/full/Agda/Compiler/Epic/FromAgda.hs:34:23: warning: missing terminating ' character [-Winvalid-pp-token] -- | Convert from Agda's internal representation to our auxiliary AST. ^ src/full/Agda/Compiler/Epic/FromAgda.hs:41:8: warning: missing terminating ' character [-Winvalid-pp-token] let n' = unqname n ^ src/full/Agda/Compiler/Epic/FromAgda.hs:46:37: warning: missing terminating ' character [-Winvalid-pp-token] return . return $ Fun True n' (Just n) ("datatype: " ++ show n) vars UNIT ^ src/full/Agda/Compiler/Epic/FromAgda.hs:72:69: warning: missing terminating ' character [-Winvalid-pp-token] Just (T.Def sharp []) | sharp == n -> return <$> mkFun n n' "primSharp" 3 ^ src/full/Agda/Compiler/Epic/FromAgda.hs:76:37: warning: missing terminating ' character [-Winvalid-pp-token] return . return $ Fun True n' (Just n) ("record: " ++ show n) vars UNIT ^ src/full/Agda/Compiler/Epic/FromAgda.hs:79:51: warning: missing terminating ' character [-Winvalid-pp-token] Nothing -> return . return $ EpicFun n' (Just n) ("AXIOM_UNDEFINED: " ++ show n) ^ src/full/Agda/Compiler/Epic/FromAgda.hs:81:51: warning: missing terminating ' character [-Winvalid-pp-token] Just x -> return . return $ EpicFun n' (Just n) ("COMPILED_EPIC: " ++ show n) x ^ src/full/Agda/Compiler/Epic/FromAgda.hs:85:27: warning: missing terminating ' character [-Winvalid-pp-token] return <$> mkFun n n' (primName p) ar ^ src/full/Agda/Compiler/Epic/FromAgda.hs:142:25: warning: missing terminating ' character [-Winvalid-pp-token] -- | Translate from Agda's desugared pattern matching (CompiledClauses) to our AuxAST. ^ src/full/Agda/Compiler/Epic/FromAgda.hs:176:10: warning: missing terminating ' character [-Winvalid-pp-token] let n' = unqname name ^ src/full/Agda/Compiler/Epic/FromAgda.hs:178:27: warning: missing terminating ' character [-Winvalid-pp-token] e <- compileClauses' vars Nothing c ^ src/full/Agda/Compiler/Epic/FromAgda.hs:179:25: warning: missing terminating ' character [-Winvalid-pp-token] return $ Fun False n' (Just name) ("function: " ++ show name) vars e ^ src/full/Agda/Compiler/Epic/FromAgda.hs:181:19: warning: missing terminating ' character [-Winvalid-pp-token] compileClauses' :: [Var] -> Maybe Var -> CC.CompiledClauses -> Compile TCM Expr ^ src/full/Agda/Compiler/Epic/FromAgda.hs:182:19: warning: missing terminating ' character [-Winvalid-pp-token] compileClauses' env omniDefault cc = case cc of ^ src/full/Agda/Compiler/Epic/FromAgda.hs:189:38: warning: missing terminating ' character [-Winvalid-pp-token] def <- compileClauses' env omniDefault de ^ src/full/Agda/Compiler/Epic/FromAgda.hs:204:67: warning: missing terminating ' character [-Winvalid-pp-token] TL.LitChar _ cha -> return $ BrInt (ord cha) cc' ^ src/full/Agda/Compiler/Epic/FromAgda.hs:213:45: warning: missing terminating ' character [-Winvalid-pp-token] return $ Branch tag b vars cc' ^ 18 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Injection.hs:50:9: warning: missing terminating ' character [-Winvalid-pp-token] defs' <- forM defs $ \(q, def) -> case q `isIn` injFuns of ^ src/full/Agda/Compiler/Epic/Injection.hs:61:16: warning: missing terminating ' character [-Winvalid-pp-token] return defs' ^ src/full/Agda/Compiler/Epic/Injection.hs:85:42: warning: missing terminating ' character [-Winvalid-pp-token] -> [Clause] -- ^ The function's clauses ^ src/full/Agda/Compiler/Epic/Injection.hs:95:16: warning: missing terminating ' character [-Winvalid-pp-token] let cli' = catMaybes cli ^ src/full/Agda/Compiler/Epic/Injection.hs:96:45: warning: missing terminating ' character [-Winvalid-pp-token] return $ if length cli == length cli' ^ src/full/Agda/Compiler/Epic/Injection.hs:97:64: warning: missing terminating ' character [-Winvalid-pp-token] then Just ((nam, InjectiveFun i total), concat cli') ^ src/full/Agda/Compiler/Epic/Injection.hs:127:34: warning: missing terminating ' character [-Winvalid-pp-token] calcDots = concatMap calcDots' . map namedArg ^ src/full/Agda/Compiler/Epic/Injection.hs:128:13: warning: missing terminating ' character [-Winvalid-pp-token] calcDots' p = case p of ^ src/full/Agda/Compiler/Epic/Injection.hs:151:10: warning: missing terminating ' character [-Winvalid-pp-token] t' = applySubst (substForDot $ namedClausePats clause) t ^ src/full/Agda/Compiler/Epic/Injection.hs:153:9: warning: missing terminating ' character [-Winvalid-pp-token] body' <- lift $ reduce body ^ src/full/Agda/Compiler/Epic/Injection.hs:166:55: warning: missing terminating ' character [-Winvalid-pp-token] , text "body' :" <+> (text . show) body' ^ src/full/Agda/Compiler/Epic/Injection.hs:224:39: warning: missing terminating ' character [-Winvalid-pp-token] tag <- assignConstrTag' c (S.toList grp) ^ src/full/Agda/Compiler/Epic/Injection.hs:245:7: warning: missing terminating ' character [-Winvalid-pp-token] cs' <- unionConstraints cs ^ src/full/Agda/Compiler/Epic/Injection.hs:246:20: warning: missing terminating ' character [-Winvalid-pp-token] return (c ++ cs') ^ src/full/Agda/Compiler/Epic/Injection.hs:264:42: warning: missing terminating ' character [-Winvalid-pp-token] instance Injectible a => Injectible (Elim' a) where ^ src/full/Agda/Compiler/Epic/Injection.hs:284:10: warning: missing terminating ' character [-Winvalid-pp-token] l' <- lift . lift $ litToCon l ^ src/full/Agda/Compiler/Epic/Injection.hs:285:10: warning: missing terminating ' character [-Winvalid-pp-token] l' <: t2 ^ src/full/Agda/Compiler/Epic/Injection.hs:287:10: warning: missing terminating ' character [-Winvalid-pp-token] l' <- lift . lift $ litToCon l ^ src/full/Agda/Compiler/Epic/Injection.hs:288:16: warning: missing terminating ' character [-Winvalid-pp-token] t1 <: l' ^ src/full/Agda/Compiler/Epic/Injection.hs:302:14: warning: missing terminating ' character [-Winvalid-pp-token] args1' <- flip notForced args1 <$> do lift . getForcedArgs $ c1 ^ src/full/Agda/Compiler/Epic/Injection.hs:303:14: warning: missing terminating ' character [-Winvalid-pp-token] args2' <- flip notForced args2 <$> do lift . getForcedArgs $ c2 ^ src/full/Agda/Compiler/Epic/Injection.hs:315:14: warning: missing terminating ' character [-Winvalid-pp-token] args1' <- map unArg <$> mapM (lift . lift . reduce) args1 ^ src/full/Agda/Compiler/Epic/Injection.hs:316:14: warning: missing terminating ' character [-Winvalid-pp-token] args2' <- map unArg <$> mapM (lift . lift . reduce) args2 ^ src/full/Agda/Compiler/Epic/Injection.hs:319:14: warning: missing terminating ' character [-Winvalid-pp-token] args1' <- map unArg <$> mapM (lift . lift . reduce) args1 ^ src/full/Agda/Compiler/Epic/Injection.hs:320:14: warning: missing terminating ' character [-Winvalid-pp-token] args2' <- map unArg <$> mapM (lift . lift . reduce) args2 ^ src/full/Agda/Compiler/Epic/Injection.hs:325:14: warning: missing terminating ' character [-Winvalid-pp-token] args1' <- map unArg <$> flip notForced args1 <$> getForcedArgs c1 ^ src/full/Agda/Compiler/Epic/Injection.hs:326:14: warning: missing terminating ' character [-Winvalid-pp-token] args2' <- map unArg <$> (mapM (lift . lift . reduce) =<< flip notForced args2 <$> getForcedArgs c2) ^ 27 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/NatDetection.hs:58:49: warning: missing terminating ' character [-Winvalid-pp-token] return (fs, [cz, cs]) -- It's natish! ^ 1 warning generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Primitive.hs:72:44: warning: missing terminating ' character [-Winvalid-pp-token] builtins <- lift $ mapM getBuiltin' constrs ^ src/full/Agda/Compiler/Epic/Primitive.hs:92:44: warning: missing terminating ' character [-Winvalid-pp-token] builtins <- lift $ mapM getBuiltin' constrs ^ src/full/Agda/Compiler/Epic/Primitive.hs:104:5: warning: empty character constant [-Winvalid-pp-token] head'' (x:xs) e = x ^ src/full/Agda/Compiler/Epic/Primitive.hs:105:5: warning: empty character constant [-Winvalid-pp-token] head'' _ e = e ^ src/full/Agda/Compiler/Epic/Primitive.hs:113:46: warning: missing terminating ' character [-Winvalid-pp-token] (Branch _ n vs e:Branch _ _n' vs'' e'':_) -> ^ src/full/Agda/Compiler/Epic/Primitive.hs:115:46: warning: empty character constant [-Winvalid-pp-token] then primNatCaseZS ce e (head'' vs'' __IMPOSSIBLE__) e'' ^ src/full/Agda/Compiler/Epic/Primitive.hs:115:51: warning: empty character constant [-Winvalid-pp-token] then primNatCaseZS ce e (head'' vs'' __IMPOSSIBLE__) e'' ^ src/full/Agda/Compiler/Epic/Primitive.hs:115:71: warning: empty character constant [-Winvalid-pp-token] then primNatCaseZS ce e (head'' vs'' __IMPOSSIBLE__) e'' ^ src/full/Agda/Compiler/Epic/Primitive.hs:116:39: warning: empty character constant [-Winvalid-pp-token] else primNatCaseZS ce e'' (head'' vs __IMPOSSIBLE__) e ^ src/full/Agda/Compiler/Epic/Primitive.hs:116:47: warning: empty character constant [-Winvalid-pp-token] else primNatCaseZS ce e'' (head'' vs __IMPOSSIBLE__) e ^ src/full/Agda/Compiler/Epic/Primitive.hs:117:35: warning: empty character constant [-Winvalid-pp-token] (Branch _ n vs e:Default e'':_) -> ^ src/full/Agda/Compiler/Epic/Primitive.hs:119:41: warning: empty character constant [-Winvalid-pp-token] then primNatCaseZD ce e e'' -- zero ^ src/full/Agda/Compiler/Epic/Primitive.hs:120:39: warning: empty character constant [-Winvalid-pp-token] else primNatCaseZS ce e'' (head'' vs __IMPOSSIBLE__) e -- suc ^ src/full/Agda/Compiler/Epic/Primitive.hs:120:47: warning: empty character constant [-Winvalid-pp-token] else primNatCaseZS ce e'' (head'' vs __IMPOSSIBLE__) e -- suc ^ src/full/Agda/Compiler/Epic/Primitive.hs:124:30: warning: empty character constant [-Winvalid-pp-token] else lett (head'' vs __IMPOSSIBLE__) (App prPred [ce]) e ^ src/full/Agda/Compiler/Epic/Primitive.hs:151:28: warning: missing terminating ' character [-Winvalid-pp-token] (Branch _ n _vs e:b':_) -> ^ src/full/Agda/Compiler/Epic/Primitive.hs:153:52: warning: missing terminating ' character [-Winvalid-pp-token] then If ce e (brExpr b') ^ src/full/Agda/Compiler/Epic/Primitive.hs:154:50: warning: missing terminating ' character [-Winvalid-pp-token] else If ce (brExpr b') e) ^ src/full/Agda/Compiler/Epic/Primitive.hs:211:10: warning: missing terminating ' character [-Winvalid-pp-token] e' <- primExpr prim (brExpr br) ^ src/full/Agda/Compiler/Epic/Primitive.hs:212:30: warning: missing terminating ' character [-Winvalid-pp-token] return br {brExpr = e'} ^ 20 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Smashing.hs:41:6: warning: missing terminating ' character [-Winvalid-pp-token] smash'em :: [Fun] -> Compile TCM [Fun] ^ src/full/Agda/Compiler/Epic/Smashing.hs:42:6: warning: missing terminating ' character [-Winvalid-pp-token] smash'em funs = do ^ src/full/Agda/Compiler/Epic/Smashing.hs:44:9: warning: missing terminating ' character [-Winvalid-pp-token] funs' <- forM funs $ \f -> case f of ^ src/full/Agda/Compiler/Epic/Smashing.hs:66:16: warning: missing terminating ' character [-Winvalid-pp-token] return funs' ^ src/full/Agda/Compiler/Epic/Smashing.hs:87:30: warning: missing terminating ' character [-Winvalid-pp-token] inferableTerm visited' term ^ src/full/Agda/Compiler/Epic/Smashing.hs:103:106: warning: missing terminating ' character [-Winvalid-pp-token] (AA.Con tag c <$>) <$> sequence <$> forM (notForced forc $ flattenTel tel) (inferableTerm visited' . unEl . unDom) ^ src/full/Agda/Compiler/Epic/Smashing.hs:104:12: warning: missing terminating ' character [-Winvalid-pp-token] visited' = S.insert dat visited ^ src/full/Agda/Compiler/Epic/Smashing.hs:123:12: warning: missing terminating ' character [-Winvalid-pp-token] retType' <- return retType -- lift $ reduce retType ^ src/full/Agda/Compiler/Epic/Smashing.hs:125:47: warning: missing terminating ' character [-Winvalid-pp-token] inf <- inferableTerm S.empty (unEl retType') ^ src/full/Agda/Compiler/Epic/Smashing.hs:129:44: warning: missing terminating ' character [-Winvalid-pp-token] , text "type: " <+> prettyTCM retType' ^ 10 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/Epic/Static.hs:78:38: warning: missing terminating ' character [-Winvalid-pp-token] instance Evaluate a => Evaluate (Elim' a) where ^ src/full/Agda/Compiler/Epic/Static.hs:86:9: warning: missing terminating ' character [-Winvalid-pp-token] ab' <- evaluateTerm (unAbs ab) ^ src/full/Agda/Compiler/Epic/Static.hs:87:43: warning: missing terminating ' character [-Winvalid-pp-token] return $ Lam h $ Abs (absName ab) ab' ^ 3 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/JS/Case.hs:20:20: warning: missing terminating ' character [-Winvalid-pp-token] -- ECMAScript doesn't support pattern-mathching case, so ^ src/full/Agda/Compiler/JS/Case.hs:47:47: warning: missing terminating ' character [-Winvalid-pp-token] -- other constructors of the datatype (e.g. we'd represent ^ src/full/Agda/Compiler/JS/Case.hs:60:28: warning: missing terminating ' character [-Winvalid-pp-token] numVars = sum . map numVars' ^ src/full/Agda/Compiler/JS/Case.hs:62:8: warning: missing terminating ' character [-Winvalid-pp-token] numVars' :: Patt -> Nat ^ src/full/Agda/Compiler/JS/Case.hs:63:8: warning: missing terminating ' character [-Winvalid-pp-token] numVars' (VarPatt) = 1 ^ src/full/Agda/Compiler/JS/Case.hs:64:8: warning: missing terminating ' character [-Winvalid-pp-token] numVars' (Tagged l ps) = 1 + numVars ps ^ src/full/Agda/Compiler/JS/Case.hs:71:23: warning: missing terminating ' character [-Winvalid-pp-token] lambda (c:cs) = lambda' 0 0 (genericLength (pats c)) (c:cs) ^ src/full/Agda/Compiler/JS/Case.hs:73:13: warning: missing terminating ' character [-Winvalid-pp-token] -- In lambda' l m n cs, ^ src/full/Agda/Compiler/JS/Case.hs:79:10: warning: missing terminating ' character [-Winvalid-pp-token] -- lambda' l m n cs can have l variables free. ^ src/full/Agda/Compiler/JS/Case.hs:81:7: warning: missing terminating ' character [-Winvalid-pp-token] lambda' :: Nat -> Nat -> Nat -> [Case] -> Exp ^ src/full/Agda/Compiler/JS/Case.hs:82:7: warning: missing terminating ' character [-Winvalid-pp-token] lambda' l m n [] = Undefined ^ src/full/Agda/Compiler/JS/Case.hs:83:7: warning: missing terminating ' character [-Winvalid-pp-token] lambda' l 0 0 (c : cs) = body c ^ src/full/Agda/Compiler/JS/Case.hs:85:7: warning: missing terminating ' character [-Winvalid-pp-token] lambda' l m n cs = ^ src/full/Agda/Compiler/JS/Case.hs:87:19: warning: missing terminating ' character [-Winvalid-pp-token] True -> lambda' l (m-1) n (map pop cs) ^ src/full/Agda/Compiler/JS/Case.hs:101:38: warning: missing terminating ' character [-Winvalid-pp-token] match l m n cs t x = Lambda x (lambda' (l + x) (m + x) n (concat (map (refine t x) cs))) ^ 15 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/JS/Compiler.hs:53:37: warning: missing terminating ' character [-Winvalid-pp-token] import Agda.Utils.Function ( iterate' ) ^ src/full/Agda/Compiler/JS/Compiler.hs:124:14: warning: missing terminating ' character [-Winvalid-pp-token] -- and they're all given the concrete name "_", ^ src/full/Agda/Compiler/JS/Compiler.hs:136:7: warning: missing terminating ' character [-Winvalid-pp-token] global' :: QName -> TCM (Exp,[MemberId]) ^ src/full/Agda/Compiler/JS/Compiler.hs:137:7: warning: missing terminating ' character [-Winvalid-pp-token] global' q = do ^ src/full/Agda/Compiler/JS/Compiler.hs:159:27: warning: missing terminating ' character [-Winvalid-pp-token] (m,ls) <- global' p ^ src/full/Agda/Compiler/JS/Compiler.hs:161:20: warning: missing terminating ' character [-Winvalid-pp-token] _ -> global' (defName d) ^ src/full/Agda/Compiler/JS/Compiler.hs:162:16: warning: missing terminating ' character [-Winvalid-pp-token] _ -> global' (defName d) ^ src/full/Agda/Compiler/JS/Compiler.hs:168:72: warning: missing terminating ' character [-Winvalid-pp-token] -- module, so we put those last, ordered in dependency order. There can't be ^ src/full/Agda/Compiler/JS/Compiler.hs:170:24: warning: missing terminating ' character [-Winvalid-pp-token] -- disabled and someone's written a non-sensical program), so reordering will ^ src/full/Agda/Compiler/JS/Compiler.hs:174:38: warning: missing terminating ' character [-Winvalid-pp-token] reorder es = datas ++ funs ++ reorder' (Set.fromList $ map expName $ datas ++ funs) vals ^ src/full/Agda/Compiler/JS/Compiler.hs:179:8: warning: missing terminating ' character [-Winvalid-pp-token] reorder' :: Set [MemberId] -> [Export] -> [Export] ^ src/full/Agda/Compiler/JS/Compiler.hs:180:8: warning: missing terminating ' character [-Winvalid-pp-token] reorder' defs [] = [] ^ src/full/Agda/Compiler/JS/Compiler.hs:181:8: warning: missing terminating ' character [-Winvalid-pp-token] reorder' defs (e : es) = ^ src/full/Agda/Compiler/JS/Compiler.hs:184:25: warning: missing terminating ' character [-Winvalid-pp-token] True -> e : (reorder' (insert (expName e) defs) es) ^ src/full/Agda/Compiler/JS/Compiler.hs:185:21: warning: missing terminating ' character [-Winvalid-pp-token] False -> reorder' defs (insertAfter us e es) ^ src/full/Agda/Compiler/JS/Compiler.hs:313:24: warning: missing terminating ' character [-Winvalid-pp-token] mapping = foldr mapping' (0,0,[]) ^ src/full/Agda/Compiler/JS/Compiler.hs:315:8: warning: missing terminating ' character [-Winvalid-pp-token] mapping' :: Pattern -> (Nat,Nat,[Exp]) -> (Nat,Nat,[Exp]) ^ src/full/Agda/Compiler/JS/Compiler.hs:316:8: warning: missing terminating ' character [-Winvalid-pp-token] mapping' (ProjP _) (av,bv,es) = ^ src/full/Agda/Compiler/JS/Compiler.hs:318:8: warning: missing terminating ' character [-Winvalid-pp-token] mapping' (VarP _) (av,bv,es) = (av+1, bv+1, Local (LocalId bv) : es) ^ src/full/Agda/Compiler/JS/Compiler.hs:319:8: warning: missing terminating ' character [-Winvalid-pp-token] mapping' (DotP _) (av,bv,es) = (av+1, bv+1, Local (LocalId bv) : es) ^ src/full/Agda/Compiler/JS/Compiler.hs:322:8: warning: missing terminating ' character [-Winvalid-pp-token] mapping' (LitP _) (av,bv,es) = (av, bv+1, es) ^ src/full/Agda/Compiler/JS/Compiler.hs:474:24: warning: missing terminating ' character [-Winvalid-pp-token] dummyLambda n = iterate' n (Lambda 0) ^ 22 warnings generated. clang: warning: -Wl,--hash-size=31: 'linker' input unused clang: warning: -Wl,--reduce-memory-overheads: 'linker' input unused src/full/Agda/Compiler/JS/Syntax.hs:2:4: error: invalid preprocessing directive #-} ^ src/full/Agda/Compiler/JS/Syntax.hs:72:29: warning: missing terminating ' character [-Winvalid-pp-token] uses (Lookup e l) = uses' e [l] where ^ src/full/Agda/Compiler/JS/Syntax.hs:73:11: warning: missing terminating ' character [-Winvalid-pp-token] uses' Self ls = singleton ls ^ src/full/Agda/Compiler/JS/Syntax.hs:75:11: warning: missing terminating ' character [-Winvalid-pp-token] uses' e ls = uses e ^ 3 warnings and 1 error generated. make: *** [build-ghc-stamp] Error 1 /usr/share/cdbs/1/class/hlibrary.mk:120: recipe for target 'build-ghc-stamp' failed dpkg-buildpackage: error: debian/rules build-arch gave error exit status 2 ──────────────────────────────────────────────────────────────────────────────── Build finished at 20140904-1633 Finished ──────── E: Build failure (dpkg-buildpackage died) ┌──────────────────────────────────────────────────────────────────────────────┐ │ Cleanup │ └──────────────────────────────────────────────────────────────────────────────┘ Purging /«BUILDDIR» Not cleaning session: cloned chroot in use ┌──────────────────────────────────────────────────────────────────────────────┐ │ Summary │ └──────────────────────────────────────────────────────────────────────────────┘ Build Architecture: amd64 Build-Space: 13496 Build-Time: 13 Distribution: unstable Fail-Stage: build Host Architecture: amd64 Install-Time: 37 Job: agda_2.4.0.2-2 Machine Architecture: amd64 Package: agda Package-Time: 83 Source-Version: 2.4.0.2-2 Space: 13496 Status: attempted Version: 2.4.0.2-2clang1 ──────────────────────────────────────────────────────────────────────────────── Finished at 20140904-1633 Build needed 00:01:23, 13496k disc space DC-Status: Failed 84.941605232s DC-Time-Estimation: 84.941605232 versus expected 1128 (r/m: 12.279711360753154 ; m: 84.941605232)