starting phase `set-SOURCE-DATE-EPOCH'
phase `set-SOURCE-DATE-EPOCH' succeeded after 0.0 seconds
starting phase `set-paths'
environment variable `PATH' set to `/gnu/store/bsq8ylip104bx1632954igv0y50qxqxg-ghc-8.10.7/bin:/gnu/store/0lrf95gzj9w5kpmhsi7pv8ab41zfp7py-ghc-alex-3.2.6/bin:/gnu/store/zlcmglb8qb24x01647knjy8l98zx7qsi-ghc-happy-1.20.0/bin:/gnu/store/99c25918hl9pihix8hparmc96q6zrpwy-tar-1.34/bin:/gnu/store/l0yga4lrwwf74rz7fb0dadglg27ajpsx-gzip-1.10/bin:/gnu/store/ihakfb51zdgjz3v9nkj0ja9zk9ng8xzl-bzip2-1.0.8/bin:/gnu/store/fk24dx8qz1b5smnc4ljfw25xn7yjps0q-xz-5.2.5/bin:/gnu/store/vl1b3nq6gijpzbl03zq92m5dwgs17nik-file-5.39/bin:/gnu/store/h0rx6y95zin61fp5wlyjly4g9j2hma18-diffutils-3.8/bin:/gnu/store/7j8j7m0kgb7kv2fc18qvrdj7gs3jc4mx-patch-2.7.6/bin:/gnu/store/x4yglk9pn2s2ixl1b4lj151bd2yvlgww-findutils-4.8.0/bin:/gnu/store/vzq0il5z2d6ksllb525m9xaqzv829g3k-gawk-5.1.0/bin:/gnu/store/cnwr7widbi6470kfyb13krx46kz5anmy-sed-4.8/bin:/gnu/store/bx47clwnxn51m7jdwfimz4lw2fh8g21v-grep-3.6/bin:/gnu/store/9a0cjh929maqvkxn3inv6jqbxn72fkx0-coreutils-8.32/bin:/gnu/store/dhx00nrv9r52f6xivg0xa4iihpl9awyk-make-4.3/bin:/gnu/store/7s2zlc4r9wqvlh9x2gqmzm4lnmbsdzmn-bash-minimal-5.1.8/bin:/gnu/store/4bzvr16pyax9224v9r72rqxswj9931sb-ld-wrapper-0/bin:/gnu/store/v4a7zw8w52v64kw5781ypa8gjwd098jz-binutils-2.37/bin:/gnu/store/v5xfd4vy1lvqikdl1rzs8aklgsnqwd26-gcc-10.3.0/bin:/gnu/store/0iapawfss4xnxls622g23qpk4mwb9ihp-glibc-2.33/bin:/gnu/store/0iapawfss4xnxls622g23qpk4mwb9ihp-glibc-2.33/sbin'
find-files: /gnu/store/0lrf95gzj9w5kpmhsi7pv8ab41zfp7py-ghc-alex-3.2.6/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/zlcmglb8qb24x01647knjy8l98zx7qsi-ghc-happy-1.20.0/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/99c25918hl9pihix8hparmc96q6zrpwy-tar-1.34/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/l0yga4lrwwf74rz7fb0dadglg27ajpsx-gzip-1.10/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/ihakfb51zdgjz3v9nkj0ja9zk9ng8xzl-bzip2-1.0.8/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/fk24dx8qz1b5smnc4ljfw25xn7yjps0q-xz-5.2.5/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/vl1b3nq6gijpzbl03zq92m5dwgs17nik-file-5.39/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/h0rx6y95zin61fp5wlyjly4g9j2hma18-diffutils-3.8/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/7j8j7m0kgb7kv2fc18qvrdj7gs3jc4mx-patch-2.7.6/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/x4yglk9pn2s2ixl1b4lj151bd2yvlgww-findutils-4.8.0/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/vzq0il5z2d6ksllb525m9xaqzv829g3k-gawk-5.1.0/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/cnwr7widbi6470kfyb13krx46kz5anmy-sed-4.8/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/bx47clwnxn51m7jdwfimz4lw2fh8g21v-grep-3.6/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/9a0cjh929maqvkxn3inv6jqbxn72fkx0-coreutils-8.32/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/dhx00nrv9r52f6xivg0xa4iihpl9awyk-make-4.3/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/7s2zlc4r9wqvlh9x2gqmzm4lnmbsdzmn-bash-minimal-5.1.8/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/4bzvr16pyax9224v9r72rqxswj9931sb-ld-wrapper-0/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/v4a7zw8w52v64kw5781ypa8gjwd098jz-binutils-2.37/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/v5xfd4vy1lvqikdl1rzs8aklgsnqwd26-gcc-10.3.0/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/0iapawfss4xnxls622g23qpk4mwb9ihp-glibc-2.33/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/1s4k8h3h1ka9za4yzg0dfjnlhab5k14p-glibc-2.33-static/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/6p5m4cv8psfzy5xn5yhvhmjl261wg34m-glibc-utf8-locales-2.33/lib/ghc-8.10.7: No such file or directory
find-files: /gnu/store/wsx4kz1gh6cpdhx393frhqknmswbggq8-linux-libre-headers-5.10.35/lib/ghc-8.10.7: No such file or directory
environment variable `GHC_PACKAGE_PATH' set to `/gnu/store/bsq8ylip104bx1632954igv0y50qxqxg-ghc-8.10.7/lib/ghc-8.10.7/package.conf.d:/gnu/store/pwprd943fysn8zjfkqzm7n6p5bf3sjsh-ghc-aeson-1.5.6.0/lib/ghc-8.10.7/ghc-aeson-1.5.6.0.conf.d:/gnu/store/xw7j5ym603m8vc659yarzqqc51k5vpbj-ghc-async-2.2.4/lib/ghc-8.10.7/ghc-async-2.2.4.conf.d:/gnu/store/chyxvily3zv7a3h0j1n32n8pqf2sy6av-ghc-blaze-html-0.9.1.2/lib/ghc-8.10.7/ghc-blaze-html-0.9.1.2.conf.d:/gnu/store/448v9i7047ii81simffdnwpvhialvg40-ghc-boxes-0.1.5/lib/ghc-8.10.7/ghc-boxes-0.1.5.conf.d:/gnu/store/1l4kqj4kkfinnql7vw2badyhnw0lqnnj-ghc-case-insensitive-1.2.1.0/lib/ghc-8.10.7/ghc-case-insensitive-1.2.1.0.conf.d:/gnu/store/rdkzvfdb5w83s7csnhn6aq1g9nm8zd4k-ghc-data-hash-0.2.0.1/lib/ghc-8.10.7/ghc-data-hash-0.2.0.1.conf.d:/gnu/store/53c5py6fllrm3yqwcl5kzxs3w7cnr81p-ghc-edit-distance-0.2.2.1/lib/ghc-8.10.7/ghc-edit-distance-0.2.2.1.conf.d:/gnu/store/w2l67j82l1a1vbipxxi0jf2zs0bmn9mm-ghc-equivalence-0.3.5/lib/ghc-8.10.7/ghc-equivalence-0.3.5.conf.d:/gnu/store/zi2ipybdvmswgly5ckfn630bbkdgh25y-ghc-gitrev-1.3.1/lib/ghc-8.10.7/ghc-gitrev-1.3.1.conf.d:/gnu/store/dc2y2wqix9dzv1h3qd26sjdwlbbbr8cd-ghc-hashable-1.3.0.0/lib/ghc-8.10.7/ghc-hashable-1.3.0.0.conf.d:/gnu/store/gfiymww8y34c0vws9ng5yw6p2wzq4yyv-ghc-hashtables-1.2.4.1/lib/ghc-8.10.7/ghc-hashtables-1.2.4.1.conf.d:/gnu/store/ba75b74f4g56z8x56kpbpm3z7hk953gm-ghc-monad-control-1.0.3.1/lib/ghc-8.10.7/ghc-monad-control-1.0.3.1.conf.d:/gnu/store/a06kmsl9077qwnq8s4g37hp05mmc30b2-ghc-murmur-hash-0.1.0.9/lib/ghc-8.10.7/ghc-murmur-hash-0.1.0.9.conf.d:/gnu/store/xdv1j2lc5rvnplcarf6z22w1dlph2xcq-ghc-parallel-3.2.2.0/lib/ghc-8.10.7/ghc-parallel-3.2.2.0.conf.d:/gnu/store/1wabch32pvw048bv4rpwim503pi0cd29-ghc-regex-tdfa-1.3.1.1/lib/ghc-8.10.7/ghc-regex-tdfa-1.3.1.1.conf.d:/gnu/store/gg9bgpl0nrrr9hx72x60shi6iyf8xas7-ghc-split-0.2.3.4/lib/ghc-8.10.7/ghc-split-0.2.3.4.conf.d:/gnu/store/31yn4j106rh11cfjvf8x33gpadfgw00k-ghc-strict-0.4.0.1/lib/ghc-8.10.7/ghc-strict-0.4.0.1.conf.d:/gnu/store/8r46x5mayqhj0f377zv58yr9iraamy35-ghc-unordered-containers-0.2.14.0/lib/ghc-8.10.7/ghc-unordered-containers-0.2.14.0.conf.d:/gnu/store/8av6crmffcsxjkcx01zrwgf8bb134g6z-ghc-uri-encode-1.5.0.7/lib/ghc-8.10.7/ghc-uri-encode-1.5.0.7.conf.d:/gnu/store/ghpqmq7ki2qgfy1slxcn5w1rlf6z17zv-ghc-zlib-0.6.2.3/lib/ghc-8.10.7/ghc-zlib-0.6.2.3.conf.d'
environment variable `BASH_LOADABLES_PATH' unset
environment variable `C_INCLUDE_PATH' set to `/gnu/store/ihakfb51zdgjz3v9nkj0ja9zk9ng8xzl-bzip2-1.0.8/include:/gnu/store/fk24dx8qz1b5smnc4ljfw25xn7yjps0q-xz-5.2.5/include:/gnu/store/vl1b3nq6gijpzbl03zq92m5dwgs17nik-file-5.39/include:/gnu/store/vzq0il5z2d6ksllb525m9xaqzv829g3k-gawk-5.1.0/include:/gnu/store/dhx00nrv9r52f6xivg0xa4iihpl9awyk-make-4.3/include:/gnu/store/v4a7zw8w52v64kw5781ypa8gjwd098jz-binutils-2.37/include:/gnu/store/v5xfd4vy1lvqikdl1rzs8aklgsnqwd26-gcc-10.3.0/include:/gnu/store/0iapawfss4xnxls622g23qpk4mwb9ihp-glibc-2.33/include:/gnu/store/wsx4kz1gh6cpdhx393frhqknmswbggq8-linux-libre-headers-5.10.35/include'
environment variable `CPLUS_INCLUDE_PATH' set to `/gnu/store/ihakfb51zdgjz3v9nkj0ja9zk9ng8xzl-bzip2-1.0.8/include:/gnu/store/fk24dx8qz1b5smnc4ljfw25xn7yjps0q-xz-5.2.5/include:/gnu/store/vl1b3nq6gijpzbl03zq92m5dwgs17nik-file-5.39/include:/gnu/store/vzq0il5z2d6ksllb525m9xaqzv829g3k-gawk-5.1.0/include:/gnu/store/dhx00nrv9r52f6xivg0xa4iihpl9awyk-make-4.3/include:/gnu/store/v4a7zw8w52v64kw5781ypa8gjwd098jz-binutils-2.37/include:/gnu/store/v5xfd4vy1lvqikdl1rzs8aklgsnqwd26-gcc-10.3.0/include/c++:/gnu/store/v5xfd4vy1lvqikdl1rzs8aklgsnqwd26-gcc-10.3.0/include:/gnu/store/0iapawfss4xnxls622g23qpk4mwb9ihp-glibc-2.33/include:/gnu/store/wsx4kz1gh6cpdhx393frhqknmswbggq8-linux-libre-headers-5.10.35/include'
environment variable `LIBRARY_PATH' set to `/gnu/store/bsq8ylip104bx1632954igv0y50qxqxg-ghc-8.10.7/lib:/gnu/store/pwprd943fysn8zjfkqzm7n6p5bf3sjsh-ghc-aeson-1.5.6.0/lib:/gnu/store/xw7j5ym603m8vc659yarzqqc51k5vpbj-ghc-async-2.2.4/lib:/gnu/store/chyxvily3zv7a3h0j1n32n8pqf2sy6av-ghc-blaze-html-0.9.1.2/lib:/gnu/store/448v9i7047ii81simffdnwpvhialvg40-ghc-boxes-0.1.5/lib:/gnu/store/1l4kqj4kkfinnql7vw2badyhnw0lqnnj-ghc-case-insensitive-1.2.1.0/lib:/gnu/store/rdkzvfdb5w83s7csnhn6aq1g9nm8zd4k-ghc-data-hash-0.2.0.1/lib:/gnu/store/53c5py6fllrm3yqwcl5kzxs3w7cnr81p-ghc-edit-distance-0.2.2.1/lib:/gnu/store/w2l67j82l1a1vbipxxi0jf2zs0bmn9mm-ghc-equivalence-0.3.5/lib:/gnu/store/zi2ipybdvmswgly5ckfn630bbkdgh25y-ghc-gitrev-1.3.1/lib:/gnu/store/dc2y2wqix9dzv1h3qd26sjdwlbbbr8cd-ghc-hashable-1.3.0.0/lib:/gnu/store/gfiymww8y34c0vws9ng5yw6p2wzq4yyv-ghc-hashtables-1.2.4.1/lib:/gnu/store/ba75b74f4g56z8x56kpbpm3z7hk953gm-ghc-monad-control-1.0.3.1/lib:/gnu/store/a06kmsl9077qwnq8s4g37hp05mmc30b2-ghc-murmur-hash-0.1.0.9/lib:/gnu/store/xdv1j2lc5rvnplcarf6z22w1dlph2xcq-ghc-parallel-3.2.2.0/lib:/gnu/store/1wabch32pvw048bv4rpwim503pi0cd29-ghc-regex-tdfa-1.3.1.1/lib:/gnu/store/gg9bgpl0nrrr9hx72x60shi6iyf8xas7-ghc-split-0.2.3.4/lib:/gnu/store/31yn4j106rh11cfjvf8x33gpadfgw00k-ghc-strict-0.4.0.1/lib:/gnu/store/8r46x5mayqhj0f377zv58yr9iraamy35-ghc-unordered-containers-0.2.14.0/lib:/gnu/store/8av6crmffcsxjkcx01zrwgf8bb134g6z-ghc-uri-encode-1.5.0.7/lib:/gnu/store/ghpqmq7ki2qgfy1slxcn5w1rlf6z17zv-ghc-zlib-0.6.2.3/lib:/gnu/store/ihakfb51zdgjz3v9nkj0ja9zk9ng8xzl-bzip2-1.0.8/lib:/gnu/store/fk24dx8qz1b5smnc4ljfw25xn7yjps0q-xz-5.2.5/lib:/gnu/store/vl1b3nq6gijpzbl03zq92m5dwgs17nik-file-5.39/lib:/gnu/store/vzq0il5z2d6ksllb525m9xaqzv829g3k-gawk-5.1.0/lib:/gnu/store/v4a7zw8w52v64kw5781ypa8gjwd098jz-binutils-2.37/lib:/gnu/store/0iapawfss4xnxls622g23qpk4mwb9ihp-glibc-2.33/lib:/gnu/store/1s4k8h3h1ka9za4yzg0dfjnlhab5k14p-glibc-2.33-static/lib:/gnu/store/6p5m4cv8psfzy5xn5yhvhmjl261wg34m-glibc-utf8-locales-2.33/lib'
environment variable `GUIX_LOCPATH' set to `/gnu/store/6p5m4cv8psfzy5xn5yhvhmjl261wg34m-glibc-utf8-locales-2.33/lib/locale'
phase `set-paths' succeeded after 0.2 seconds
starting phase `install-locale'
using 'en_US.utf8' locale for category "LC_ALL"
phase `install-locale' succeeded after 0.0 seconds
starting phase `unpack'
Agda-2.6.2.2/
Agda-2.6.2.2/Agda.cabal
Agda-2.6.2.2/CHANGELOG.md
Agda-2.6.2.2/LICENSE
Agda-2.6.2.2/README.md
Agda-2.6.2.2/Setup.hs
Agda-2.6.2.2/doc/release-notes/
Agda-2.6.2.2/doc/release-notes/2.2.0.md
Agda-2.6.2.2/doc/release-notes/2.2.10.md
Agda-2.6.2.2/doc/release-notes/2.2.2.md
Agda-2.6.2.2/doc/release-notes/2.2.4.md
Agda-2.6.2.2/doc/release-notes/2.2.6.md
Agda-2.6.2.2/doc/release-notes/2.2.8.md
Agda-2.6.2.2/doc/release-notes/2.3.0.md
Agda-2.6.2.2/doc/release-notes/2.3.2.1.md
Agda-2.6.2.2/doc/release-notes/2.3.2.2.md
Agda-2.6.2.2/doc/release-notes/2.3.2.md
Agda-2.6.2.2/doc/release-notes/2.4.0.1.md
Agda-2.6.2.2/doc/release-notes/2.4.0.2.md
Agda-2.6.2.2/doc/release-notes/2.4.0.md
Agda-2.6.2.2/doc/release-notes/2.4.2.1.md
Agda-2.6.2.2/doc/release-notes/2.4.2.2.md
Agda-2.6.2.2/doc/release-notes/2.4.2.3.md
Agda-2.6.2.2/doc/release-notes/2.4.2.4.md
Agda-2.6.2.2/doc/release-notes/2.4.2.5.md
Agda-2.6.2.2/doc/release-notes/2.4.2.md
Agda-2.6.2.2/doc/release-notes/2.5.1.1.md
Agda-2.6.2.2/doc/release-notes/2.5.1.2.md
Agda-2.6.2.2/doc/release-notes/2.5.1.md
Agda-2.6.2.2/doc/release-notes/2.5.2.md
Agda-2.6.2.2/doc/release-notes/2.5.3.md
Agda-2.6.2.2/doc/release-notes/2.5.4.1.md
Agda-2.6.2.2/doc/release-notes/2.5.4.2.md
Agda-2.6.2.2/doc/release-notes/2.5.4.md
Agda-2.6.2.2/doc/release-notes/2.6.0.1.md
Agda-2.6.2.2/doc/release-notes/2.6.0.md
Agda-2.6.2.2/doc/release-notes/2.6.1.1.md
Agda-2.6.2.2/doc/release-notes/2.6.1.2.md
Agda-2.6.2.2/doc/release-notes/2.6.1.3.md
Agda-2.6.2.2/doc/release-notes/2.6.1.md
Agda-2.6.2.2/doc/release-notes/2.6.2.1.md
Agda-2.6.2.2/doc/release-notes/2.6.2.md
Agda-2.6.2.2/src/agda-mode/
Agda-2.6.2.2/src/agda-mode/Main.hs
Agda-2.6.2.2/src/data/JS/
Agda-2.6.2.2/src/data/JS/agda-rts.js
Agda-2.6.2.2/src/data/MAlonzo/src/MAlonzo/
Agda-2.6.2.2/src/data/MAlonzo/src/MAlonzo/RTE.hs
Agda-2.6.2.2/src/data/MAlonzo/src/MAlonzo/RTE/
Agda-2.6.2.2/src/data/MAlonzo/src/MAlonzo/RTE/Float.hs
Agda-2.6.2.2/src/data/emacs-mode/
Agda-2.6.2.2/src/data/emacs-mode/agda-input.el
Agda-2.6.2.2/src/data/emacs-mode/agda2-abbrevs.el
Agda-2.6.2.2/src/data/emacs-mode/agda2-highlight.el
Agda-2.6.2.2/src/data/emacs-mode/agda2-mode-pkg.el
Agda-2.6.2.2/src/data/emacs-mode/agda2-mode.el
Agda-2.6.2.2/src/data/emacs-mode/agda2-queue.el
Agda-2.6.2.2/src/data/emacs-mode/agda2.el
Agda-2.6.2.2/src/data/emacs-mode/annotation.el
Agda-2.6.2.2/src/data/emacs-mode/eri.el
Agda-2.6.2.2/src/data/html/
Agda-2.6.2.2/src/data/html/Agda.css
Agda-2.6.2.2/src/data/html/highlight-hover.js
Agda-2.6.2.2/src/data/latex/
Agda-2.6.2.2/src/data/latex/agda.sty
Agda-2.6.2.2/src/data/latex/postprocess-latex.pl
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Bool.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Char.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Char/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Char/Properties.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Coinduction.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Cubical/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Cubical/Glue.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Cubical/HCompU.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Cubical/Id.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Cubical/Path.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Cubical/Sub.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Equality.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Equality/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Equality/Erase.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Equality/Rewrite.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Float.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Float/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Float/Properties.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/FromNat.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/FromNeg.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/FromString.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/IO.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Int.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/List.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Maybe.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Nat.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Reflection.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Reflection/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Reflection/External.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Reflection/Properties.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Sigma.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Size.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Strict.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/String.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/String/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/String/Properties.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/TrustMe.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Unit.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Word.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Word/
Agda-2.6.2.2/src/data/lib/prim/Agda/Builtin/Word/Properties.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/
Agda-2.6.2.2/src/data/lib/prim/Agda/Primitive.agda
Agda-2.6.2.2/src/data/lib/prim/Agda/Primitive/
Agda-2.6.2.2/src/data/lib/prim/Agda/Primitive/Cubical.agda
Agda-2.6.2.2/src/full/Agda/Auto/
Agda-2.6.2.2/src/full/Agda/Auto/Auto.hs
Agda-2.6.2.2/src/full/Agda/Auto/CaseSplit.hs
Agda-2.6.2.2/src/full/Agda/Auto/Convert.hs
Agda-2.6.2.2/src/full/Agda/Auto/NarrowingSearch.hs
Agda-2.6.2.2/src/full/Agda/Auto/Options.hs
Agda-2.6.2.2/src/full/Agda/Auto/SearchControl.hs
Agda-2.6.2.2/src/full/Agda/Auto/Syntax.hs
Agda-2.6.2.2/src/full/Agda/Auto/Typecheck.hs
Agda-2.6.2.2/src/full/Agda/
Agda-2.6.2.2/src/full/Agda/Benchmarking.hs
Agda-2.6.2.2/src/full/Agda/Compiler/
Agda-2.6.2.2/src/full/Agda/Compiler/Backend.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Backend.hs-boot
Agda-2.6.2.2/src/full/Agda/Compiler/Builtin.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Builtin.hs-boot
Agda-2.6.2.2/src/full/Agda/Compiler/CallCompiler.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Common.hs
Agda-2.6.2.2/src/full/Agda/Compiler/JS/
Agda-2.6.2.2/src/full/Agda/Compiler/JS/Compiler.hs
Agda-2.6.2.2/src/full/Agda/Compiler/JS/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Compiler/JS/Substitution.hs
Agda-2.6.2.2/src/full/Agda/Compiler/JS/Syntax.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Coerce.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Compiler.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Encode.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Misc.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Pragmas.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Primitives.hs
Agda-2.6.2.2/src/full/Agda/Compiler/MAlonzo/Strict.hs
Agda-2.6.2.2/src/full/Agda/Compiler/ToTreeless.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/AsPatterns.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Builtin.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Compare.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/EliminateDefaults.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Erase.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Erase.hs-boot
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/GuardsToPrims.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Identity.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/NormalizeNames.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Simplify.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Subst.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Uncase.hs
Agda-2.6.2.2/src/full/Agda/Compiler/Treeless/Unused.hs
Agda-2.6.2.2/src/full/Agda/ImpossibleTest.hs
Agda-2.6.2.2/src/full/Agda/Interaction/
Agda-2.6.2.2/src/full/Agda/Interaction/AgdaTop.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Base.hs
Agda-2.6.2.2/src/full/Agda/Interaction/BasicOps.hs
Agda-2.6.2.2/src/full/Agda/Interaction/CommandLine.hs
Agda-2.6.2.2/src/full/Agda/Interaction/EmacsCommand.hs
Agda-2.6.2.2/src/full/Agda/Interaction/EmacsTop.hs
Agda-2.6.2.2/src/full/Agda/Interaction/ExitCode.hs
Agda-2.6.2.2/src/full/Agda/Interaction/FindFile.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Common.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Dot.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Dot/
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Dot/Backend.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Dot/Base.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Emacs.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/FromAbstract.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Generate.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Generate.hs-boot
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/HTML.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/HTML/
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/HTML/Backend.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/HTML/Base.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/JSON.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/LaTeX.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/LaTeX/
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/LaTeX/Backend.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/LaTeX/Base.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Precise.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Range.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Highlighting/Vim.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Imports.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Imports.hs-boot
Agda-2.6.2.2/src/full/Agda/Interaction/InteractionTop.hs
Agda-2.6.2.2/src/full/Agda/Interaction/JSON.hs
Agda-2.6.2.2/src/full/Agda/Interaction/JSONTop.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Library.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Library/
Agda-2.6.2.2/src/full/Agda/Interaction/Library/Base.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Library/Parse.hs
Agda-2.6.2.2/src/full/Agda/Interaction/MakeCase.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Monad.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Options.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Options/
Agda-2.6.2.2/src/full/Agda/Interaction/Options/Base.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Options/HasOptions.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Options/Help.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Options/Lenses.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Options/Warnings.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Response.hs
Agda-2.6.2.2/src/full/Agda/Interaction/Response.hs-boot
Agda-2.6.2.2/src/full/Agda/Interaction/SearchAbout.hs
Agda-2.6.2.2/src/full/Agda/Main.hs
Agda-2.6.2.2/src/full/Agda/Syntax/
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract/
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract/Name.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract/Pattern.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract/PatternSynonyms.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Abstract/Views.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Builtin.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Common.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Attribute.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Definitions.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Definitions/
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Definitions/Errors.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Definitions/Monad.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Definitions/Types.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Fixity.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Generic.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Glyph.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Name.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Operators.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Operators/
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Operators/Parser.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Operators/Parser/
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Pattern.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Concrete/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Syntax/DoNotation.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Fixity.hs
Agda-2.6.2.2/src/full/Agda/Syntax/IdiomBrackets.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Info.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/Blockers.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/Defs.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/Elim.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/Generic.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/MetaVars.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/Names.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/Pattern.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Internal/SanityCheck.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Literal.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Notation.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Alex.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Comments.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Layout.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Layout.hs-boot
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/LexActions.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/LexActions.hs-boot
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Lexer.x
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Literate.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/LookAhead.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Monad.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Parser.y
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/StringLiterals.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Parser/Tokens.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Position.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Reflected.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Scope/
Agda-2.6.2.2/src/full/Agda/Syntax/Scope/Base.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Scope/Monad.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Translation/
Agda-2.6.2.2/src/full/Agda/Syntax/Translation/AbstractToConcrete.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Translation/InternalToAbstract.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs
Agda-2.6.2.2/src/full/Agda/Syntax/Treeless.hs
Agda-2.6.2.2/src/full/Agda/Termination/
Agda-2.6.2.2/src/full/Agda/Termination/CallGraph.hs
Agda-2.6.2.2/src/full/Agda/Termination/CallMatrix.hs
Agda-2.6.2.2/src/full/Agda/Termination/CutOff.hs
Agda-2.6.2.2/src/full/Agda/Termination/Monad.hs
Agda-2.6.2.2/src/full/Agda/Termination/Order.hs
Agda-2.6.2.2/src/full/Agda/Termination/RecCheck.hs
Agda-2.6.2.2/src/full/Agda/Termination/Semiring.hs
Agda-2.6.2.2/src/full/Agda/Termination/SparseMatrix.hs
Agda-2.6.2.2/src/full/Agda/Termination/TermCheck.hs
Agda-2.6.2.2/src/full/Agda/Termination/Termination.hs
Agda-2.6.2.2/src/full/Agda/TheTypeChecker.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Abstract.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/CheckInternal.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/CheckInternal.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/CompiledClause.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/CompiledClause/
Agda-2.6.2.2/src/full/Agda/TypeChecking/CompiledClause/Compile.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/CompiledClause/Match.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Constraints.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Constraints.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Conversion.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Conversion.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Conversion/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Conversion/Pure.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Coverage.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Coverage/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Coverage/Match.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Coverage/SplitTree.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Datatypes.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Datatypes.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/DeadCode.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/DisplayForm.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/DropArgs.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Empty.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Empty.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Errors.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Errors.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/EtaContract.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/EtaExpand.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Forcing.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Free.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Free/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Free/Lazy.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Free/Precompute.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Free/Reduce.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Functions.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Generalize.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/IApplyConfluence.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Implicit.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Injectivity.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Inlining.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/InstanceArguments.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Irrelevance.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Irrelevance.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Level.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Level.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Level/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Level/Solve.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/LevelConstraints.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Lock.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Lock.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/MetaVars.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/MetaVars.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/MetaVars/
Agda-2.6.2.2/src/full/Agda/TypeChecking/MetaVars/Mention.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/MetaVars/Occurs.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Base.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Base.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Benchmark.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Builtin.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Builtin.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Caching.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Closure.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Constraints.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Context.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Context.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Debug.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Debug.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Env.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Imports.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/MetaVars.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Mutual.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Open.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Options.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Options.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Pure.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Pure.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Signature.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Signature.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/SizedTypes.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/State.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Statistics.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Monad/Trace.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Names.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Patterns/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Patterns/Abstract.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Patterns/Internal.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Patterns/Match.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Patterns/Match.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Polarity.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Polarity.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Positivity.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Positivity/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Positivity/Occurrence.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/Call.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/Call.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/Constraint.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/Constraint.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/Warning.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Pretty/Warning.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Primitive.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Primitive.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Primitive/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Primitive/Base.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Primitive/Cubical.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/ProjectionLike.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/ProjectionLike.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Quote.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/ReconstructParameters.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/RecordPatterns.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Records.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Records.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Reduce.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Reduce.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Reduce/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Reduce/Fast.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Reduce/Fast.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Reduce/Monad.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting/Clause.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting/Confluence.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Application.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Application.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Builtin.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Builtin/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Data.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Decl.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Decl.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Def.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Def.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Display.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/LHS.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/LHS/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/LHS/Problem.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/LHS/Unify.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Record.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Term.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Rules/Term.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Base.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/Common.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/SizedTypes.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/SizedTypes/
Agda-2.6.2.2/src/full/Agda/TypeChecking/SizedTypes/Solve.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/SizedTypes/Syntax.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/SizedTypes/Utils.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Sort.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Substitute.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Substitute/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Substitute/Class.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Substitute/DeBruijn.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/SyntacticEquality.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Telescope.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Telescope.hs-boot
Agda-2.6.2.2/src/full/Agda/TypeChecking/Telescope/
Agda-2.6.2.2/src/full/Agda/TypeChecking/Telescope/Path.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Unquote.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/Warnings.hs
Agda-2.6.2.2/src/full/Agda/TypeChecking/With.hs
Agda-2.6.2.2/src/full/Agda/Utils/
Agda-2.6.2.2/src/full/Agda/Utils/AffineHole.hs
Agda-2.6.2.2/src/full/Agda/Utils/Applicative.hs
Agda-2.6.2.2/src/full/Agda/Utils/AssocList.hs
Agda-2.6.2.2/src/full/Agda/Utils/Bag.hs
Agda-2.6.2.2/src/full/Agda/Utils/Benchmark.hs
Agda-2.6.2.2/src/full/Agda/Utils/BiMap.hs
Agda-2.6.2.2/src/full/Agda/Utils/CallStack.hs
Agda-2.6.2.2/src/full/Agda/Utils/CallStack/
Agda-2.6.2.2/src/full/Agda/Utils/CallStack/Base.hs
Agda-2.6.2.2/src/full/Agda/Utils/CallStack/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Utils/Char.hs
Agda-2.6.2.2/src/full/Agda/Utils/Cluster.hs
Agda-2.6.2.2/src/full/Agda/Utils/Either.hs
Agda-2.6.2.2/src/full/Agda/Utils/Empty.hs
Agda-2.6.2.2/src/full/Agda/Utils/Environment.hs
Agda-2.6.2.2/src/full/Agda/Utils/Fail.hs
Agda-2.6.2.2/src/full/Agda/Utils/Favorites.hs
Agda-2.6.2.2/src/full/Agda/Utils/FileName.hs
Agda-2.6.2.2/src/full/Agda/Utils/Float.hs
Agda-2.6.2.2/src/full/Agda/Utils/Function.hs
Agda-2.6.2.2/src/full/Agda/Utils/Functor.hs
Agda-2.6.2.2/src/full/Agda/Utils/Graph/AdjacencyMap/
Agda-2.6.2.2/src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs
Agda-2.6.2.2/src/full/Agda/Utils/Graph/
Agda-2.6.2.2/src/full/Agda/Utils/Graph/TopSort.hs
Agda-2.6.2.2/src/full/Agda/Utils/Hash.hs
Agda-2.6.2.2/src/full/Agda/Utils/Haskell/
Agda-2.6.2.2/src/full/Agda/Utils/Haskell/Syntax.hs
Agda-2.6.2.2/src/full/Agda/Utils/IO.hs
Agda-2.6.2.2/src/full/Agda/Utils/IO/
Agda-2.6.2.2/src/full/Agda/Utils/IO/Binary.hs
Agda-2.6.2.2/src/full/Agda/Utils/IO/Directory.hs
Agda-2.6.2.2/src/full/Agda/Utils/IO/TempFile.hs
Agda-2.6.2.2/src/full/Agda/Utils/IO/UTF8.hs
Agda-2.6.2.2/src/full/Agda/Utils/IORef.hs
Agda-2.6.2.2/src/full/Agda/Utils/Impossible.hs
Agda-2.6.2.2/src/full/Agda/Utils/IndexedList.hs
Agda-2.6.2.2/src/full/Agda/Utils/IntSet/
Agda-2.6.2.2/src/full/Agda/Utils/IntSet/Infinite.hs
Agda-2.6.2.2/src/full/Agda/Utils/Lens.hs
Agda-2.6.2.2/src/full/Agda/Utils/Lens/
Agda-2.6.2.2/src/full/Agda/Utils/Lens/Examples.hs
Agda-2.6.2.2/src/full/Agda/Utils/List.hs
Agda-2.6.2.2/src/full/Agda/Utils/List1.hs
Agda-2.6.2.2/src/full/Agda/Utils/List1.hs-boot
Agda-2.6.2.2/src/full/Agda/Utils/List2.hs
Agda-2.6.2.2/src/full/Agda/Utils/ListT.hs
Agda-2.6.2.2/src/full/Agda/Utils/Map.hs
Agda-2.6.2.2/src/full/Agda/Utils/Maybe.hs
Agda-2.6.2.2/src/full/Agda/Utils/Maybe/
Agda-2.6.2.2/src/full/Agda/Utils/Maybe/Strict.hs
Agda-2.6.2.2/src/full/Agda/Utils/Memo.hs
Agda-2.6.2.2/src/full/Agda/Utils/Monad.hs
Agda-2.6.2.2/src/full/Agda/Utils/Monoid.hs
Agda-2.6.2.2/src/full/Agda/Utils/Null.hs
Agda-2.6.2.2/src/full/Agda/Utils/POMonoid.hs
Agda-2.6.2.2/src/full/Agda/Utils/Parser/
Agda-2.6.2.2/src/full/Agda/Utils/Parser/MemoisedCPS.hs
Agda-2.6.2.2/src/full/Agda/Utils/PartialOrd.hs
Agda-2.6.2.2/src/full/Agda/Utils/Permutation.hs
Agda-2.6.2.2/src/full/Agda/Utils/Pointer.hs
Agda-2.6.2.2/src/full/Agda/Utils/Pretty.hs
Agda-2.6.2.2/src/full/Agda/Utils/RangeMap.hs
Agda-2.6.2.2/src/full/Agda/Utils/SemiRing.hs
Agda-2.6.2.2/src/full/Agda/Utils/Semigroup.hs
Agda-2.6.2.2/src/full/Agda/Utils/Singleton.hs
Agda-2.6.2.2/src/full/Agda/Utils/Size.hs
Agda-2.6.2.2/src/full/Agda/Utils/SmallSet.hs
Agda-2.6.2.2/src/full/Agda/Utils/String.hs
Agda-2.6.2.2/src/full/Agda/Utils/Suffix.hs
Agda-2.6.2.2/src/full/Agda/Utils/Three.hs
Agda-2.6.2.2/src/full/Agda/Utils/Time.hs
Agda-2.6.2.2/src/full/Agda/Utils/Trie.hs
Agda-2.6.2.2/src/full/Agda/Utils/Tuple.hs
Agda-2.6.2.2/src/full/Agda/Utils/TypeLevel.hs
Agda-2.6.2.2/src/full/Agda/Utils/TypeLits.hs
Agda-2.6.2.2/src/full/Agda/Utils/Update.hs
Agda-2.6.2.2/src/full/Agda/Utils/VarSet.hs
Agda-2.6.2.2/src/full/Agda/Utils/Warshall.hs
Agda-2.6.2.2/src/full/Agda/Utils/WithDefault.hs
Agda-2.6.2.2/src/full/Agda/Utils/Zipper.hs
Agda-2.6.2.2/src/full/Agda/Version.hs
Agda-2.6.2.2/src/full/Agda/VersionCommit.hs
Agda-2.6.2.2/src/main/
Agda-2.6.2.2/src/main/Main.hs
Agda-2.6.2.2/stack-8.0.2.yaml
Agda-2.6.2.2/stack-8.10.7.yaml
Agda-2.6.2.2/stack-8.2.2.yaml
Agda-2.6.2.2/stack-8.4.4.yaml
Agda-2.6.2.2/stack-8.6.5.yaml
Agda-2.6.2.2/stack-8.8.4.yaml
Agda-2.6.2.2/stack-9.0.1.yaml
Agda-2.6.2.2/stack-9.0.2.yaml
Agda-2.6.2.2/stack-9.2.1.yaml
Agda-2.6.2.2/stack-9.2.2.yaml
phase `unpack' succeeded after 0.1 seconds
starting phase `set-ld-library-path'
phase `set-ld-library-path' succeeded after 0.0 seconds
starting phase `generate-setuphs'
phase `generate-setuphs' succeeded after 0.0 seconds
starting phase `patch-cabal-file'
phase `patch-cabal-file' succeeded after 0.0 seconds
starting phase `patch-usr-bin-file'
phase `patch-usr-bin-file' succeeded after 0.0 seconds
starting phase `patch-source-shebangs'
patch-shebang: ./src/data/latex/postprocess-latex.pl: warning: no binary for interpreter `perl' found in $PATH
phase `patch-source-shebangs' succeeded after 0.1 seconds
starting phase `setup-compiler'
phase `setup-compiler' succeeded after 0.8 seconds
starting phase `configure'
running "runhaskell Setup.hs" with command "configure" and parameters ("--prefix=/gnu/store/kbbv80hyb3wvxpbsqjpqb0d9f10gzhb7-agda-2.6.2.2" "--libdir=/gnu/store/kbbv80hyb3wvxpbsqjpqb0d9f10gzhb7-agda-2.6.2.2/lib" "--docdir=/gnu/store/kbbv80hyb3wvxpbsqjpqb0d9f10gzhb7-agda-2.6.2.2/share/doc/agda-2.6.2.2" "--libsubdir=$compiler/$pkg-$version" "--package-db=/tmp/guix-build-agda-2.6.2.2.drv-0/package.conf.d" "--global" "--enable-tests" "--enable-shared" "--enable-executable-dynamic" "--ghc-option=-fPIC" "--ghc-option=-optl=-Wl,-rpath=/gnu/store/kbbv80hyb3wvxpbsqjpqb0d9f10gzhb7-agda-2.6.2.2/lib/$compiler/$pkg-$version")
Configuring Agda-2.6.2.2...
phase `configure' succeeded after 2.1 seconds
starting phase `patch-generated-file-shebangs'
phase `patch-generated-file-shebangs' succeeded after 0.0 seconds
starting phase `build'
running "runhaskell Setup.hs" with command "build" and parameters ()
Preprocessing library for Agda-2.6.2.2..
unused rules: 6
Building library for Agda-2.6.2.2..
[  1 of 401] Compiling Agda.Interaction.ExitCode ( src/full/Agda/Interaction/ExitCode.hs, dist/build/Agda/Interaction/ExitCode.o, dist/build/Agda/Interaction/ExitCode.dyn_o )
[  2 of 401] Compiling Agda.Interaction.Highlighting.Dot.Base ( src/full/Agda/Interaction/Highlighting/Dot/Base.hs, dist/build/Agda/Interaction/Highlighting/Dot/Base.o, dist/build/Agda/Interaction/Highlighting/Dot/Base.dyn_o )
[  3 of 401] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o, dist/build/Agda/Termination/CutOff.dyn_o )
[  4 of 401] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o, dist/build/Agda/Termination/Semiring.dyn_o )
[  5 of 401] Compiling Agda.TypeChecking.Monad.Debug[boot] ( src/full/Agda/TypeChecking/Monad/Debug.hs-boot, dist/build/Agda/TypeChecking/Monad/Debug.o-boot, dist/build/Agda/TypeChecking/Monad/Debug.dyn_o )
[  6 of 401] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist/build/Agda/Utils/AffineHole.o, dist/build/Agda/Utils/AffineHole.dyn_o )
[  7 of 401] Compiling Agda.Utils.Applicative ( src/full/Agda/Utils/Applicative.hs, dist/build/Agda/Utils/Applicative.o, dist/build/Agda/Utils/Applicative.dyn_o )
[  8 of 401] Compiling Agda.Utils.CallStack.Base ( src/full/Agda/Utils/CallStack/Base.hs, dist/build/Agda/Utils/CallStack/Base.o, dist/build/Agda/Utils/CallStack/Base.dyn_o )
[  9 of 401] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o, dist/build/Agda/Utils/Char.dyn_o )
[ 10 of 401] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist/build/Agda/Utils/Environment.o, dist/build/Agda/Utils/Environment.dyn_o )
[ 11 of 401] Compiling Agda.Utils.Fail  ( src/full/Agda/Utils/Fail.hs, dist/build/Agda/Utils/Fail.o, dist/build/Agda/Utils/Fail.dyn_o )
[ 12 of 401] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o, dist/build/Agda/Utils/Function.dyn_o )
[ 13 of 401] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o, dist/build/Agda/TypeChecking/SizedTypes/Utils.dyn_o )
[ 14 of 401] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o, dist/build/Agda/Utils/Functor.dyn_o )
[ 15 of 401] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist/build/Agda/Utils/Haskell/Syntax.o, dist/build/Agda/Utils/Haskell/Syntax.dyn_o )
[ 16 of 401] Compiling Agda.Compiler.MAlonzo.Strict ( src/full/Agda/Compiler/MAlonzo/Strict.hs, dist/build/Agda/Compiler/MAlonzo/Strict.o, dist/build/Agda/Compiler/MAlonzo/Strict.dyn_o )
[ 17 of 401] Compiling Agda.Utils.IO    ( src/full/Agda/Utils/IO.hs, dist/build/Agda/Utils/IO.o, dist/build/Agda/Utils/IO.dyn_o )
[ 18 of 401] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o, dist/build/Agda/Utils/IO/Binary.dyn_o )
[ 19 of 401] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist/build/Agda/Utils/IO/Directory.o, dist/build/Agda/Utils/IO/Directory.dyn_o )
[ 20 of 401] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, dist/build/Agda/Utils/IO/TempFile.o, dist/build/Agda/Utils/IO/TempFile.dyn_o )
[ 21 of 401] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o, dist/build/Agda/Utils/IO/UTF8.dyn_o )
[ 22 of 401] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.o, dist/build/Agda/Utils/IORef.dyn_o )
[ 23 of 401] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o, dist/build/Agda/Utils/Impossible.dyn_o )
[ 24 of 401] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.o, dist/build/Agda/Utils/Empty.dyn_o )
[ 25 of 401] Compiling Agda.Utils.Bag   ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.o, dist/build/Agda/Utils/Bag.dyn_o )
[ 26 of 401] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o, dist/build/Agda/Auto/NarrowingSearch.dyn_o )
[ 27 of 401] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist/build/Agda/Utils/IntSet/Infinite.o, dist/build/Agda/Utils/IntSet/Infinite.dyn_o )
[ 28 of 401] Compiling Agda.Utils.Lens  ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.o, dist/build/Agda/Utils/Lens.dyn_o )
[ 29 of 401] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist/build/Agda/Utils/IndexedList.o, dist/build/Agda/Utils/IndexedList.dyn_o )
[ 30 of 401] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist/build/Agda/Auto/Options.o, dist/build/Agda/Auto/Options.dyn_o )
[ 31 of 401] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.o, dist/build/Agda/Utils/Lens/Examples.dyn_o )
[ 32 of 401] Compiling Agda.Utils.List1[boot] ( src/full/Agda/Utils/List1.hs-boot, dist/build/Agda/Utils/List1.o-boot, dist/build/Agda/Utils/List1.dyn_o )
[ 33 of 401] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o, dist/build/Agda/Utils/Map.dyn_o )
[ 34 of 401] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o, dist/build/Agda/Utils/Maybe.dyn_o )
[ 35 of 401] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o, dist/build/Agda/Utils/Memo.dyn_o )
[ 36 of 401] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist/build/Agda/Utils/Monoid.o, dist/build/Agda/Utils/Monoid.dyn_o )
[ 37 of 401] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.o, dist/build/Agda/Utils/Null.dyn_o )
[ 38 of 401] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o, dist/build/Agda/Utils/Maybe/Strict.dyn_o )
[ 39 of 401] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o, dist/build/Agda/Utils/PartialOrd.dyn_o )
[ 40 of 401] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist/build/Agda/Utils/POMonoid.o, dist/build/Agda/Utils/POMonoid.dyn_o )
[ 41 of 401] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o, dist/build/Agda/Utils/Pointer.dyn_o )
[ 42 of 401] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o, dist/build/Agda/Utils/SemiRing.dyn_o )
[ 43 of 401] Compiling Agda.Utils.Semigroup ( src/full/Agda/Utils/Semigroup.hs, dist/build/Agda/Utils/Semigroup.o, dist/build/Agda/Utils/Semigroup.dyn_o )
[ 44 of 401] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.o, dist/build/Agda/Utils/Singleton.dyn_o )
[ 45 of 401] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o, dist/build/Agda/Utils/Cluster.dyn_o )
[ 46 of 401] Compiling Agda.Utils.SmallSet ( src/full/Agda/Utils/SmallSet.hs, dist/build/Agda/Utils/SmallSet.o, dist/build/Agda/Utils/SmallSet.dyn_o )
[ 47 of 401] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o, dist/build/Agda/Utils/Suffix.dyn_o )
[ 48 of 401] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist/build/Agda/Utils/Three.o, dist/build/Agda/Utils/Three.dyn_o )
[ 49 of 401] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o, dist/build/Agda/Utils/Trie.dyn_o )
[ 50 of 401] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o, dist/build/Agda/Utils/Tuple.dyn_o )
[ 51 of 401] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o, dist/build/Agda/Utils/List.dyn_o )
[ 52 of 401] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o, dist/build/Agda/Utils/String.dyn_o )
[ 53 of 401] Compiling Agda.Utils.List1 ( src/full/Agda/Utils/List1.hs, dist/build/Agda/Utils/List1.o, dist/build/Agda/Utils/List1.dyn_o )
[ 54 of 401] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o, dist/build/Agda/Utils/Size.dyn_o )
[ 55 of 401] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o, dist/build/Agda/Utils/Permutation.dyn_o )
[ 56 of 401] Compiling Agda.Utils.List2 ( src/full/Agda/Utils/List2.hs, dist/build/Agda/Utils/List2.o, dist/build/Agda/Utils/List2.dyn_o )
[ 57 of 401] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist/build/Agda/Utils/Float.o, dist/build/Agda/Utils/Float.dyn_o )
[ 58 of 401] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o, dist/build/Agda/Utils/Pretty.dyn_o )
[ 59 of 401] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o, dist/build/Agda/Utils/Time.dyn_o )
[ 60 of 401] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist/build/Agda/Utils/Parser/MemoisedCPS.o, dist/build/Agda/Utils/Parser/MemoisedCPS.dyn_o )
[ 61 of 401] Compiling Agda.Utils.CallStack.Pretty ( src/full/Agda/Utils/CallStack/Pretty.hs, dist/build/Agda/Utils/CallStack/Pretty.o, dist/build/Agda/Utils/CallStack/Pretty.dyn_o )
[ 62 of 401] Compiling Agda.Utils.CallStack ( src/full/Agda/Utils/CallStack.hs, dist/build/Agda/Utils/CallStack.o, dist/build/Agda/Utils/CallStack.dyn_o )
[ 63 of 401] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o, dist/build/Agda/TypeChecking/SizedTypes/Syntax.dyn_o )
[ 64 of 401] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o, dist/build/Agda/Interaction/EmacsCommand.dyn_o )
[ 65 of 401] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o, dist/build/Agda/Utils/Either.dyn_o )
[ 66 of 401] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o, dist/build/Agda/Utils/Monad.dyn_o )
[ 67 of 401] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.o, dist/build/Agda/Utils/ListT.dyn_o )
[ 68 of 401] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o, dist/build/Agda/Utils/FileName.dyn_o )
[ 69 of 401] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o, dist/build/Agda/Utils/Hash.dyn_o )
[ 70 of 401] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.o, dist/build/Agda/Utils/Benchmark.dyn_o )
[ 71 of 401] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o, dist/build/Agda/Utils/BiMap.dyn_o )
[ 72 of 401] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o, dist/build/Agda/Syntax/Position.dyn_o )
[ 73 of 401] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.o, dist/build/Agda/Syntax/Common.dyn_o )
[ 74 of 401] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.o, dist/build/Agda/Syntax/Fixity.dyn_o )
[ 75 of 401] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser/Monad.o, dist/build/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_o )
[ 76 of 401] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.o, dist/build/Agda/Compiler/JS/Syntax.dyn_o )
[ 77 of 401] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o, dist/build/Agda/Auto/Syntax.dyn_o )
[ 78 of 401] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o, dist/build/Agda/Auto/SearchControl.dyn_o )
[ 79 of 401] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o, dist/build/Agda/Auto/Typecheck.dyn_o )
[ 80 of 401] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist/build/Agda/Syntax/Parser/Literate.o, dist/build/Agda/Syntax/Parser/Literate.dyn_o )
[ 81 of 401] Compiling Agda.Syntax.Concrete.Glyph ( src/full/Agda/Syntax/Concrete/Glyph.hs, dist/build/Agda/Syntax/Concrete/Glyph.o, dist/build/Agda/Syntax/Concrete/Glyph.dyn_o )
[ 82 of 401] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.o, dist/build/Agda/Syntax/Concrete/Name.dyn_o )
[ 83 of 401] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot, dist/build/Agda/TypeChecking/Monad/Base.dyn_o )
[ 84 of 401] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, dist/build/Agda/Syntax/Builtin.o, dist/build/Agda/Syntax/Builtin.dyn_o )
[ 85 of 401] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.o, dist/build/Agda/Syntax/Abstract/Name.dyn_o )
[ 86 of 401] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.o, dist/build/Agda/Syntax/Literal.dyn_o )
[ 87 of 401] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist/build/Agda/Syntax/Treeless.o, dist/build/Agda/Syntax/Treeless.dyn_o )
[ 88 of 401] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist/build/Agda/Compiler/Treeless/GuardsToPrims.o, dist/build/Agda/Compiler/Treeless/GuardsToPrims.dyn_o )
[ 89 of 401] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist/build/Agda/Compiler/Treeless/AsPatterns.o, dist/build/Agda/Compiler/Treeless/AsPatterns.dyn_o )
[ 90 of 401] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.o, dist/build/Agda/Syntax/Parser/Tokens.dyn_o )
[ 91 of 401] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist/build/Agda/Compiler/Backend.o-boot, dist/build/Agda/Compiler/Backend.dyn_o )
[ 92 of 401] Compiling Agda.Compiler.Builtin[boot] ( src/full/Agda/Compiler/Builtin.hs-boot, dist/build/Agda/Compiler/Builtin.o-boot, dist/build/Agda/Compiler/Builtin.dyn_o )
[ 93 of 401] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist/build/Agda/Interaction/Options/Warnings.o, dist/build/Agda/Interaction/Options/Warnings.dyn_o )
[ 94 of 401] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.o, dist/build/Agda/Syntax/Parser/Monad.dyn_o )
[ 95 of 401] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist/build/Agda/Interaction/Options/Help.o, dist/build/Agda/Interaction/Options/Help.dyn_o )
[ 96 of 401] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist/build/Agda/Interaction/Library/Base.o, dist/build/Agda/Interaction/Library/Base.dyn_o )
[ 97 of 401] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist/build/Agda/Interaction/Library/Parse.o, dist/build/Agda/Interaction/Library/Parse.dyn_o )
[ 98 of 401] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.o, dist/build/Agda/Interaction/Highlighting/Range.dyn_o )
[ 99 of 401] Compiling Agda.Utils.RangeMap ( src/full/Agda/Utils/RangeMap.hs, dist/build/Agda/Utils/RangeMap.o, dist/build/Agda/Utils/RangeMap.dyn_o )
[100 of 401] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.o, dist/build/Agda/Compiler/JS/Substitution.dyn_o )
[101 of 401] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.o, dist/build/Agda/Compiler/JS/Pretty.dyn_o )
[102 of 401] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o, dist/build/Agda/Auto/CaseSplit.dyn_o )
[103 of 401] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_o )
[104 of 401] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, dist/build/Agda/Utils/Graph/TopSort.o, dist/build/Agda/Utils/Graph/TopSort.dyn_o )
[105 of 401] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_o )
[106 of 401] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist/build/Agda/TypeChecking/Positivity/Occurrence.o, dist/build/Agda/TypeChecking/Positivity/Occurrence.dyn_o )
[107 of 401] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.o, dist/build/Agda/Syntax/Concrete.dyn_o )
[108 of 401] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.o, dist/build/Agda/Syntax/Concrete/Pretty.dyn_o )
[109 of 401] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.o, dist/build/Agda/TypeChecking/Coverage/SplitTree.dyn_o )
[110 of 401] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.o, dist/build/Agda/Syntax/Notation.dyn_o )
[111 of 401] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.o, dist/build/Agda/Benchmarking.dyn_o )
[112 of 401] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist/build/Agda/Syntax/Concrete/Pattern.o, dist/build/Agda/Syntax/Concrete/Pattern.dyn_o )
[113 of 401] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.o, dist/build/Agda/Syntax/Concrete/Operators/Parser.dyn_o )
[114 of 401] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.o, dist/build/Agda/Syntax/Concrete/Generic.dyn_o )
[115 of 401] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, dist/build/Agda/Syntax/Concrete/Fixity.o, dist/build/Agda/Syntax/Concrete/Fixity.dyn_o )
[116 of 401] Compiling Agda.Syntax.Concrete.Definitions.Types ( src/full/Agda/Syntax/Concrete/Definitions/Types.hs, dist/build/Agda/Syntax/Concrete/Definitions/Types.o, dist/build/Agda/Syntax/Concrete/Definitions/Types.dyn_o )
[117 of 401] Compiling Agda.Syntax.Concrete.Definitions.Errors ( src/full/Agda/Syntax/Concrete/Definitions/Errors.hs, dist/build/Agda/Syntax/Concrete/Definitions/Errors.o, dist/build/Agda/Syntax/Concrete/Definitions/Errors.dyn_o )
[118 of 401] Compiling Agda.Syntax.Concrete.Definitions.Monad ( src/full/Agda/Syntax/Concrete/Definitions/Monad.hs, dist/build/Agda/Syntax/Concrete/Definitions/Monad.o, dist/build/Agda/Syntax/Concrete/Definitions/Monad.dyn_o )
[119 of 401] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, dist/build/Agda/Syntax/Concrete/Attribute.o, dist/build/Agda/Syntax/Concrete/Attribute.dyn_o )
[120 of 401] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.o, dist/build/Agda/Utils/Favorites.dyn_o )
[121 of 401] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.o, dist/build/Agda/Utils/AssocList.dyn_o )
[122 of 401] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.o, dist/build/Agda/Syntax/Scope/Base.dyn_o )
[123 of 401] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.o, dist/build/Agda/Syntax/Info.dyn_o )
[124 of 401] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.o, dist/build/Agda/Interaction/Highlighting/Precise.dyn_o )
[125 of 401] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist/build/Agda/Interaction/Response.o-boot, dist/build/Agda/Interaction/Response.dyn_o )
[126 of 401] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o, dist/build/Agda/Termination/SparseMatrix.dyn_o )
[127 of 401] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.o, dist/build/Agda/Termination/Order.dyn_o )
[128 of 401] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.o, dist/build/Agda/Termination/CallMatrix.dyn_o )
[129 of 401] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o, dist/build/Agda/Termination/CallGraph.dyn_o )
[130 of 401] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o, dist/build/Agda/Termination/Termination.dyn_o )
[131 of 401] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.o, dist/build/Agda/Syntax/Parser/Alex.dyn_o )
[132 of 401] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.o, dist/build/Agda/Syntax/Parser/LookAhead.dyn_o )
[133 of 401] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.o, dist/build/Agda/Syntax/Parser/StringLiterals.dyn_o )
[134 of 401] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.o-boot, dist/build/Agda/Syntax/Parser/LexActions.dyn_o )
[135 of 401] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.o-boot, dist/build/Agda/Syntax/Parser/Layout.dyn_o )
[136 of 401] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.o, dist/build/Agda/Syntax/Parser/Comments.dyn_o )
[137 of 401] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.o, dist/build/Agda/Syntax/Parser/Lexer.dyn_o )
[138 of 401] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.o, dist/build/Agda/Syntax/Parser/Parser.dyn_o )
[139 of 401] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.o, dist/build/Agda/Syntax/Parser/LexActions.dyn_o )
[140 of 401] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.o, dist/build/Agda/Syntax/Parser/Layout.dyn_o )
[141 of 401] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.o, dist/build/Agda/Syntax/Parser.dyn_o )
[142 of 401] Compiling Agda.Syntax.Internal.Elim ( src/full/Agda/Syntax/Internal/Elim.hs, dist/build/Agda/Syntax/Internal/Elim.o, dist/build/Agda/Syntax/Internal/Elim.dyn_o )
[143 of 401] Compiling Agda.Syntax.Internal.Blockers ( src/full/Agda/Syntax/Internal/Blockers.hs, dist/build/Agda/Syntax/Internal/Blockers.o, dist/build/Agda/Syntax/Internal/Blockers.dyn_o )
[144 of 401] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o, dist/build/Agda/Syntax/Internal.dyn_o )
[145 of 401] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist/build/Agda/TypeChecking/Substitute/DeBruijn.o, dist/build/Agda/TypeChecking/Substitute/DeBruijn.dyn_o )
[146 of 401] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist/build/Agda/TypeChecking/Free/Precompute.o, dist/build/Agda/TypeChecking/Free/Precompute.dyn_o )
[147 of 401] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist/build/Agda/TypeChecking/Free/Lazy.o, dist/build/Agda/TypeChecking/Free/Lazy.dyn_o )
[148 of 401] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.o, dist/build/Agda/TypeChecking/Free.dyn_o )
[149 of 401] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist/build/Agda/TypeChecking/Substitute/Class.o, dist/build/Agda/TypeChecking/Substitute/Class.dyn_o )
[150 of 401] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist/build/Agda/Syntax/Reflected.o, dist/build/Agda/Syntax/Reflected.dyn_o )
[151 of 401] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.o, dist/build/Agda/Syntax/Internal/Pattern.dyn_o )
[152 of 401] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.o, dist/build/Agda/Syntax/Internal/Generic.dyn_o )
[153 of 401] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.o, dist/build/Agda/TypeChecking/CompiledClause.dyn_o )
[154 of 401] Compiling Agda.Syntax.Internal.MetaVars ( src/full/Agda/Syntax/Internal/MetaVars.hs, dist/build/Agda/Syntax/Internal/MetaVars.o, dist/build/Agda/Syntax/Internal/MetaVars.dyn_o )
[155 of 401] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.o, dist/build/Agda/Syntax/Internal/Defs.dyn_o )
[156 of 401] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.o, dist/build/Agda/Syntax/Abstract.dyn_o )
[157 of 401] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.o, dist/build/Agda/Syntax/Abstract/Views.dyn_o )
[158 of 401] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist/build/Agda/Syntax/Abstract/PatternSynonyms.o, dist/build/Agda/Syntax/Abstract/PatternSynonyms.dyn_o )
[159 of 401] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist/build/Agda/Syntax/Abstract/Pattern.o, dist/build/Agda/Syntax/Abstract/Pattern.dyn_o )
[160 of 401] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist/build/Agda/Utils/TypeLevel.o, dist/build/Agda/Utils/TypeLevel.dyn_o )
[161 of 401] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist/build/Agda/Utils/TypeLits.o, dist/build/Agda/Utils/TypeLits.dyn_o )
[162 of 401] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o, dist/build/Agda/Utils/Update.dyn_o )
[163 of 401] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.o, dist/build/Agda/Syntax/Concrete/Definitions.dyn_o )
[164 of 401] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o, dist/build/Agda/Utils/VarSet.dyn_o )
[165 of 401] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.o, dist/build/Agda/Utils/Warshall.dyn_o )
[166 of 401] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist/build/Agda/Utils/WithDefault.o, dist/build/Agda/Utils/WithDefault.dyn_o )
[167 of 401] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist/build/Agda/Utils/Zipper.o, dist/build/Agda/Utils/Zipper.dyn_o )
[168 of 401] Compiling Paths_Agda       ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o, dist/build/Paths_Agda.dyn_o )
[169 of 401] Compiling Agda.Version     ( src/full/Agda/Version.hs, dist/build/Agda/Version.o, dist/build/Agda/Version.dyn_o )
[170 of 401] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist/build/Agda/VersionCommit.o, dist/build/Agda/VersionCommit.dyn_o )
[171 of 401] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist/build/Agda/Interaction/Library.o, dist/build/Agda/Interaction/Library.dyn_o )
[172 of 401] Compiling Agda.Interaction.Options.Base ( src/full/Agda/Interaction/Options/Base.hs, dist/build/Agda/Interaction/Options/Base.o, dist/build/Agda/Interaction/Options/Base.dyn_o )
[173 of 401] Compiling Agda.Interaction.Options.HasOptions ( src/full/Agda/Interaction/Options/HasOptions.hs, dist/build/Agda/Interaction/Options/HasOptions.o, dist/build/Agda/Interaction/Options/HasOptions.dyn_o )
[174 of 401] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.o, dist/build/Agda/Interaction/Options.dyn_o )
[175 of 401] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.o, dist/build/Agda/TypeChecking/Monad/Base.dyn_o )
[176 of 401] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist/build/Agda/TypeChecking/Serialise/Base.o, dist/build/Agda/TypeChecking/Serialise/Base.dyn_o )
[177 of 401] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist/build/Agda/TypeChecking/Rules/Term.o-boot, dist/build/Agda/TypeChecking/Rules/Term.dyn_o )
[178 of 401] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist/build/Agda/TypeChecking/Rules/Decl.o-boot, dist/build/Agda/TypeChecking/Rules/Decl.dyn_o )
[179 of 401] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, dist/build/Agda/TypeChecking/Rules/Application.o-boot, dist/build/Agda/TypeChecking/Rules/Application.dyn_o )
[180 of 401] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist/build/Agda/TypeChecking/Rewriting.o-boot, dist/build/Agda/TypeChecking/Rewriting.dyn_o )
[181 of 401] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, dist/build/Agda/TypeChecking/Reduce/Fast.o-boot, dist/build/Agda/TypeChecking/Reduce/Fast.dyn_o )
[182 of 401] Compiling Agda.TypeChecking.Reduce[boot] ( src/full/Agda/TypeChecking/Reduce.hs-boot, dist/build/Agda/TypeChecking/Reduce.o-boot, dist/build/Agda/TypeChecking/Reduce.dyn_o )
[183 of 401] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, dist/build/Agda/TypeChecking/Primitive.o-boot, dist/build/Agda/TypeChecking/Primitive.dyn_o )
[184 of 401] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist/build/Agda/TypeChecking/Monad/Options.o-boot, dist/build/Agda/TypeChecking/Monad/Options.dyn_o )
[185 of 401] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, dist/build/Agda/TypeChecking/Monad/MetaVars.o-boot, dist/build/Agda/TypeChecking/Monad/MetaVars.dyn_o )
[186 of 401] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist/build/Agda/TypeChecking/Monad/Imports.o, dist/build/Agda/TypeChecking/Monad/Imports.dyn_o )
[187 of 401] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist/build/Agda/TypeChecking/Monad/Env.o, dist/build/Agda/TypeChecking/Monad/Env.dyn_o )
[188 of 401] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist/build/Agda/TypeChecking/Monad/Context.o-boot, dist/build/Agda/TypeChecking/Monad/Context.dyn_o )
[189 of 401] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, dist/build/Agda/TypeChecking/Monad/Builtin.o-boot, dist/build/Agda/TypeChecking/Monad/Builtin.dyn_o )
[190 of 401] Compiling Agda.TypeChecking.Lock[boot] ( src/full/Agda/TypeChecking/Lock.hs-boot, dist/build/Agda/TypeChecking/Lock.o-boot, dist/build/Agda/TypeChecking/Lock.dyn_o )
[191 of 401] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist/build/Agda/TypeChecking/Errors.o-boot, dist/build/Agda/TypeChecking/Errors.dyn_o )
[192 of 401] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.o, dist/build/Agda/TypeChecking/Monad/Debug.dyn_o )
[193 of 401] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist/build/Agda/TypeChecking/Monad/Statistics.o, dist/build/Agda/TypeChecking/Monad/Statistics.dyn_o )
[194 of 401] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, dist/build/Agda/TypeChecking/Monad/Signature.o-boot, dist/build/Agda/TypeChecking/Monad/Signature.dyn_o )
[195 of 401] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist/build/Agda/TypeChecking/ProjectionLike.o-boot, dist/build/Agda/TypeChecking/ProjectionLike.dyn_o )
[196 of 401] Compiling Agda.TypeChecking.Monad.Pure[boot] ( src/full/Agda/TypeChecking/Monad/Pure.hs-boot, dist/build/Agda/TypeChecking/Monad/Pure.o-boot, dist/build/Agda/TypeChecking/Monad/Pure.dyn_o )
[197 of 401] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist/build/Agda/TypeChecking/Pretty.o-boot, dist/build/Agda/TypeChecking/Pretty.dyn_o )
[198 of 401] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, dist/build/Agda/TypeChecking/Pretty/Warning.o-boot, dist/build/Agda/TypeChecking/Pretty/Warning.dyn_o )
[199 of 401] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, dist/build/Agda/TypeChecking/Pretty/Call.o-boot, dist/build/Agda/TypeChecking/Pretty/Call.dyn_o )
[200 of 401] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist/build/Agda/TypeChecking/Monad/Caching.o, dist/build/Agda/TypeChecking/Monad/Caching.dyn_o )
[201 of 401] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist/build/Agda/TypeChecking/Monad/Benchmark.o, dist/build/Agda/TypeChecking/Monad/Benchmark.dyn_o )
[202 of 401] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.o-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.dyn_o )
[203 of 401] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.o-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o )
[204 of 401] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist/build/Agda/Syntax/Internal/Names.o, dist/build/Agda/Syntax/Internal/Names.dyn_o )
[205 of 401] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist/build/Agda/Interaction/Imports.o-boot, dist/build/Agda/Interaction/Imports.dyn_o )
[206 of 401] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist/build/Agda/Interaction/Highlighting/Generate.o-boot, dist/build/Agda/Interaction/Highlighting/Generate.dyn_o )
[207 of 401] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, dist/build/Agda/TypeChecking/Warnings.o, dist/build/Agda/TypeChecking/Warnings.dyn_o )
[208 of 401] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, dist/build/Agda/Compiler/Treeless/Erase.o-boot, dist/build/Agda/Compiler/Treeless/Erase.dyn_o )
[209 of 401] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, dist/build/Agda/TypeChecking/Inlining.o, dist/build/Agda/TypeChecking/Inlining.dyn_o )
[210 of 401] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, dist/build/Agda/Interaction/Base.o, dist/build/Agda/Interaction/Base.dyn_o )
[211 of 401] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.o, dist/build/Agda/Interaction/Response.dyn_o )
[212 of 401] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist/build/Agda/TypeChecking/Monad/State.o, dist/build/Agda/TypeChecking/Monad/State.dyn_o )
[213 of 401] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist/build/Agda/TypeChecking/Monad/Trace.o, dist/build/Agda/TypeChecking/Monad/Trace.dyn_o )
[214 of 401] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist/build/Agda/TypeChecking/Monad/Mutual.o, dist/build/Agda/TypeChecking/Monad/Mutual.dyn_o )
[215 of 401] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist/build/Agda/TypeChecking/Monad/Closure.o, dist/build/Agda/TypeChecking/Monad/Closure.dyn_o )
[216 of 401] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist/build/Agda/TypeChecking/Monad/Constraints.o, dist/build/Agda/TypeChecking/Monad/Constraints.dyn_o )
[217 of 401] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist/build/Agda/TypeChecking/Constraints.o-boot, dist/build/Agda/TypeChecking/Constraints.dyn_o )
[218 of 401] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist/build/Agda/Interaction/Options/Lenses.o, dist/build/Agda/Interaction/Options/Lenses.dyn_o )
[219 of 401] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist/build/Agda/Interaction/FindFile.o, dist/build/Agda/Interaction/FindFile.dyn_o )
[220 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Common.o, dist/build/Agda/TypeChecking/Serialise/Instances/Common.dyn_o )
[221 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o, dist/build/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_o )
[222 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Abstract.o, dist/build/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_o )
[223 of 401] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist/build/Agda/TypeChecking/Monad/Options.o, dist/build/Agda/TypeChecking/Monad/Options.dyn_o )
[224 of 401] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist/build/Agda/TypeChecking/Substitute.o, dist/build/Agda/TypeChecking/Substitute.dyn_o )
[225 of 401] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist/build/Agda/TypeChecking/Monad/Open.o, dist/build/Agda/TypeChecking/Monad/Open.dyn_o )
[226 of 401] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist/build/Agda/TypeChecking/Monad/Context.o, dist/build/Agda/TypeChecking/Monad/Context.dyn_o )
[227 of 401] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist/build/Agda/TypeChecking/Telescope.o-boot, dist/build/Agda/TypeChecking/Telescope.dyn_o )
[228 of 401] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist/build/Agda/TypeChecking/Monad/Builtin.o, dist/build/Agda/TypeChecking/Monad/Builtin.dyn_o )
[229 of 401] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist/build/Agda/TypeChecking/Polarity.o-boot, dist/build/Agda/TypeChecking/Polarity.dyn_o )
[230 of 401] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist/build/Agda/TypeChecking/Monad/SizedTypes.o, dist/build/Agda/TypeChecking/Monad/SizedTypes.dyn_o )
[231 of 401] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, dist/build/Agda/TypeChecking/Level.o-boot, dist/build/Agda/TypeChecking/Level.dyn_o )
[232 of 401] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist/build/Agda/Syntax/Scope/Monad.o, dist/build/Agda/Syntax/Scope/Monad.dyn_o )
[233 of 401] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist/build/Agda/Syntax/Translation/AbstractToConcrete.o, dist/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o )
[234 of 401] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist/build/Agda/Syntax/Abstract/Pretty.o, dist/build/Agda/Syntax/Abstract/Pretty.dyn_o )
[235 of 401] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist/build/Agda/Syntax/Concrete/Operators.o, dist/build/Agda/Syntax/Concrete/Operators.dyn_o )
[236 of 401] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist/build/Agda/TypeChecking/DropArgs.o, dist/build/Agda/TypeChecking/DropArgs.dyn_o )
[237 of 401] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist/build/Agda/Compiler/Treeless/Subst.o, dist/build/Agda/Compiler/Treeless/Subst.dyn_o )
[238 of 401] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist/build/Agda/Compiler/Treeless/Pretty.o, dist/build/Agda/Compiler/Treeless/Pretty.dyn_o )
[239 of 401] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist/build/Agda/Compiler/Treeless/Compare.o, dist/build/Agda/Compiler/Treeless/Compare.dyn_o )
[240 of 401] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist/build/Agda/Compiler/Treeless/Uncase.o, dist/build/Agda/Compiler/Treeless/Uncase.dyn_o )
[241 of 401] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.o, dist/build/Agda/TypeChecking/Monad/Signature.dyn_o )
[242 of 401] Compiling Agda.TypeChecking.Monad.Pure ( src/full/Agda/TypeChecking/Monad/Pure.hs, dist/build/Agda/TypeChecking/Monad/Pure.o, dist/build/Agda/TypeChecking/Monad/Pure.dyn_o )
[243 of 401] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, dist/build/Agda/TypeChecking/Irrelevance.o-boot, dist/build/Agda/TypeChecking/Irrelevance.dyn_o )
[244 of 401] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist/build/Agda/TypeChecking/Monad/MetaVars.o, dist/build/Agda/TypeChecking/Monad/MetaVars.dyn_o )
[245 of 401] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist/build/Agda/TypeChecking/MetaVars.o-boot, dist/build/Agda/TypeChecking/MetaVars.dyn_o )
[246 of 401] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist/build/Agda/TypeChecking/Datatypes.o-boot, dist/build/Agda/TypeChecking/Datatypes.dyn_o )
[247 of 401] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist/build/Agda/TypeChecking/Monad.o, dist/build/Agda/TypeChecking/Monad.dyn_o )
[248 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Compilers.o, dist/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o )
[249 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Internal.o, dist/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o )
[250 of 401] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.o, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o )
[251 of 401] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, dist/build/Agda/TypeChecking/Serialise/Instances.o, dist/build/Agda/TypeChecking/Serialise/Instances.dyn_o )
[252 of 401] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist/build/Agda/TypeChecking/Serialise.o, dist/build/Agda/TypeChecking/Serialise.dyn_o )
[253 of 401] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist/build/Agda/TypeChecking/Rules/Def.o-boot, dist/build/Agda/TypeChecking/Rules/Def.dyn_o )
[254 of 401] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o-boot, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o )
[255 of 401] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, dist/build/Agda/TypeChecking/Rewriting/Clause.o, dist/build/Agda/TypeChecking/Rewriting/Clause.dyn_o )
[256 of 401] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist/build/Agda/TypeChecking/Reduce/Monad.o, dist/build/Agda/TypeChecking/Reduce/Monad.dyn_o )
[257 of 401] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o, dist/build/Agda/ImpossibleTest.dyn_o )
[258 of 401] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist/build/Agda/TypeChecking/Records.o-boot, dist/build/Agda/TypeChecking/Records.dyn_o )
[259 of 401] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist/build/Agda/TypeChecking/Patterns/Match.o-boot, dist/build/Agda/TypeChecking/Patterns/Match.dyn_o )
[260 of 401] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist/build/Agda/TypeChecking/Patterns/Abstract.o, dist/build/Agda/TypeChecking/Patterns/Abstract.dyn_o )
[261 of 401] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, dist/build/Agda/TypeChecking/Names.o, dist/build/Agda/TypeChecking/Names.dyn_o )
[262 of 401] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist/build/Agda/TypeChecking/MetaVars/Mention.o, dist/build/Agda/TypeChecking/MetaVars/Mention.dyn_o )
[263 of 401] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist/build/Agda/TypeChecking/EtaContract.o, dist/build/Agda/TypeChecking/EtaContract.dyn_o )
[264 of 401] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist/build/Agda/TypeChecking/Reduce.o, dist/build/Agda/TypeChecking/Reduce.dyn_o )
[265 of 401] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist/build/Agda/TypeChecking/Telescope.o, dist/build/Agda/TypeChecking/Telescope.dyn_o )
[266 of 401] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist/build/Agda/TypeChecking/SyntacticEquality.o, dist/build/Agda/TypeChecking/SyntacticEquality.dyn_o )
[267 of 401] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, dist/build/Agda/TypeChecking/Patterns/Internal.o, dist/build/Agda/TypeChecking/Patterns/Internal.dyn_o )
[268 of 401] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist/build/Agda/TypeChecking/Level.o, dist/build/Agda/TypeChecking/Level.dyn_o )
[269 of 401] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist/build/Agda/TypeChecking/LevelConstraints.o, dist/build/Agda/TypeChecking/LevelConstraints.dyn_o )
[270 of 401] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, dist/build/Agda/TypeChecking/Level/Solve.o, dist/build/Agda/TypeChecking/Level/Solve.dyn_o )
[271 of 401] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, dist/build/Agda/TypeChecking/Free/Reduce.o, dist/build/Agda/TypeChecking/Free/Reduce.dyn_o )
[272 of 401] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist/build/Agda/TypeChecking/Forcing.o, dist/build/Agda/TypeChecking/Forcing.dyn_o )
[273 of 401] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist/build/Agda/TypeChecking/Empty.o-boot, dist/build/Agda/TypeChecking/Empty.dyn_o )
[274 of 401] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist/build/Agda/TypeChecking/DisplayForm.o, dist/build/Agda/TypeChecking/DisplayForm.dyn_o )
[275 of 401] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, dist/build/Agda/TypeChecking/DeadCode.o, dist/build/Agda/TypeChecking/DeadCode.dyn_o )
[276 of 401] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist/build/Agda/TypeChecking/Conversion.o-boot, dist/build/Agda/TypeChecking/Conversion.dyn_o )
[277 of 401] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist/build/Agda/TypeChecking/CompiledClause/Match.o, dist/build/Agda/TypeChecking/CompiledClause/Match.dyn_o )
[278 of 401] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, dist/build/Agda/TypeChecking/CheckInternal.o-boot, dist/build/Agda/TypeChecking/CheckInternal.dyn_o )
[279 of 401] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist/build/Agda/Termination/RecCheck.o, dist/build/Agda/Termination/RecCheck.dyn_o )
[280 of 401] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, dist/build/Agda/Syntax/Translation/ReflectedToAbstract.o, dist/build/Agda/Syntax/Translation/ReflectedToAbstract.dyn_o )
[281 of 401] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.o, dist/build/Agda/Syntax/Translation/InternalToAbstract.dyn_o )
[282 of 401] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist/build/Agda/TypeChecking/Pretty.o, dist/build/Agda/TypeChecking/Pretty.dyn_o )
[283 of 401] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, dist/build/Agda/TypeChecking/Telescope/Path.o, dist/build/Agda/TypeChecking/Telescope/Path.dyn_o )
[284 of 401] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, dist/build/Agda/TypeChecking/Rules/Display.o, dist/build/Agda/TypeChecking/Rules/Display.dyn_o )
[285 of 401] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, dist/build/Agda/TypeChecking/Primitive/Base.o, dist/build/Agda/TypeChecking/Primitive/Base.dyn_o )
[286 of 401] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist/build/Agda/TypeChecking/Quote.o, dist/build/Agda/TypeChecking/Quote.dyn_o )
[287 of 401] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist/build/Agda/TypeChecking/Primitive/Cubical.o, dist/build/Agda/TypeChecking/Primitive/Cubical.dyn_o )
[288 of 401] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.o, dist/build/Agda/TypeChecking/Primitive.dyn_o )
[289 of 401] Compiling Agda.TypeChecking.Pretty.Constraint[boot] ( src/full/Agda/TypeChecking/Pretty/Constraint.hs-boot, dist/build/Agda/TypeChecking/Pretty/Constraint.o-boot, dist/build/Agda/TypeChecking/Pretty/Constraint.dyn_o )
[290 of 401] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, dist/build/Agda/TypeChecking/Pretty/Call.o, dist/build/Agda/TypeChecking/Pretty/Call.dyn_o )
[291 of 401] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist/build/Agda/TypeChecking/Irrelevance.o, dist/build/Agda/TypeChecking/Irrelevance.dyn_o )
[292 of 401] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist/build/Agda/TypeChecking/Records.o, dist/build/Agda/TypeChecking/Records.dyn_o )
[293 of 401] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist/build/Agda/TypeChecking/Rules/LHS/Problem.o, dist/build/Agda/TypeChecking/Rules/LHS/Problem.dyn_o )
[294 of 401] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist/build/Agda/TypeChecking/Patterns/Match.o, dist/build/Agda/TypeChecking/Patterns/Match.dyn_o )
[295 of 401] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist/build/Agda/TypeChecking/Implicit.o, dist/build/Agda/TypeChecking/Implicit.dyn_o )
[296 of 401] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.o, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.dyn_o )
[297 of 401] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_o )
[298 of 401] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, dist/build/Agda/TypeChecking/Functions.o, dist/build/Agda/TypeChecking/Functions.dyn_o )
[299 of 401] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist/build/Agda/TypeChecking/Datatypes.o, dist/build/Agda/TypeChecking/Datatypes.dyn_o )
[300 of 401] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinPattern.o, dist/build/Agda/TypeChecking/Rewriting/NonLinPattern.dyn_o )
[301 of 401] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist/build/Agda/TypeChecking/RecordPatterns.o, dist/build/Agda/TypeChecking/RecordPatterns.dyn_o )
[302 of 401] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist/build/Agda/TypeChecking/Positivity.o, dist/build/Agda/TypeChecking/Positivity.dyn_o )
[303 of 401] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist/build/Agda/TypeChecking/ProjectionLike.o, dist/build/Agda/TypeChecking/ProjectionLike.dyn_o )
[304 of 401] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, dist/build/Agda/TypeChecking/Sort.o, dist/build/Agda/TypeChecking/Sort.dyn_o )
[305 of 401] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, dist/build/Agda/TypeChecking/Pretty/Warning.o, dist/build/Agda/TypeChecking/Pretty/Warning.dyn_o )
[306 of 401] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.o, dist/build/Agda/TypeChecking/Coverage/Match.dyn_o )
[307 of 401] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, dist/build/Agda/TypeChecking/Conversion/Pure.o, dist/build/Agda/TypeChecking/Conversion/Pure.dyn_o )
[308 of 401] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinMatch.o, dist/build/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_o )
[309 of 401] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist/build/Agda/Termination/Monad.o, dist/build/Agda/Termination/Monad.dyn_o )
[310 of 401] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist/build/Agda/TypeChecking/Errors.o, dist/build/Agda/TypeChecking/Errors.dyn_o )
[311 of 401] Compiling Agda.TypeChecking.Pretty.Constraint ( src/full/Agda/TypeChecking/Pretty/Constraint.hs, dist/build/Agda/TypeChecking/Pretty/Constraint.o, dist/build/Agda/TypeChecking/Pretty/Constraint.dyn_o )
[312 of 401] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist/build/Agda/TypeChecking/SizedTypes.o, dist/build/Agda/TypeChecking/SizedTypes.dyn_o )
[313 of 401] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist/build/Agda/TypeChecking/Polarity.o, dist/build/Agda/TypeChecking/Polarity.dyn_o )
[314 of 401] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist/build/Agda/TypeChecking/Injectivity.o, dist/build/Agda/TypeChecking/Injectivity.dyn_o )
[315 of 401] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist/build/Agda/TypeChecking/InstanceArguments.o, dist/build/Agda/TypeChecking/InstanceArguments.dyn_o )
[316 of 401] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist/build/Agda/TypeChecking/Constraints.o, dist/build/Agda/TypeChecking/Constraints.dyn_o )
[317 of 401] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.o, dist/build/Agda/TypeChecking/Rules/LHS/Unify.dyn_o )
[318 of 401] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.o, dist/build/Agda/TypeChecking/MetaVars/Occurs.dyn_o )
[319 of 401] Compiling Agda.TypeChecking.Lock ( src/full/Agda/TypeChecking/Lock.hs, dist/build/Agda/TypeChecking/Lock.o, dist/build/Agda/TypeChecking/Lock.dyn_o )
[320 of 401] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist/build/Agda/TypeChecking/MetaVars.o, dist/build/Agda/TypeChecking/MetaVars.dyn_o )
[321 of 401] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist/build/Agda/TypeChecking/SizedTypes/Solve.o, dist/build/Agda/TypeChecking/SizedTypes/Solve.dyn_o )
[322 of 401] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist/build/Agda/TypeChecking/Conversion.o, dist/build/Agda/TypeChecking/Conversion.dyn_o )
[323 of 401] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, dist/build/Agda/TypeChecking/Rewriting/Confluence.o, dist/build/Agda/TypeChecking/Rewriting/Confluence.dyn_o )
[324 of 401] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist/build/Agda/TypeChecking/Rewriting.o, dist/build/Agda/TypeChecking/Rewriting.dyn_o )
[325 of 401] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, dist/build/Agda/TypeChecking/Reduce/Fast.o, dist/build/Agda/TypeChecking/Reduce/Fast.dyn_o )
[326 of 401] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, dist/build/Agda/TypeChecking/IApplyConfluence.o, dist/build/Agda/TypeChecking/IApplyConfluence.dyn_o )
[327 of 401] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, dist/build/Agda/TypeChecking/Generalize.o, dist/build/Agda/TypeChecking/Generalize.dyn_o )
[328 of 401] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist/build/Agda/TypeChecking/Rules/Data.o, dist/build/Agda/TypeChecking/Rules/Data.dyn_o )
[329 of 401] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist/build/Agda/TypeChecking/CheckInternal.o, dist/build/Agda/TypeChecking/CheckInternal.dyn_o )
[330 of 401] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, dist/build/Agda/TypeChecking/ReconstructParameters.o, dist/build/Agda/TypeChecking/ReconstructParameters.dyn_o )
[331 of 401] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist/build/Agda/TypeChecking/Unquote.o, dist/build/Agda/TypeChecking/Unquote.dyn_o )
[332 of 401] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, dist/build/Agda/TypeChecking/EtaExpand.o, dist/build/Agda/TypeChecking/EtaExpand.dyn_o )
[333 of 401] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist/build/Agda/TypeChecking/Abstract.o, dist/build/Agda/TypeChecking/Abstract.dyn_o )
[334 of 401] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist/build/Agda/TypeChecking/With.o, dist/build/Agda/TypeChecking/With.dyn_o )
[335 of 401] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist/build/Agda/Termination/TermCheck.o, dist/build/Agda/Termination/TermCheck.dyn_o )
[336 of 401] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, dist/build/Agda/Syntax/Internal/SanityCheck.o, dist/build/Agda/Syntax/Internal/SanityCheck.dyn_o )
[337 of 401] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, dist/build/Agda/Syntax/IdiomBrackets.o, dist/build/Agda/Syntax/IdiomBrackets.dyn_o )
[338 of 401] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, dist/build/Agda/Syntax/DoNotation.o, dist/build/Agda/Syntax/DoNotation.dyn_o )
[339 of 401] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist/build/Agda/Interaction/Monad.o, dist/build/Agda/Interaction/Monad.dyn_o )
[340 of 401] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, dist/build/Agda/Interaction/JSON.o, dist/build/Agda/Interaction/JSON.dyn_o )
[341 of 401] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist/build/Agda/Interaction/Highlighting/Vim.o, dist/build/Agda/Interaction/Highlighting/Vim.dyn_o )
[342 of 401] Compiling Agda.Interaction.Highlighting.FromAbstract ( src/full/Agda/Interaction/Highlighting/FromAbstract.hs, dist/build/Agda/Interaction/Highlighting/FromAbstract.o, dist/build/Agda/Interaction/Highlighting/FromAbstract.dyn_o )
[343 of 401] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist/build/Agda/Interaction/Highlighting/Generate.o, dist/build/Agda/Interaction/Highlighting/Generate.dyn_o )
[344 of 401] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist/build/Agda/TypeChecking/Rules/LHS.o, dist/build/Agda/TypeChecking/Rules/LHS.dyn_o )
[345 of 401] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist/build/Agda/TypeChecking/Rules/Term.o, dist/build/Agda/TypeChecking/Rules/Term.dyn_o )
[346 of 401] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist/build/Agda/TypeChecking/Rules/Builtin.o, dist/build/Agda/TypeChecking/Rules/Builtin.dyn_o )
[347 of 401] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o )
[348 of 401] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist/build/Agda/TypeChecking/Coverage.o, dist/build/Agda/TypeChecking/Coverage.dyn_o )
[349 of 401] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist/build/Agda/TypeChecking/Empty.o, dist/build/Agda/TypeChecking/Empty.dyn_o )
[350 of 401] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist/build/Agda/TypeChecking/CompiledClause/Compile.o, dist/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o )
[351 of 401] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist/build/Agda/TypeChecking/Rules/Record.o, dist/build/Agda/TypeChecking/Rules/Record.dyn_o )
ghc: panic! (the 'impossible' happened)
  (GHC version 8.10.7:
	cpeBody
  Int
  Sig
    ds31_sxdR8
    (case con_ax3B2 of
     { ConHead ds34_dpbII ds35_dpbIJ ds36_dpbIK ds37_dpbIL ->
     case ds34_dpbII of { QName ww3_iuDqu ww4_iuDqv ->
     case ww4_iuDqv of
     { Name ww6_iuDqy ww7_iuDqz ww8_iuDqA ww9_iuDqB ww10_iuDqC
            ww11_iuDqD ->
     case ww6_iuDqy of { NameId ww13_sxdRd ww14_sxdRe ->
     $w$sadjust
       @ Definition
       (\ (def_iuCjD :: Definition) ->
          case def_iuCjD of
          { Defn ds38_iuCjF ds39_iuCjG ds40_iuCjH ds41_iuCjI ds42_iuCjJ
                 ds43_iuCjK ds44_iuCjL ds45_iuCjM ds46_iuCjN ds47_iuCjO ds48_iuCjP
                 ds49_iuCjQ ds50_iuCjR ds51_iuCjS ds52_iuCjT ds53_iuCjU ds54_iuCjV
                 ds55_iuCjW ds56_iuCjX ->
          Defn
            ds38_iuCjF
            ds39_iuCjG
            ds40_iuCjH
            ds41_iuCjI
            ds42_iuCjJ
            ds43_iuCjK
            ds44_iuCjL
            ds45_iuCjM
            ds46_iuCjN
            ds47_iuCjO
            ds48_iuCjP
            ds49_iuCjQ
            ds50_iuCjR
            ds51_iuCjS
            ds52_iuCjT
            ds53_iuCjU
            ds54_iuCjV
            ds55_iuCjW
            (case ds56_iuCjX of {
               __DEFAULT -> lvl165_rxfs7;
               Constructor ds57_dx4zi ds58_dx4zj ds59_dx4zk ds60_dx4zl ds61_dx4zm
                           ds62_dx4zn ds63_dx4zo ds64_dx4zp ds65_dx4zq ds66_dx4zr ->
                 Constructor
                   ds57_dx4zi
                   ds58_dx4zj
                   ds59_dx4zk
                   ds60_dx4zl
                   ds61_dx4zm
                   ds62_dx4zn
                   ipv2_XFVkh
                   lvl92_rxfqF
                   ds65_dx4zq
                   ds66_dx4zr
             })
          })
       ww3_iuDqu
       ww13_sxdRd
       ww14_sxdRe
       ww7_iuDqz
       ww8_iuDqA
       ww9_iuDqB
       ww10_iuDqC
       ww11_iuDqD
       ds32_sxdR9
     }
     }
     }
     })
    ds33_sxdRa
  Call stack:
      CallStack (from HasCallStack):
        callStackDoc, called at compiler/utils/Outputable.hs:1179:37 in ghc:Outputable
        pprPanic, called at compiler/coreSyn/CorePrep.hs:933:28 in ghc:CorePrep

Please report this as a GHC bug:  https://www.haskell.org/ghc/reportabug

error: in phase 'build': uncaught exception:
%exception #<&invoke-error program: "runhaskell" arguments: ("-package-db=/tmp/guix-build-agda-2.6.2.2.drv-0/package.conf.d" "Setup.hs" "build") exit-status: 1 term-signal: #f stop-signal: #f> 
phase `build' failed after 1516.1 seconds
command "runhaskell" "-package-db=/tmp/guix-build-agda-2.6.2.2.drv-0/package.conf.d" "Setup.hs" "build" failed with status 1