AUR (en) - agda-git

Git Clone URL:	https://aur.archlinux.org/agda-git.git (read-only, click to copy)
Package Base:	agda-git
Description:	A dependently typed functional programming language and proof assistant: development version
Upstream URL:	http://wiki.portal.chalmers.se/agda/
Licenses:	custom
Conflicts:	agda
Provides:	agda
Submitter:	johngowers
Maintainer:	johngowers
Last Packager:	johngowers
Votes:	3
Popularity:	0.000000
First Submitted:	2018-06-21 20:18 (UTC)
Last Updated:	2020-11-12 20:31 (UTC)

Ok, I made some patches to fix this: 0001-Fix-compilation-for-2.6.0.patch and 0002-Don-t-use-a-separate-lib-target.patch. I've reproduced their contents below:

From 67b9473883a1d2a7b382a22b78fb11acb9f649fc Mon Sep 17 00:00:00 2001
From: Sean Anderson <seanga2@gmail.com>
Date: Mon, 22 Apr 2019 14:54:11 -0400
Subject: [PATCH 1/2] Fix compilation for 2.6.0

`Setup.hs` has changed considerably since the sed scripts were first
created. This patch updates them. In addition, we need to disable
copying `agdai` files by the script, since we will do it manually. Last,
get rid of the v prefix on tags when generating the version.
---
 .SRCINFO |  4 ++--
 PKGBUILD | 15 ++++++++-------
 2 files changed, 10 insertions(+), 9 deletions(-)

diff --git a/.SRCINFO b/.SRCINFO
index 3e4d047..872f805 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = agda-git
    pkgdesc = A dependently typed functional programming language and proof assistant: development version
-   pkgver = 2.5.1.r5471.51914041f
-   pkgrel = 2
+   pkgver = 2.6.0.r0.g16eb89fb0
+   pkgrel = 1
    url = http://wiki.portal.chalmers.se/agda/
    arch = x86_64
    license = custom
diff --git a/PKGBUILD b/PKGBUILD
index 1090c6b..134bc27 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: John Gowers <wjg27 AT bath DOT ac DOT uk>
 # See also the 'agda' package in the 'community' repository.
 pkgname=agda-git
-pkgver=2.5.1.r5471.51914041f
+pkgver=2.6.0.r0.g16eb89fb0
 pkgrel=1
 pkgdesc="A dependently typed functional programming language and proof assistant: development version"
 arch=('x86_64')
@@ -28,17 +28,18 @@ md5sums=('SKIP')

 pkgver() {
    cd "$srcdir/${pkgname%-git}"
-   printf "%s" "$(git describe --long | sed 's/\([^-]*-\)g/r\1/;s/-/./g')"
+   git describe --long | sed 's/^v//;s/\([^-]*-g\)/r\1/;s/-/./g'
 }

 prepare() {
    mkdir -p lib-target
    cp -a ${pkgname%-git}/src/data/lib lib-target/lib
-   sed -e "s|rawSystem agda \\[|rawSystem \"env\" [\"Agda_datadir=$PWD/lib-target\", \"LD_LIBRARY_PATH=$PWD/${pkgname%-git}/dist/build\", agda,|" \
-       -e "s|(ms, datadir dirs|(ms, \"$PWD/lib-target\"|" \
-       -i ${pkgname%-git}/Setup.hs
-   # Temporary workaround to problem where Sigma.agdai is not built.
-   sed 's/"Reflection", "Size"/"Reflection", "Sigma", "Size"/' -i ${pkgname%-git}/Setup.hs
+   sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\",\"$PWD/lib-target\"), (\"LD_LIBRARY_PATH\", \"$PWD/${pkgname%-git}/dist/build\")] ++ e|" \
+       -e "s|ddir <- .*|let ddir = \"$PWD/lib-target\"|" \
+       -e "s|pd' = pd .*|pd' = pd|" \
+       -i "${pkgname%-git}/Setup.hs"
+
+   sed -i 's/== 0.5/>= 0.5/' "${pkgname%-git}/Agda.cabal"
 }

 build() {
-- 
2.21.0

From 29ce8a7e5abddd7e849bb28d90cce7ecb64fc712 Mon Sep 17 00:00:00 2001
From: Sean Anderson <seanga2@gmail.com>
Date: Mon, 22 Apr 2019 14:59:15 -0400
Subject: [PATCH 2/2] Don't use a separate lib-target

There is no longer any need to use a separate lib-target directory to
generate agdai files for the builtin library, since `Setup.hs` can do it
for us now.
---
 PKGBUILD | 11 +----------
 1 file changed, 1 insertion(+), 10 deletions(-)

diff --git a/PKGBUILD b/PKGBUILD
index 134bc27..675b3bb 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -32,11 +32,7 @@ pkgver() {
 }

 prepare() {
-   mkdir -p lib-target
-   cp -a ${pkgname%-git}/src/data/lib lib-target/lib
-   sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\",\"$PWD/lib-target\"), (\"LD_LIBRARY_PATH\", \"$PWD/${pkgname%-git}/dist/build\")] ++ e|" \
-       -e "s|ddir <- .*|let ddir = \"$PWD/lib-target\"|" \
-       -e "s|pd' = pd .*|pd' = pd|" \
+   sed -e "s|(\"Agda_datadir\", agda_datadir) : e|[(\"Agda_datadir\",agda_datadir), (\"LD_LIBRARY_PATH\", \"$PWD/${pkgname%-git}/dist/build\")] ++ e|" \
        -i "${pkgname%-git}/Setup.hs"

    sed -i 's/== 0.5/>= 0.5/' "${pkgname%-git}/Agda.cabal"
@@ -64,9 +60,4 @@ package() {
    runhaskell Setup copy --destdir="${pkgdir}"
    install -D -m644 "LICENSE" "${pkgdir}/usr/share/licenses/${pkgname%-git}/LICENSE"
    rm -f "${pkgdir}/usr/share/doc/${pkgname%-git}/LICENSE"
-
-   install -m644 "$srcdir"/lib-target/lib/prim/Agda/Primitive.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive.agdai
-        install -m644 "$srcdir"/lib-target/lib/prim/Agda/Primitive/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Primitive/
-   install -m644 "$srcdir"/lib-target/lib/prim/Agda/Builtin/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/
-   install -m644 "$srcdir"/lib-target/lib/prim/Agda/Builtin/Cubical/*.agdai "$pkgdir"/usr/share/agda/lib/prim/Agda/Builtin/Cubical/
 }
-- 
2.21.0

The build fails for agda 2.6 with

$ makepkg
==> Making package: agda-git 2.5.1.r5471.51914041f-1 (Mon 22 Apr 2019 10:35:28 AM EDT)
==> Checking runtime dependencies...
==> Checking buildtime dependencies...
==> Retrieving sources...
  -> Updating agda git repo...
Fetching origin
warning: redirecting to https://github.com/agda/agda.git/
==> Validating source files with md5sums...
    agda ... Skipped
==> Extracting sources...
  -> Creating working copy of agda git repo...
Switched to a new branch 'makepkg'
==> Starting prepare()...
==> Starting pkgver()...
==> Updated version: agda-git v2.6.0.r0.16eb89fb0-1
==> Starting build()...
Configuring Agda-2.6.0...
Preprocessing executable 'agda-mode' for Agda-2.6.0..
Building executable 'agda-mode' for Agda-2.6.0..
[1 of 2] Compiling Paths_Agda       ( dist/build/agda-mode/autogen/Paths_Agda.hs, dist/build/agda-mode/agda-mode-tmp/Paths_Agda.dyn_o )
[2 of 2] Compiling Main             ( src/agda-mode/Main.hs, dist/build/agda-mode/agda-mode-tmp/Main.dyn_o )
Linking dist/build/agda-mode/agda-mode ...
Preprocessing library for Agda-2.6.0..
unused rules: 1
Building library for Agda-2.6.0..
[  1 of 357] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist/build/Agda/Compiler/Backend.dyn_o-boot )
[  2 of 357] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist/build/Agda/Interaction/Library/Base.dyn_o )
[  3 of 357] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, dist/build/Agda/Interaction/Options/IORefs.dyn_o )
[  4 of 357] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, dist/build/Agda/Syntax/Builtin.dyn_o )
[  5 of 357] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.dyn_o )
[  6 of 357] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.dyn_o )
[  7 of 357] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist/build/Agda/Utils/AffineHole.dyn_o )
[  8 of 357] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.dyn_o )
[  9 of 357] Compiling Agda.Utils.Char  ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.dyn_o )
[ 10 of 357] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.dyn_o )
[ 11 of 357] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist/build/Agda/Utils/Environment.dyn_o )
[ 12 of 357] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist/build/Agda/Utils/Except.dyn_o )
[ 13 of 357] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist/build/Agda/Utils/Float.dyn_o )
[ 14 of 357] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.dyn_o )
[ 15 of 357] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.dyn_o )
[ 16 of 357] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.dyn_o )
[ 17 of 357] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, dist/build/Agda/Utils/Graph/TopSort.dyn_o )
[ 18 of 357] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.dyn_o )
[ 19 of 357] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist/build/Agda/Utils/Haskell/Syntax.dyn_o )
[ 20 of 357] Compiling Agda.Utils.IO    ( src/full/Agda/Utils/IO.hs, dist/build/Agda/Utils/IO.dyn_o )
[ 21 of 357] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.dyn_o )
[ 22 of 357] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.dyn_o )
[ 23 of 357] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, dist/build/Agda/Utils/IO/TempFile.dyn_o )
[ 24 of 357] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.dyn_o )
[ 25 of 357] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.dyn_o )
[ 26 of 357] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.dyn_o )
[ 27 of 357] Compiling Agda.Utils.Bag   ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.dyn_o )
[ 28 of 357] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.dyn_o )
[ 29 of 357] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.dyn_o )
[ 30 of 357] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist/build/Agda/Utils/IntSet/Infinite.dyn_o )
[ 31 of 357] Compiling Agda.Utils.Lens  ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.dyn_o )
[ 32 of 357] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist/build/Agda/Utils/IndexedList.dyn_o )
[ 33 of 357] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist/build/Agda/Auto/Options.dyn_o )
[ 34 of 357] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.dyn_o )
[ 35 of 357] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.dyn_o )
[ 36 of 357] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.dyn_o )
[ 37 of 357] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist/build/Agda/Interaction/Options/Warnings.dyn_o )
[ 38 of 357] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist/build/Agda/Interaction/Options/Help.dyn_o )
[ 39 of 357] Compiling Agda.Utils.Memo  ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.dyn_o )
[ 40 of 357] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist/build/Agda/Utils/Monoid.dyn_o )
[ 41 of 357] Compiling Agda.Utils.NonemptyList ( src/full/Agda/Utils/NonemptyList.hs, dist/build/Agda/Utils/NonemptyList.dyn_o )
[ 42 of 357] Compiling Agda.Utils.Null  ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.dyn_o )
[ 43 of 357] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.dyn_o )
[ 44 of 357] Compiling Agda.Utils.Parser.ReadP ( src/full/Agda/Utils/Parser/ReadP.hs, dist/build/Agda/Utils/Parser/ReadP.dyn_o )
[ 45 of 357] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.dyn_o )
[ 46 of 357] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist/build/Agda/Utils/POMonoid.dyn_o )
[ 47 of 357] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.dyn_o )
[ 48 of 357] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.dyn_o )
[ 49 of 357] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist/build/Agda/Utils/Parser/MemoisedCPS.dyn_o )
[ 50 of 357] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.dyn_o )
[ 51 of 357] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.dyn_o )
[ 52 of 357] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.dyn_o )
[ 53 of 357] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.dyn_o )
[ 54 of 357] Compiling Agda.Utils.Size  ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.dyn_o )
[ 55 of 357] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.dyn_o )
[ 56 of 357] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist/build/Agda/Utils/Three.dyn_o )
[ 57 of 357] Compiling Agda.Utils.Trie  ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.dyn_o )
[ 58 of 357] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.dyn_o )
[ 59 of 357] Compiling Agda.Utils.Map   ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.dyn_o )
[ 60 of 357] Compiling Agda.Utils.List  ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.dyn_o )
[ 61 of 357] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.dyn_o )
[ 62 of 357] Compiling Agda.Utils.Time  ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.dyn_o )
[ 63 of 357] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist/build/Agda/Interaction/Library/Parse.dyn_o )
[ 64 of 357] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.dyn_o )
[ 65 of 357] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.dyn_o )
[ 66 of 357] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.dyn_o )
[ 67 of 357] Compiling Agda.Utils.Hash  ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.dyn_o )
[ 68 of 357] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.dyn_o )
[ 69 of 357] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.dyn_o )
[ 70 of 357] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.dyn_o )
[ 71 of 357] Compiling Agda.Syntax.Fixity[boot] ( src/full/Agda/Syntax/Fixity.hs-boot, dist/build/Agda/Syntax/Fixity.dyn_o-boot )
[ 72 of 357] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.dyn_o )
[ 73 of 357] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist/build/Agda/Syntax/Parser/Literate.dyn_o )
[ 74 of 357] Compiling Agda.Syntax.Concrete.Operators.Parser.Monad ( src/full/Agda/Syntax/Concrete/Operators/Parser/Monad.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser/Monad.dyn_o )
[ 75 of 357] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.dyn_o )
[ 76 of 357] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.dyn_o )
[ 77 of 357] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.dyn_o )
[ 78 of 357] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.dyn_o )
[ 79 of 357] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.dyn_o )
[ 80 of 357] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.dyn_o )
[ 81 of 357] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.dyn_o )
[ 82 of 357] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.dyn_o )
[ 83 of 357] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.dyn_o )
[ 84 of 357] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.dyn_o )
[ 85 of 357] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.dyn_o-boot )
[ 86 of 357] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, dist/build/Agda/Syntax/Concrete/Attribute.dyn_o )
[ 87 of 357] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.dyn_o )
[ 88 of 357] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.dyn_o )
[ 89 of 357] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist/build/Agda/Syntax/Treeless.dyn_o )
[ 90 of 357] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist/build/Agda/Syntax/Reflected.dyn_o )
[ 91 of 357] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.dyn_o )
[ 92 of 357] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.dyn_o )
[ 93 of 357] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.dyn_o )
[ 94 of 357] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.dyn_o )
[ 95 of 357] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.dyn_o )
[ 96 of 357] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist/build/Agda/TypeChecking/Positivity/Occurrence.dyn_o )
[ 97 of 357] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.dyn_o )
[ 98 of 357] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.dyn_o )
[ 99 of 357] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.dyn_o )
[100 of 357] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist/build/Agda/Syntax/Concrete/Pattern.dyn_o )
[101 of 357] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.dyn_o )
[102 of 357] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.dyn_o )
[103 of 357] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, dist/build/Agda/Syntax/Concrete/Fixity.dyn_o )
[104 of 357] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.dyn_o )
[105 of 357] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.dyn_o )
[106 of 357] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.dyn_o )
[107 of 357] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.dyn_o )
[108 of 357] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.dyn_o )
[109 of 357] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist/build/Agda/Utils/Geniplate.dyn_o )
[110 of 357] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.dyn_o )
[111 of 357] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.dyn_o )
[112 of 357] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.dyn_o )
[113 of 357] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.dyn_o )
[114 of 357] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.dyn_o )
[115 of 357] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.dyn_o )
[116 of 357] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.dyn_o )
[117 of 357] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.dyn_o )
[118 of 357] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.dyn_o )
[119 of 357] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.dyn_o-boot )
[120 of 357] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.dyn_o-boot )
[121 of 357] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.dyn_o )
[122 of 357] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.dyn_o )
[123 of 357] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.dyn_o )
[124 of 357] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.dyn_o )
[125 of 357] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.dyn_o )
[126 of 357] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.dyn_o )
[127 of 357] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist/build/Agda/TypeChecking/Substitute/DeBruijn.dyn_o )
[128 of 357] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist/build/Agda/TypeChecking/Free/Precompute.dyn_o )
[129 of 357] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist/build/Agda/TypeChecking/Free/Lazy.dyn_o )
[130 of 357] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.dyn_o )
[131 of 357] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist/build/Agda/TypeChecking/Substitute/Class.dyn_o )
[132 of 357] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.dyn_o )
[133 of 357] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.dyn_o )
[134 of 357] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.dyn_o )
[135 of 357] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.dyn_o )
[136 of 357] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.dyn_o )
[137 of 357] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.dyn_o )
[138 of 357] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.dyn_o )
[139 of 357] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist/build/Agda/Syntax/Abstract/PatternSynonyms.dyn_o )
[140 of 357] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist/build/Agda/Syntax/Abstract/Pattern.dyn_o )
[141 of 357] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist/build/Agda/Utils/TypeLevel.dyn_o )
[142 of 357] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist/build/Agda/Utils/TypeLits.dyn_o )
[143 of 357] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.dyn_o )
[144 of 357] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.dyn_o )
[145 of 357] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.dyn_o )
[146 of 357] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.dyn_o )
[147 of 357] Compiling Agda.TypeChecking.Free.Old ( src/full/Agda/TypeChecking/Free/Old.hs, dist/build/Agda/TypeChecking/Free/Old.dyn_o )
[148 of 357] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.dyn_o )
[149 of 357] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist/build/Agda/Utils/WithDefault.dyn_o )
[150 of 357] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist/build/Agda/Utils/Zipper.dyn_o )
[151 of 357] Compiling Paths_Agda       ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.dyn_o )
[152 of 357] Compiling Agda.Version     ( src/full/Agda/Version.hs, dist/build/Agda/Version.dyn_o )
[153 of 357] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist/build/Agda/VersionCommit.dyn_o )
[154 of 357] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist/build/Agda/Interaction/Library.dyn_o )
[155 of 357] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist/build/Agda/Utils/IO/Directory.dyn_o )
[156 of 357] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.dyn_o )
[157 of 357] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.dyn_o )
[158 of 357] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist/build/Agda/TypeChecking/Serialise/Base.dyn_o )
[159 of 357] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist/build/Agda/TypeChecking/Rules/Term.dyn_o-boot )
[160 of 357] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist/build/Agda/TypeChecking/Rules/Decl.dyn_o-boot )
[161 of 357] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, dist/build/Agda/TypeChecking/Rules/Application.dyn_o-boot )
[162 of 357] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist/build/Agda/TypeChecking/Rewriting.dyn_o-boot )
[163 of 357] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, dist/build/Agda/TypeChecking/Reduce/Fast.dyn_o-boot )
[164 of 357] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist/build/Agda/TypeChecking/Pretty.dyn_o-boot )
[165 of 357] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist/build/Agda/TypeChecking/Polarity.dyn_o-boot )
[166 of 357] Compiling Agda.TypeChecking.Monad.Options[boot] ( src/full/Agda/TypeChecking/Monad/Options.hs-boot, dist/build/Agda/TypeChecking/Monad/Options.dyn_o-boot )
[167 of 357] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist/build/Agda/TypeChecking/Monad/Imports.dyn_o )
[168 of 357] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist/build/Agda/TypeChecking/Monad/Env.dyn_o )
[169 of 357] Compiling Agda.TypeChecking.Monad.Debug[boot] ( src/full/Agda/TypeChecking/Monad/Debug.hs-boot, dist/build/Agda/TypeChecking/Monad/Debug.dyn_o-boot )
[170 of 357] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist/build/Agda/TypeChecking/Monad/Context.dyn_o-boot )
[171 of 357] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist/build/Agda/TypeChecking/MetaVars.dyn_o-boot )
[172 of 357] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist/build/Agda/TypeChecking/Errors.dyn_o-boot )
[173 of 357] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.dyn_o )
[174 of 357] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, dist/build/Agda/TypeChecking/Monad/Signature.dyn_o-boot )
[175 of 357] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist/build/Agda/TypeChecking/ProjectionLike.dyn_o-boot )
[176 of 357] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist/build/Agda/TypeChecking/Monad/Caching.dyn_o )
[177 of 357] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, dist/build/Agda/TypeChecking/Warnings.dyn_o )
[178 of 357] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist/build/Agda/TypeChecking/Monad/State.dyn_o )
[179 of 357] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist/build/Agda/TypeChecking/Monad/Mutual.dyn_o )
[180 of 357] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist/build/Agda/TypeChecking/Monad/Benchmark.dyn_o )
[181 of 357] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist/build/Agda/TypeChecking/Constraints.dyn_o-boot )
[182 of 357] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.dyn_o-boot )
[183 of 357] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o-boot )
[184 of 357] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, dist/build/Agda/TypeChecking/CheckInternal.dyn_o-boot )
[185 of 357] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist/build/Agda/Syntax/Internal/Names.dyn_o )
[186 of 357] Compiling Agda.Interaction.InteractionTop[boot] ( src/full/Agda/Interaction/InteractionTop.hs-boot, dist/build/Agda/Interaction/InteractionTop.dyn_o-boot )
[187 of 357] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist/build/Agda/Interaction/Imports.dyn_o-boot )
[188 of 357] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist/build/Agda/Interaction/Highlighting/Generate.dyn_o-boot )
[189 of 357] Compiling Agda.Interaction.FindFile[boot] ( src/full/Agda/Interaction/FindFile.hs-boot, dist/build/Agda/Interaction/FindFile.dyn_o-boot )
[190 of 357] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, dist/build/Agda/TypeChecking/Inlining.dyn_o )
[191 of 357] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist/build/Agda/Interaction/Options/Lenses.dyn_o )
[192 of 357] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist/build/Agda/TypeChecking/Monad/Options.dyn_o )
[193 of 357] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist/build/Agda/TypeChecking/Substitute.dyn_o )
[194 of 357] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist/build/Agda/TypeChecking/Telescope.dyn_o-boot )
[195 of 357] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist/build/Agda/TypeChecking/Monad/Open.dyn_o )
[196 of 357] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist/build/Agda/TypeChecking/Monad/Builtin.dyn_o )
[197 of 357] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist/build/Agda/TypeChecking/LevelConstraints.dyn_o )
[198 of 357] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist/build/Agda/TypeChecking/DropArgs.dyn_o )
[199 of 357] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist/build/Agda/Compiler/Treeless/Subst.dyn_o )
[200 of 357] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist/build/Agda/Compiler/Treeless/Pretty.dyn_o )
[201 of 357] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist/build/Agda/Compiler/Treeless/GuardsToPrims.dyn_o )
[202 of 357] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist/build/Agda/Compiler/Treeless/Compare.dyn_o )
[203 of 357] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist/build/Agda/Compiler/Treeless/Uncase.dyn_o )
[204 of 357] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist/build/Agda/Compiler/Treeless/AsPatterns.dyn_o )
[205 of 357] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist/build/Agda/TypeChecking/Monad/Trace.dyn_o )
[206 of 357] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist/build/Agda/Interaction/FindFile.dyn_o )
[207 of 357] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Common.dyn_o )
[208 of 357] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Highlighting.dyn_o )
[209 of 357] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist/build/Agda/TypeChecking/Monad/Statistics.dyn_o )
[210 of 357] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist/build/Agda/TypeChecking/Monad/SizedTypes.dyn_o )
[211 of 357] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist/build/Agda/Syntax/Scope/Monad.dyn_o )
[212 of 357] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist/build/Agda/TypeChecking/Monad/Context.dyn_o )
[213 of 357] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.dyn_o )
[214 of 357] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist/build/Agda/TypeChecking/Datatypes.dyn_o-boot )
[215 of 357] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist/build/Agda/TypeChecking/Monad/Closure.dyn_o )
[216 of 357] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist/build/Agda/TypeChecking/Monad/MetaVars.dyn_o )
[217 of 357] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist/build/Agda/TypeChecking/Monad/Constraints.dyn_o )
[218 of 357] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist/build/Agda/TypeChecking/Monad.dyn_o )
[219 of 357] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Compilers.dyn_o )
[220 of 357] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Internal.dyn_o )
[221 of 357] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Abstract.dyn_o )
[222 of 357] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.dyn_o )
[223 of 357] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, dist/build/Agda/TypeChecking/Serialise/Instances.dyn_o )
[224 of 357] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist/build/Agda/TypeChecking/Serialise.dyn_o )
[225 of 357] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist/build/Agda/TypeChecking/Rules/Def.dyn_o-boot )
[226 of 357] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction[boot] ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs-boot, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o-boot )
[227 of 357] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist/build/Agda/TypeChecking/Reduce/Monad.dyn_o )
[228 of 357] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist/build/Agda/TypeChecking/Records.dyn_o-boot )
[229 of 357] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist/build/Agda/TypeChecking/Patterns/Match.dyn_o-boot )
[230 of 357] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist/build/Agda/TypeChecking/Patterns/Abstract.dyn_o )
[231 of 357] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist/build/Agda/TypeChecking/MetaVars/Mention.dyn_o )
[232 of 357] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist/build/Agda/TypeChecking/EtaContract.dyn_o )
[233 of 357] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist/build/Agda/TypeChecking/Reduce.dyn_o )
[234 of 357] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist/build/Agda/TypeChecking/Telescope.dyn_o )
[235 of 357] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist/build/Agda/TypeChecking/SyntacticEquality.dyn_o )
[236 of 357] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, dist/build/Agda/TypeChecking/Patterns/Internal.dyn_o )
[237 of 357] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist/build/Agda/TypeChecking/Level.dyn_o )
[238 of 357] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, dist/build/Agda/TypeChecking/Free/Reduce.dyn_o )
[239 of 357] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist/build/Agda/TypeChecking/Empty.dyn_o-boot )
[240 of 357] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist/build/Agda/TypeChecking/DisplayForm.dyn_o )
[241 of 357] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist/build/Agda/TypeChecking/Conversion.dyn_o-boot )
[242 of 357] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist/build/Agda/Termination/RecCheck.dyn_o )
[243 of 357] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, dist/build/Agda/Syntax/Internal/SanityCheck.dyn_o )
[244 of 357] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist/build/Agda/Interaction/Monad.dyn_o )
[245 of 357] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist/build/Agda/Interaction/Highlighting/Vim.dyn_o )
[246 of 357] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, dist/build/Agda/Compiler/Treeless/Unused.dyn_o )
[247 of 357] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, dist/build/Agda/Compiler/Treeless/NormalizeNames.dyn_o )
[248 of 357] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, dist/build/Agda/Compiler/Treeless/Identity.dyn_o )
[249 of 357] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, dist/build/Agda/Compiler/Treeless/Builtin.dyn_o )
[250 of 357] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist/build/Agda/Compiler/MAlonzo/Compiler.dyn_o-boot )
[251 of 357] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, dist/build/Agda/Compiler/MAlonzo/Coerce.dyn_o )
[252 of 357] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist/build/Agda/Compiler/CallCompiler.dyn_o )
[253 of 357] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, dist/build/Agda/TypeChecking/DeadCode.dyn_o )
[254 of 357] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, dist/build/Agda/Syntax/Translation/ReflectedToAbstract.dyn_o )
[255 of 357] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist/build/Agda/Syntax/Translation/AbstractToConcrete.dyn_o )
[256 of 357] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist/build/Agda/Syntax/Abstract/Pretty.dyn_o )
[257 of 357] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.dyn_o )
[258 of 357] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist/build/Agda/TypeChecking/Pretty.dyn_o )
[259 of 357] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, dist/build/Agda/TypeChecking/Telescope/Path.dyn_o )
[260 of 357] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist/build/Agda/TypeChecking/SizedTypes.dyn_o )
[261 of 357] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist/build/Agda/TypeChecking/Rules/LHS/Problem.dyn_o )
[262 of 357] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, dist/build/Agda/TypeChecking/Rules/Display.dyn_o )
[263 of 357] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist/build/Agda/TypeChecking/Quote.dyn_o )
[264 of 357] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist/build/Agda/TypeChecking/Irrelevance.dyn_o )
[265 of 357] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, dist/build/Agda/TypeChecking/Sort.dyn_o )
[266 of 357] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist/build/Agda/TypeChecking/Records.dyn_o )
[267 of 357] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist/build/Agda/TypeChecking/Implicit.dyn_o )
[268 of 357] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.dyn_o )
[269 of 357] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.dyn_o )
[270 of 357] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, dist/build/Agda/TypeChecking/Functions.dyn_o )
[271 of 357] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist/build/Agda/TypeChecking/Forcing.dyn_o )
[272 of 357] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist/build/Agda/TypeChecking/Datatypes.dyn_o )
[273 of 357] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinMatch.dyn_o )
[274 of 357] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist/build/Agda/TypeChecking/RecordPatterns.dyn_o )
[275 of 357] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist/build/Agda/TypeChecking/Positivity.dyn_o )
[276 of 357] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist/build/Agda/TypeChecking/ProjectionLike.dyn_o )
[277 of 357] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist/build/Agda/TypeChecking/Polarity.dyn_o )
[278 of 357] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist/build/Agda/TypeChecking/Patterns/Match.dyn_o )
[279 of 357] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.dyn_o )
[280 of 357] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.dyn_o )
[281 of 357] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist/build/Agda/TypeChecking/CompiledClause/Match.dyn_o )
[282 of 357] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist/build/Agda/Termination/Monad.dyn_o )
[283 of 357] Compiling Agda.Termination.Inlining ( src/full/Agda/Termination/Inlining.hs, dist/build/Agda/Termination/Inlining.dyn_o )
[284 of 357] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist/build/Agda/TypeChecking/Errors.dyn_o )
[285 of 357] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, dist/build/Agda/TypeChecking/Names.dyn_o )
[286 of 357] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.dyn_o )
[287 of 357] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist/build/Agda/TypeChecking/Primitive/Cubical.dyn_o )
[288 of 357] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, dist/build/Agda/Compiler/Treeless/Simplify.dyn_o )
[289 of 357] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, dist/build/Agda/Compiler/Treeless/Erase.dyn_o )
[290 of 357] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, dist/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.dyn_o )
[291 of 357] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, dist/build/Agda/Compiler/Treeless/EliminateDefaults.dyn_o )
[292 of 357] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist/build/Agda/TypeChecking/InstanceArguments.dyn_o )
[293 of 357] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist/build/Agda/TypeChecking/Constraints.dyn_o )
[294 of 357] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist/build/Agda/TypeChecking/MetaVars.dyn_o )
[295 of 357] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist/build/Agda/TypeChecking/Injectivity.dyn_o )
[296 of 357] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist/build/Agda/Interaction/Highlighting/Generate.dyn_o )
[297 of 357] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist/build/Agda/TypeChecking/Conversion.dyn_o )
[298 of 357] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist/build/Agda/TypeChecking/Unquote.dyn_o )
[299 of 357] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist/build/Agda/TypeChecking/SizedTypes/Solve.dyn_o )
[300 of 357] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.dyn_o )
[301 of 357] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, dist/build/Agda/TypeChecking/IApplyConfluence.dyn_o )
[302 of 357] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist/build/Agda/TypeChecking/CheckInternal.dyn_o )
[303 of 357] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, dist/build/Agda/TypeChecking/ReconstructParameters.dyn_o )
[304 of 357] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, dist/build/Agda/TypeChecking/EtaExpand.dyn_o )
[305 of 357] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist/build/Agda/TypeChecking/Rewriting.dyn_o )
[306 of 357] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, dist/build/Agda/TypeChecking/Reduce/Fast.dyn_o )
[307 of 357] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist/build/Agda/TypeChecking/Abstract.dyn_o )
[308 of 357] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, dist/build/Agda/TypeChecking/Generalize.dyn_o )
[309 of 357] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist/build/Agda/TypeChecking/Rules/Data.dyn_o )
[310 of 357] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist/build/Agda/TypeChecking/Rules/LHS.dyn_o )
[311 of 357] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist/build/Agda/TypeChecking/Rules/Term.dyn_o )
[312 of 357] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist/build/Agda/TypeChecking/With.dyn_o )
[313 of 357] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist/build/Agda/TypeChecking/Rules/Builtin.dyn_o )
[314 of 357] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_o )
[315 of 357] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist/build/Agda/TypeChecking/Coverage.dyn_o )
[316 of 357] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist/build/Agda/TypeChecking/Empty.dyn_o )
[317 of 357] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist/build/Agda/TypeChecking/CompiledClause/Compile.dyn_o )
[318 of 357] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist/build/Agda/TypeChecking/Rules/Record.dyn_o )
[319 of 357] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist/build/Agda/TypeChecking/Rules/Def.dyn_o )
[320 of 357] Compiling Agda.TypeChecking.Rules.Application ( src/full/Agda/TypeChecking/Rules/Application.hs, dist/build/Agda/TypeChecking/Rules/Application.dyn_o )
[321 of 357] Compiling Agda.Compiler.ToTreeless ( src/full/Agda/Compiler/ToTreeless.hs, dist/build/Agda/Compiler/ToTreeless.dyn_o )
[322 of 357] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist/build/Agda/Termination/TermCheck.dyn_o )
[323 of 357] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist/build/Agda/TypeChecking/Rules/Decl.dyn_o )
[324 of 357] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist/build/Agda/TheTypeChecker.dyn_o )
[325 of 357] Compiling Agda.Syntax.Abstract.Copatterns ( src/full/Agda/Syntax/Abstract/Copatterns.hs, dist/build/Agda/Syntax/Abstract/Copatterns.dyn_o )
[326 of 357] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist/build/Agda/Syntax/Concrete/Operators.dyn_o )
[327 of 357] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, dist/build/Agda/Syntax/IdiomBrackets.dyn_o )
[328 of 357] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, dist/build/Agda/Syntax/DoNotation.dyn_o )
[329 of 357] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist/build/Agda/Syntax/Translation/ConcreteToAbstract.dyn_o )
[330 of 357] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist/build/Agda/Interaction/Imports.dyn_o )
[331 of 357] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist/build/Agda/Interaction/Highlighting/Dot.dyn_o )
[332 of 357] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, dist/build/Agda/Interaction/Highlighting/Common.dyn_o )
[333 of 357] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, dist/build/Agda/Interaction/Highlighting/JSON.dyn_o )
[334 of 357] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist/build/Agda/Interaction/Highlighting/Emacs.dyn_o )
[335 of 357] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist/build/Agda/Interaction/BasicOps.dyn_o )
[336 of 357] Compiling Agda.Interaction.SearchAbout ( src/full/Agda/Interaction/SearchAbout.hs, dist/build/Agda/Interaction/SearchAbout.dyn_o )
[337 of 357] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist/build/Agda/Interaction/MakeCase.dyn_o )
[338 of 357] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist/build/Agda/Auto/Convert.dyn_o )
[339 of 357] Compiling Agda.Interaction.CommandLine ( src/full/Agda/Interaction/CommandLine.hs, dist/build/Agda/Interaction/CommandLine.dyn_o )
[340 of 357] Compiling Agda.Auto.Auto   ( src/full/Agda/Auto/Auto.hs, dist/build/Agda/Auto/Auto.dyn_o )
[341 of 357] Compiling Agda.Compiler.Common ( src/full/Agda/Compiler/Common.hs, dist/build/Agda/Compiler/Common.dyn_o )
[342 of 357] Compiling Agda.Compiler.MAlonzo.Pragmas ( src/full/Agda/Compiler/MAlonzo/Pragmas.hs, dist/build/Agda/Compiler/MAlonzo/Pragmas.dyn_o )
[343 of 357] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist/build/Agda/Compiler/MAlonzo/Misc.dyn_o )
[344 of 357] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist/build/Agda/Compiler/MAlonzo/Encode.dyn_o )
[345 of 357] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist/build/Agda/Compiler/MAlonzo/Pretty.dyn_o )
[346 of 357] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist/build/Agda/Compiler/MAlonzo/Primitives.dyn_o )
[347 of 357] Compiling Agda.Compiler.MAlonzo.HaskellTypes ( src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs, dist/build/Agda/Compiler/MAlonzo/HaskellTypes.dyn_o )
[348 of 357] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist/build/Agda/Interaction/Highlighting/LaTeX.dyn_o )
[349 of 357] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist/build/Agda/Interaction/Highlighting/HTML.dyn_o )
[350 of 357] Compiling Agda.Compiler.Backend ( src/full/Agda/Compiler/Backend.hs, dist/build/Agda/Compiler/Backend.dyn_o )
[351 of 357] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.dyn_o )
[352 of 357] Compiling Agda.Interaction.AgdaTop ( src/full/Agda/Interaction/AgdaTop.hs, dist/build/Agda/Interaction/AgdaTop.dyn_o )
[353 of 357] Compiling Agda.Interaction.JSONTop ( src/full/Agda/Interaction/JSONTop.hs, dist/build/Agda/Interaction/JSONTop.dyn_o )
[354 of 357] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist/build/Agda/Interaction/EmacsTop.dyn_o )
[355 of 357] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist/build/Agda/Compiler/MAlonzo/Compiler.dyn_o )
[356 of 357] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist/build/Agda/Compiler/JS/Compiler.dyn_o )
[357 of 357] Compiling Agda.Main        ( src/full/Agda/Main.hs, dist/build/Agda/Main.dyn_o )
Preprocessing executable 'agda' for Agda-2.6.0..
Building executable 'agda' for Agda-2.6.0..
[1 of 1] Compiling Main             ( src/main/Main.hs, dist/build/agda/agda-tmp/Main.dyn_o )
Linking dist/build/agda/agda ...
Generating Agda library interface files...
... /home/sean/software/agda-git/src/agda/src/data/lib/prim/Agda/Builtin/Bool.agda
dist/build/agda/agda: error while loading shared libraries: libHSAgda-2.6.0-1DgAHw6AvDBbCDuuT6lKn-ghc8.6.4.so: cannot open shared object file: No such file or directory
Error: Failed to typecheck /home/sean/software/agda-git/src/agda/src/data/lib/prim/Agda/Builtin/Bool.agda!
==> ERROR: A failure occurred in build().
    Aborting...

Latest Comments

mb64 commented on 2021-04-09 22:22 (UTC)

There's a couple fixes to the build process necessary to compile the latest Agda git:

The line sed -i 's/== 0.5/>= 0.5/' "${pkgname%-git}/Agda.cabal" in prepare() is no longer necessary, and breaks the cabal file
The first sed command in prepare() doesn't correctly set the LD_LIBRARY_PATH, since there's already a different LD_LIBRARY_PATH in e that ends up taking precedence. Instead, it should set LD_LIBRARY_PATH to "$pkgdir/usr/lib:" ++ fromJust (lookup "LD_LIBRARY_PATH" e), and add it to the end instead of the front of the list.

LightQuantum commented on 2020-10-16 06:36 (UTC)

Configuring Agda-2.6.2...
Setup: Encountered missing or private dependencies:
case-insensitive >=1.2.0.4 && <1.3

It seems that haskell-case-insensitive should be added to the dependency list.

Forty-Bot commented on 2019-04-22 19:06 (UTC)

Forty-Bot commented on 2019-04-22 14:46 (UTC)

DrPhil commented on 2018-09-27 15:17 (UTC)

I believe haskell-filemanip and haskell-aeson should be included in dependencies.

Arch Linux User Repository

Search Criteria

Package Details: agda-git 2.5.1.r8151.g4108da695-1

Package Actions

Dependencies (30)

Required by (4)

Sources (1)