Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 679560 Details for
Bug 761805
sci-mathematics/agda-2.6.1.2 : cc1: error: unrecognized command-line option --cpp
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:agda-2.6.1.2:20201225-223459.log
sci-mathematics:agda-2.6.1.2:20201225-223459.log (text/plain), 93.60 KB, created by
Toralf Förster
on 2020-12-26 22:19:07 UTC
(
hide
)
Description:
sci-mathematics:agda-2.6.1.2:20201225-223459.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2020-12-26 22:19:07 UTC
Size:
93.60 KB
patch
obsolete
> * Package: sci-mathematics/agda-2.6.1.2 > * Repository: gentoo > * Maintainer: haskell@gentoo.org > * USE: abi_x86_64 amd64 cpphs elibc_glibc kernel_linux profile stdlib userland_GNU > * FEATURES: network-sandbox preserve-libs sandbox userpriv usersandbox >>>> Unpacking source... >>>> Unpacking Agda-2.6.1.2.tar.gz to /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2 ... >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2 ... > * Using cabal-3.0.1.0. > * Prepending /usr/lib64/ghc-8.8.4 to LD_LIBRARY_PATH >/usr/bin/ghc -package Cabal-3.0.1.0 --make /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2/Setup.hs -j1 +RTS -A256M -qb0 -RTS -threaded -dynamic -o setup >[1 of 1] Compiling Main ( /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2/Setup.hs, /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2/Setup.o ) >Linking setup ... >./setup configure --ghc --prefix=/usr --with-compiler=/usr/bin/ghc --with-hc-pkg=/usr/bin/ghc-pkg --prefix=/usr --libdir=/usr/lib64 --libsubdir=agda-2.6.1.2/ghc-8.8.4 --datadir=/usr/share/ --datasubdir=agda-2.6.1.2/ghc-8.8.4 --enable-library-profiling --ghc-options=-j1 +RTS -A256M -qb0 -RTS --with-ar=x86_64-pc-linux-gnu-ar --ghc-option=-optc-O2 --ghc-option=-optc-pipe --ghc-option=-optc-march=native --ghc-option=-optc-fno-diagnostics-color --ghc-option=-optc-falign-functions=32:25:16 --ghc-option=-optl-Wl,-O1 --ghc-option=-optl-Wl,--as-needed --ghc-option=-optl-Wl,--defsym=__gentoo_check_ldflags__=0 --disable-executable-stripping --docdir=/usr/share/doc/agda-2.6.1.2 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping --flags=cpphs --flags=-debug --flags=-enable-cluster-counting >Using Parsec parser >Configuring Agda-2.6.1.2... >Flags chosen: cpphs=True, debug=False, enable-cluster-counting=False >Dependency aeson >=1.1.2.0 && <1.6: using aeson-1.4.7.1 >Dependency array >=0.5.1.1 && <0.6: using array-0.5.4.0 >Dependency async ==2.2.*: using async-2.2.2 >Dependency base >=4.9.0.0 && <4.15: using base-4.13.0.0 >Dependency binary >=0.8.3.0 && <0.9: using binary-0.8.7.0 >Dependency blaze-html >=0.8 && <0.10: using blaze-html-0.9.1.2 >Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.5 >Dependency bytestring >=0.10.8.1 && <0.11: using bytestring-0.10.10.1 >Dependency containers >=0.5.7.1 && <0.7: using containers-0.6.2.1 >Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 >Dependency deepseq >=1.4.2.0 && <1.5: using deepseq-1.4.4.0 >Dependency directory >=1.2.6.2 && <1.4: using directory-1.3.6.0 >Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 >Dependency equivalence >=0.3.2 && <0.4: using equivalence-0.3.5 >Dependency exceptions >=0.8 && <0.11: using exceptions-0.10.4 >Dependency filepath >=1.4.1.0 && <1.5: using filepath-1.4.2.1 >Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.7 >Dependency ghc-compact ==0.1.*: using ghc-compact-0.1.0.0 >Dependency gitrev >=1.3.1 && <2.0: using gitrev-1.3.1 >Dependency hashable >=1.2.1.0 && <1.4: using hashable-1.2.7.0 >Dependency hashtables >=1.2.0.2 && <1.3: using hashtables-1.2.4.1 >Dependency haskeline >=0.7.2.3 && <0.9: using haskeline-0.7.5.0 >Dependency ieee754 >=0.7.8 && <0.9: using ieee754-0.7.8 >Dependency mtl >=2.2.1 && <2.3: using mtl-2.2.2 >Dependency murmur-hash ==0.1.*: using murmur-hash-0.1.0.9 >Dependency pretty >=1.1.3.3 && <1.2: using pretty-1.1.3.6 >Dependency process >=1.4.2.0 && <1.7: using process-1.6.9.0 >Dependency regex-tdfa >=1.3.1.0 && <1.4: using regex-tdfa-1.3.1.0 >Dependency split >=0.2.0.0 && <0.2.4: using split-0.2.3.4 >Dependency stm >=2.4.4 && <2.6: using stm-2.5.0.0 >Dependency strict >=0.3.2 && <0.5: using strict-0.3.2 >Dependency template-haskell >=2.11.0.0 && <2.17: using >template-haskell-2.15.0.0 >Dependency text >=1.2.3.1 && <1.3: using text-1.2.4.0 >Dependency time >=1.6.0.1 && <1.10: using time-1.9.3 >Dependency transformers ==0.5.6.2: using transformers-0.5.6.2 >Dependency unordered-containers >=0.2.5.0 && <0.3: using >unordered-containers-0.2.12.0 >Dependency uri-encode >=1.5.0.4 && <1.6: using uri-encode-1.5.0.5 >Dependency zlib ==0.6.*: using zlib-0.6.2.2 >Dependency Agda -any: using Agda-2.6.1.2 >Dependency base >=4.9.0.0 && <6: using base-4.13.0.0 >Dependency base >=4.9.0.0 && <4.15: using base-4.13.0.0 >Dependency directory >=1.2.6.2 && <1.4: using directory-1.3.6.0 >Dependency filepath >=1.4.1.0 && <1.5: using filepath-1.4.2.1 >Dependency process >=1.4.2.0 && <1.7: using process-1.6.9.0 >Source component graph: > component exe:agda-mode > component lib > component exe:agda dependency lib >Configured component graph: > component Agda-2.6.1.2-15YLs297yZhGvkDVrUurvn-agda-mode > include base-4.13.0.0 > include directory-1.3.6.0 > include filepath-1.4.2.1 > include process-1.6.9.0 > component Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV > include aeson-1.4.7.1-IjEUHhY0HKvju0iWmAkzM > include array-0.5.4.0 > include async-2.2.2-GZ93PJht51l5SQPrKLdOt0 > include base-4.13.0.0 > include binary-0.8.7.0 > include blaze-html-0.9.1.2-Ceg8KRUrrRKRSEkITKNc1 > include boxes-0.1.5-Q9SvFlNJmuH845NHEKHN9 > include bytestring-0.10.10.1 > include containers-0.6.2.1 > include data-hash-0.2.0.1-Av4nRZeoeSkBOHMuDYmrkN > include deepseq-1.4.4.0 > include directory-1.3.6.0 > include edit-distance-0.2.2.1-x8dFojdVeJItk5HXkmi0N > include equivalence-0.3.5-Gw3vWyicIG5Cy1X8UeanAl > include exceptions-0.10.4-AcCA76Y0j0oK3rQoxPMQMv > include filepath-1.4.2.1 > include geniplate-mirror-0.7.7-I9tTciU1Lbh2gDibGSQjqh > include ghc-compact-0.1.0.0 > include gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f > include hashable-1.2.7.0-8rZyPp4TU5R2HZlbiRfJ3x > include hashtables-1.2.4.1-4ObrFKCglkTCYI6JJbskNQ > include haskeline-0.7.5.0 > include ieee754-0.7.8-8mLIsGzMJkmF16XVc8BRp2 > include mtl-2.2.2 > include murmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4 > include pretty-1.1.3.6 > include process-1.6.9.0 > include regex-tdfa-1.3.1.0-IdAtoaObrWkHMTUJzigslp > include split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL > include stm-2.5.0.0 > include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU > include template-haskell-2.15.0.0 > include text-1.2.4.0 > include time-1.9.3 > include transformers-0.5.6.2 > include unordered-containers-0.2.12.0-LnS0BP5cMsjGYQuy0OsKcg > include uri-encode-1.5.0.5-BiVoB2yzA6h5xvYANfw9ra > include zlib-0.6.2.2-K5kML1Zq8qO10V8lXbOwN > component Agda-2.6.1.2-5HS59QWwC0X9jocLB8shpI-agda > include Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV > include base-4.13.0.0 >Linked component graph: > unit Agda-2.6.1.2-15YLs297yZhGvkDVrUurvn-agda-mode > include base-4.13.0.0 > include directory-1.3.6.0 > include filepath-1.4.2.1 > include process-1.6.9.0 > unit Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV > include aeson-1.4.7.1-IjEUHhY0HKvju0iWmAkzM > include array-0.5.4.0 > include async-2.2.2-GZ93PJht51l5SQPrKLdOt0 > include base-4.13.0.0 > include binary-0.8.7.0 > include blaze-html-0.9.1.2-Ceg8KRUrrRKRSEkITKNc1 > include boxes-0.1.5-Q9SvFlNJmuH845NHEKHN9 > include bytestring-0.10.10.1 > include containers-0.6.2.1 > include data-hash-0.2.0.1-Av4nRZeoeSkBOHMuDYmrkN > include deepseq-1.4.4.0 > include directory-1.3.6.0 > include edit-distance-0.2.2.1-x8dFojdVeJItk5HXkmi0N > include equivalence-0.3.5-Gw3vWyicIG5Cy1X8UeanAl > include exceptions-0.10.4-AcCA76Y0j0oK3rQoxPMQMv > include filepath-1.4.2.1 > include geniplate-mirror-0.7.7-I9tTciU1Lbh2gDibGSQjqh > include ghc-compact-0.1.0.0 > include gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f > include hashable-1.2.7.0-8rZyPp4TU5R2HZlbiRfJ3x > include hashtables-1.2.4.1-4ObrFKCglkTCYI6JJbskNQ > include haskeline-0.7.5.0 > include ieee754-0.7.8-8mLIsGzMJkmF16XVc8BRp2 > include mtl-2.2.2 > include murmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4 > include pretty-1.1.3.6 > include process-1.6.9.0 > include regex-tdfa-1.3.1.0-IdAtoaObrWkHMTUJzigslp > include split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL > include stm-2.5.0.0 > include strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU > include template-haskell-2.15.0.0 > include text-1.2.4.0 > include time-1.9.3 > include transformers-0.5.6.2 > include unordered-containers-0.2.12.0-LnS0BP5cMsjGYQuy0OsKcg > include uri-encode-1.5.0.5-BiVoB2yzA6h5xvYANfw9ra > include zlib-0.6.2.2-K5kML1Zq8qO10V8lXbOwN > Agda.Auto.Auto=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.Auto,Agda.Auto.CaseSplit=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.CaseSplit,Agda.Auto.Convert=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.Convert,Agda.Auto.NarrowingSearch=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.NarrowingSearch,Agda.Auto.Options=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.Options,Agda.Auto.SearchControl=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.SearchControl,Agda.Auto.Syntax=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.Syntax,Agda.Auto.Typecheck=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Auto.Typecheck,Agda.Benchmarking=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Benchmarking,Agda.Compiler.Backend=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Backend,Agda.Compiler.CallCompiler=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.CallCompiler,Agda.Compiler.Common=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Common,Agda.Compiler.JS.Compiler=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.JS.Compiler,Agda.Compiler.JS.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.JS.Pretty,Agda.Compiler.JS.Substitution=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.JS.Substitution,Agda.Compiler.JS.Syntax=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.JS.Syntax,Agda.Compiler.MAlonzo.Coerce=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Coerce,Agda.Compiler.MAlonzo.Compiler=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Compiler,Agda.Compiler.MAlonzo.Encode=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Encode,Agda.Compiler.MAlonzo.HaskellTypes=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.HaskellTypes,Agda.Compiler.MAlonzo.Misc=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Misc,Agda.Compiler.MAlonzo.Pragmas=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Pragmas,Agda.Compiler.MAlonzo.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Pretty,Agda.Compiler.MAlonzo.Primitives=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.MAlonzo.Primitives,Agda.Compiler.ToTreeless=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.ToTreeless,Agda.Compiler.Treeless.AsPatterns=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.AsPatterns,Agda.Compiler.Treeless.Builtin=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Builtin,Agda.Compiler.Treeless.Compare=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Compare,Agda.Compiler.Treeless.EliminateDefaults=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.EliminateDefaults,Agda.Compiler.Treeless.EliminateLiteralPatterns=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.EliminateLiteralPatterns,Agda.Compiler.Treeless.Erase=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Erase,Agda.Compiler.Treeless.GuardsToPrims=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.GuardsToPrims,Agda.Compiler.Treeless.Identity=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Identity,Agda.Compiler.Treeless.NormalizeNames=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.NormalizeNames,Agda.Compiler.Treeless.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Pretty,Agda.Compiler.Treeless.Simplify=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Simplify,Agda.Compiler.Treeless.Subst=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Subst,Agda.Compiler.Treeless.Uncase=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Uncase,Agda.Compiler.Treeless.Unused=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Compiler.Treeless.Unused,Agda.ImpossibleTest=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.ImpossibleTest,Agda.Interaction.AgdaTop=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.AgdaTop,Agda.Interaction.Base=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Base,Agda.Interaction.BasicOps=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.BasicOps,Agda.Interaction.CommandLine=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.CommandLine,Agda.Interaction.EmacsCommand=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.EmacsCommand,Agda.Interaction.EmacsTop=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.EmacsTop,Agda.Interaction.FindFile=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.FindFile,Agda.Interaction.Highlighting.Common=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Common,Agda.Interaction.Highlighting.Dot=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Dot,Agda.Interaction.Highlighting.Emacs=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Emacs,Agda.Interaction.Highlighting.Generate=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Generate,Agda.Interaction.Highlighting.HTML=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.HTML,Agda.Interaction.Highlighting.JSON=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.JSON,Agda.Interaction.Highlighting.LaTeX=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.LaTeX,Agda.Interaction.Highlighting.Precise=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Precise,Agda.Interaction.Highlighting.Range=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Range,Agda.Interaction.Highlighting.Vim=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Highlighting.Vim,Agda.Interaction.Imports=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Imports,Agda.Interaction.InteractionTop=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.InteractionTop,Agda.Interaction.JSON=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.JSON,Agda.Interaction.JSONTop=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.JSONTop,Agda.Interaction.Library=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Library,Agda.Interaction.Library.Base=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Library.Base,Agda.Interaction.Library.Parse=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Library.Parse,Agda.Interaction.MakeCase=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.MakeCase,Agda.Interaction.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Monad,Agda.Interaction.Options=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Options,Agda.Interaction.Options.Help=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Options.Help,Agda.Interaction.Options.IORefs=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Options.IORefs,Agda.Interaction.Options.Lenses=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Options.Lenses,Agda.Interaction.Options.Warnings=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Options.Warnings,Agda.Interaction.Response=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.Response,Agda.Interaction.SearchAbout=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Interaction.SearchAbout,Agda.Main=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Main,Agda.Syntax.Abstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Abstract,Agda.Syntax.Abstract.Name=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Abstract.Name,Agda.Syntax.Abstract.Pattern=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Abstract.Pattern,Agda.Syntax.Abstract.PatternSynonyms=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Abstract.PatternSynonyms,Agda.Syntax.Abstract.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Abstract.Pretty,Agda.Syntax.Abstract.Views=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Abstract.Views,Agda.Syntax.Builtin=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Builtin,Agda.Syntax.Common=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Common,Agda.Syntax.Concrete=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete,Agda.Syntax.Concrete.Attribute=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Attribute,Agda.Syntax.Concrete.Definitions=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Definitions,Agda.Syntax.Concrete.Fixity=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Fixity,Agda.Syntax.Concrete.Generic=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Generic,Agda.Syntax.Concrete.Name=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Name,Agda.Syntax.Concrete.Operators=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Operators,Agda.Syntax.Concrete.Operators.Parser=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Operators.Parser,Agda.Syntax.Concrete.Operators.Parser.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Operators.Parser.Monad,Agda.Syntax.Concrete.Pattern=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Pattern,Agda.Syntax.Concrete.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Concrete.Pretty,Agda.Syntax.DoNotation=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.DoNotation,Agda.Syntax.Fixity=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Fixity,Agda.Syntax.IdiomBrackets=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.IdiomBrackets,Agda.Syntax.Info=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Info,Agda.Syntax.Internal=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal,Agda.Syntax.Internal.Defs=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal.Defs,Agda.Syntax.Internal.Generic=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal.Generic,Agda.Syntax.Internal.MetaVars=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal.MetaVars,Agda.Syntax.Internal.Names=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal.Names,Agda.Syntax.Internal.Pattern=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal.Pattern,Agda.Syntax.Internal.SanityCheck=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Internal.SanityCheck,Agda.Syntax.Literal=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Literal,Agda.Syntax.Notation=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Notation,Agda.Syntax.Parser=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser,Agda.Syntax.Parser.Alex=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Alex,Agda.Syntax.Parser.Comments=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Comments,Agda.Syntax.Parser.Layout=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Layout,Agda.Syntax.Parser.LexActions=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.LexActions,Agda.Syntax.Parser.Lexer=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Lexer,Agda.Syntax.Parser.Literate=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Literate,Agda.Syntax.Parser.LookAhead=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.LookAhead,Agda.Syntax.Parser.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Monad,Agda.Syntax.Parser.Parser=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Parser,Agda.Syntax.Parser.StringLiterals=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.StringLiterals,Agda.Syntax.Parser.Tokens=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Parser.Tokens,Agda.Syntax.Position=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Position,Agda.Syntax.Reflected=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Reflected,Agda.Syntax.Scope.Base=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Scope.Base,Agda.Syntax.Scope.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Scope.Monad,Agda.Syntax.Translation.AbstractToConcrete=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Translation.AbstractToConcrete,Agda.Syntax.Translation.ConcreteToAbstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Translation.ConcreteToAbstract,Agda.Syntax.Translation.InternalToAbstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Translation.InternalToAbstract,Agda.Syntax.Translation.ReflectedToAbstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Translation.ReflectedToAbstract,Agda.Syntax.Treeless=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Syntax.Treeless,Agda.Termination.CallGraph=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.CallGraph,Agda.Termination.CallMatrix=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.CallMatrix,Agda.Termination.CutOff=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.CutOff,Agda.Termination.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.Monad,Agda.Termination.Order=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.Order,Agda.Termination.RecCheck=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.RecCheck,Agda.Termination.Semiring=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.Semiring,Agda.Termination.SparseMatrix=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.SparseMatrix,Agda.Termination.TermCheck=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.TermCheck,Agda.Termination.Termination=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Termination.Termination,Agda.TheTypeChecker=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TheTypeChecker,Agda.TypeChecking.Abstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Abstract,Agda.TypeChecking.CheckInternal=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.CheckInternal,Agda.TypeChecking.CompiledClause=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.CompiledClause,Agda.TypeChecking.CompiledClause.Compile=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.CompiledClause.Compile,Agda.TypeChecking.CompiledClause.Match=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.CompiledClause.Match,Agda.TypeChecking.Constraints=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Constraints,Agda.TypeChecking.Conversion=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Conversion,Agda.TypeChecking.Conversion.Pure=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Conversion.Pure,Agda.TypeChecking.Coverage=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Coverage,Agda.TypeChecking.Coverage.Match=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Coverage.Match,Agda.TypeChecking.Coverage.SplitTree=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Coverage.SplitTree,Agda.TypeChecking.Datatypes=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Datatypes,Agda.TypeChecking.DeadCode=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.DeadCode,Agda.TypeChecking.DisplayForm=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.DisplayForm,Agda.TypeChecking.DropArgs=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.DropArgs,Agda.TypeChecking.Empty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Empty,Agda.TypeChecking.Errors=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Errors,Agda.TypeChecking.EtaContract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.EtaContract,Agda.TypeChecking.EtaExpand=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.EtaExpand,Agda.TypeChecking.Forcing=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Forcing,Agda.TypeChecking.Free=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Free,Agda.TypeChecking.Free.Lazy=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Free.Lazy,Agda.TypeChecking.Free.Precompute=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Free.Precompute,Agda.TypeChecking.Free.Reduce=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Free.Reduce,Agda.TypeChecking.Functions=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Functions,Agda.TypeChecking.Generalize=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Generalize,Agda.TypeChecking.IApplyConfluence=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.IApplyConfluence,Agda.TypeChecking.Implicit=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Implicit,Agda.TypeChecking.Injectivity=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Injectivity,Agda.TypeChecking.Inlining=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Inlining,Agda.TypeChecking.InstanceArguments=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.InstanceArguments,Agda.TypeChecking.Irrelevance=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Irrelevance,Agda.TypeChecking.Level=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Level,Agda.TypeChecking.Level.Solve=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Level.Solve,Agda.TypeChecking.LevelConstraints=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.LevelConstraints,Agda.TypeChecking.MetaVars=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.MetaVars,Agda.TypeChecking.MetaVars.Mention=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.MetaVars.Mention,Agda.TypeChecking.MetaVars.Occurs=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.MetaVars.Occurs,Agda.TypeChecking.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad,Agda.TypeChecking.Monad.Base=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Base,Agda.TypeChecking.Monad.Benchmark=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Benchmark,Agda.TypeChecking.Monad.Builtin=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Builtin,Agda.TypeChecking.Monad.Caching=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Caching,Agda.TypeChecking.Monad.Closure=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Closure,Agda.TypeChecking.Monad.Constraints=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Constraints,Agda.TypeChecking.Monad.Context=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Context,Agda.TypeChecking.Monad.Debug=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Debug,Agda.TypeChecking.Monad.Env=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Env,Agda.TypeChecking.Monad.Imports=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Imports,Agda.TypeChecking.Monad.MetaVars=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.MetaVars,Agda.TypeChecking.Monad.Mutual=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Mutual,Agda.TypeChecking.Monad.Open=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Open,Agda.TypeChecking.Monad.Options=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Options,Agda.TypeChecking.Monad.Signature=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Signature,Agda.TypeChecking.Monad.SizedTypes=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.SizedTypes,Agda.TypeChecking.Monad.State=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.State,Agda.TypeChecking.Monad.Statistics=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Statistics,Agda.TypeChecking.Monad.Trace=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Monad.Trace,Agda.TypeChecking.Names=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Names,Agda.TypeChecking.Patterns.Abstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Patterns.Abstract,Agda.TypeChecking.Patterns.Internal=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Patterns.Internal,Agda.TypeChecking.Patterns.Match=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Patterns.Match,Agda.TypeChecking.Polarity=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Polarity,Agda.TypeChecking.Positivity=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Positivity,Agda.TypeChecking.Positivity.Occurrence=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Positivity.Occurrence,Agda.TypeChecking.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Pretty,Agda.TypeChecking.Pretty.Call=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Pretty.Call,Agda.TypeChecking.Pretty.Warning=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Pretty.Warning,Agda.TypeChecking.Primitive=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Primitive,Agda.TypeChecking.Primitive.Base=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Primitive.Base,Agda.TypeChecking.Primitive.Cubical=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Primitive.Cubical,Agda.TypeChecking.ProjectionLike=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.ProjectionLike,Agda.TypeChecking.Quote=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Quote,Agda.TypeChecking.ReconstructParameters=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.ReconstructParameters,Agda.TypeChecking.RecordPatterns=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.RecordPatterns,Agda.TypeChecking.Records=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Records,Agda.TypeChecking.Reduce=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Reduce,Agda.TypeChecking.Reduce.Fast=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Reduce.Fast,Agda.TypeChecking.Reduce.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Reduce.Monad,Agda.TypeChecking.Rewriting=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rewriting,Agda.TypeChecking.Rewriting.Clause=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rewriting.Clause,Agda.TypeChecking.Rewriting.Confluence=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rewriting.Confluence,Agda.TypeChecking.Rewriting.NonLinMatch=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rewriting.NonLinMatch,Agda.TypeChecking.Rewriting.NonLinPattern=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rewriting.NonLinPattern,Agda.TypeChecking.Rules.Application=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Application,Agda.TypeChecking.Rules.Builtin=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Builtin,Agda.TypeChecking.Rules.Builtin.Coinduction=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Builtin.Coinduction,Agda.TypeChecking.Rules.Data=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Data,Agda.TypeChecking.Rules.Decl=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Decl,Agda.TypeChecking.Rules.Def=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Def,Agda.TypeChecking.Rules.Display=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Display,Agda.TypeChecking.Rules.LHS=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.LHS,Agda.TypeChecking.Rules.LHS.Implicit=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.LHS.Implicit,Agda.TypeChecking.Rules.LHS.Problem=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.LHS.Problem,Agda.TypeChecking.Rules.LHS.ProblemRest=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.LHS.ProblemRest,Agda.TypeChecking.Rules.LHS.Unify=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.LHS.Unify,Agda.TypeChecking.Rules.Record=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Record,Agda.TypeChecking.Rules.Term=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Rules.Term,Agda.TypeChecking.Serialise=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise,Agda.TypeChecking.Serialise.Base=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Base,Agda.TypeChecking.Serialise.Instances=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances,Agda.TypeChecking.Serialise.Instances.Abstract=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances.Abstract,Agda.TypeChecking.Serialise.Instances.Common=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances.Common,Agda.TypeChecking.Serialise.Instances.Compilers=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances.Compilers,Agda.TypeChecking.Serialise.Instances.Errors=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances.Errors,Agda.TypeChecking.Serialise.Instances.Highlighting=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances.Highlighting,Agda.TypeChecking.Serialise.Instances.Internal=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Serialise.Instances.Internal,Agda.TypeChecking.SizedTypes=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.SizedTypes,Agda.TypeChecking.SizedTypes.Solve=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.SizedTypes.Solve,Agda.TypeChecking.SizedTypes.Syntax=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.SizedTypes.Syntax,Agda.TypeChecking.SizedTypes.Utils=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.SizedTypes.Utils,Agda.TypeChecking.SizedTypes.WarshallSolver=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.SizedTypes.WarshallSolver,Agda.TypeChecking.Sort=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Sort,Agda.TypeChecking.Substitute=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Substitute,Agda.TypeChecking.Substitute.Class=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Substitute.Class,Agda.TypeChecking.Substitute.DeBruijn=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Substitute.DeBruijn,Agda.TypeChecking.SyntacticEquality=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.SyntacticEquality,Agda.TypeChecking.Telescope=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Telescope,Agda.TypeChecking.Telescope.Path=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Telescope.Path,Agda.TypeChecking.Unquote=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Unquote,Agda.TypeChecking.Warnings=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.Warnings,Agda.TypeChecking.With=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.TypeChecking.With,Agda.Utils.AffineHole=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.AffineHole,Agda.Utils.Applicative=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Applicative,Agda.Utils.AssocList=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.AssocList,Agda.Utils.Bag=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Bag,Agda.Utils.Benchmark=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Benchmark,Agda.Utils.BiMap=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.BiMap,Agda.Utils.Cluster=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Cluster,Agda.Utils.Either=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Either,Agda.Utils.Empty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Empty,Agda.Utils.Environment=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Environment,Agda.Utils.Except=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Except,Agda.Utils.Fail=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Fail,Agda.Utils.Favorites=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Favorites,Agda.Utils.FileName=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.FileName,Agda.Utils.Float=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Float,Agda.Utils.Function=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Function,Agda.Utils.Functor=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Functor,Agda.Utils.Geniplate=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Geniplate,Agda.Utils.Graph.AdjacencyMap.Unidirectional=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Graph.AdjacencyMap.Unidirectional,Agda.Utils.Graph.TopSort=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Graph.TopSort,Agda.Utils.Hash=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Hash,Agda.Utils.Haskell.Syntax=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Haskell.Syntax,Agda.Utils.IO=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IO,Agda.Utils.IO.Binary=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IO.Binary,Agda.Utils.IO.Directory=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IO.Directory,Agda.Utils.IO.TempFile=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IO.TempFile,Agda.Utils.IO.UTF8=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IO.UTF8,Agda.Utils.IORef=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IORef,Agda.Utils.Impossible=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Impossible,Agda.Utils.IndexedList=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IndexedList,Agda.Utils.IntSet.Infinite=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.IntSet.Infinite,Agda.Utils.Lens=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Lens,Agda.Utils.Lens.Examples=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Lens.Examples,Agda.Utils.List=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.List,Agda.Utils.ListT=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.ListT,Agda.Utils.Map=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Map,Agda.Utils.Maybe=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Maybe,Agda.Utils.Maybe.Strict=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Maybe.Strict,Agda.Utils.Memo=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Memo,Agda.Utils.Monad=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Monad,Agda.Utils.Monoid=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Monoid,Agda.Utils.Null=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Null,Agda.Utils.POMonoid=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.POMonoid,Agda.Utils.Parser.MemoisedCPS=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Parser.MemoisedCPS,Agda.Utils.PartialOrd=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.PartialOrd,Agda.Utils.Permutation=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Permutation,Agda.Utils.Pointer=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Pointer,Agda.Utils.Pretty=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Pretty,Agda.Utils.SemiRing=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.SemiRing,Agda.Utils.Singleton=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Singleton,Agda.Utils.Size=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Size,Agda.Utils.SmallSet=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.SmallSet,Agda.Utils.String=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.String,Agda.Utils.Suffix=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Suffix,Agda.Utils.Three=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Three,Agda.Utils.Time=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Time,Agda.Utils.Trie=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Trie,Agda.Utils.Tuple=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Tuple,Agda.Utils.TypeLevel=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.TypeLevel,Agda.Utils.TypeLits=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.TypeLits,Agda.Utils.Update=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Update,Agda.Utils.VarSet=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.VarSet,Agda.Utils.Warshall=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Warshall,Agda.Utils.WithDefault=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.WithDefault,Agda.Utils.Zipper=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Utils.Zipper,Agda.Version=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.Version,Agda.VersionCommit=Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV:Agda.VersionCommit > unit Agda-2.6.1.2-5HS59QWwC0X9jocLB8shpI-agda > include Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV > include base-4.13.0.0 >Ready component graph: > definite Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV > depends aeson-1.4.7.1-IjEUHhY0HKvju0iWmAkzM > depends array-0.5.4.0 > depends async-2.2.2-GZ93PJht51l5SQPrKLdOt0 > depends base-4.13.0.0 > depends binary-0.8.7.0 > depends blaze-html-0.9.1.2-Ceg8KRUrrRKRSEkITKNc1 > depends boxes-0.1.5-Q9SvFlNJmuH845NHEKHN9 > depends bytestring-0.10.10.1 > depends containers-0.6.2.1 > depends data-hash-0.2.0.1-Av4nRZeoeSkBOHMuDYmrkN > depends deepseq-1.4.4.0 > depends directory-1.3.6.0 > depends edit-distance-0.2.2.1-x8dFojdVeJItk5HXkmi0N > depends equivalence-0.3.5-Gw3vWyicIG5Cy1X8UeanAl > depends exceptions-0.10.4-AcCA76Y0j0oK3rQoxPMQMv > depends filepath-1.4.2.1 > depends geniplate-mirror-0.7.7-I9tTciU1Lbh2gDibGSQjqh > depends ghc-compact-0.1.0.0 > depends gitrev-1.3.1-CNqdOJ4ceO63dLQNIREj3f > depends hashable-1.2.7.0-8rZyPp4TU5R2HZlbiRfJ3x > depends hashtables-1.2.4.1-4ObrFKCglkTCYI6JJbskNQ > depends haskeline-0.7.5.0 > depends ieee754-0.7.8-8mLIsGzMJkmF16XVc8BRp2 > depends mtl-2.2.2 > depends murmur-hash-0.1.0.9-KVtMfJPaorT1QQd4GOahF4 > depends pretty-1.1.3.6 > depends process-1.6.9.0 > depends regex-tdfa-1.3.1.0-IdAtoaObrWkHMTUJzigslp > depends split-0.2.3.4-KyPtAwfJzED2zEIheQpqQL > depends stm-2.5.0.0 > depends strict-0.3.2-HdVfpyfWfJMFQ1xX9NFjPU > depends template-haskell-2.15.0.0 > depends text-1.2.4.0 > depends time-1.9.3 > depends transformers-0.5.6.2 > depends unordered-containers-0.2.12.0-LnS0BP5cMsjGYQuy0OsKcg > depends uri-encode-1.5.0.5-BiVoB2yzA6h5xvYANfw9ra > depends zlib-0.6.2.2-K5kML1Zq8qO10V8lXbOwN > definite Agda-2.6.1.2-5HS59QWwC0X9jocLB8shpI-agda > depends Agda-2.6.1.2-9ULK8F8GU5W26eanRYWyOV > depends base-4.13.0.0 > definite Agda-2.6.1.2-15YLs297yZhGvkDVrUurvn-agda-mode > depends base-4.13.0.0 > depends directory-1.3.6.0 > depends filepath-1.4.2.1 > depends process-1.6.9.0 >Using Cabal-3.0.1.0 compiled by ghc-8.8 >Using compiler: ghc-8.8.4 >Using install prefix: /usr >Executables installed in: /usr/bin >Libraries installed in: /usr/lib64/agda-2.6.1.2/ghc-8.8.4 >Dynamic Libraries installed in: /usr/lib64/x86_64-linux-ghc-8.8.4 >Private executables installed in: >/usr/libexec/x86_64-linux-ghc-8.8.4/Agda-2.6.1.2 >Data files installed in: /usr/share/agda-2.6.1.2/ghc-8.8.4 >Documentation installed in: /usr/share/doc/agda-2.6.1.2 >Configuration files installed in: /etc >Using alex version 3.2.5 found on system at: /usr/bin/alex >Using ar given by user at: /usr/bin/x86_64-pc-linux-gnu-ar >No c2hs found >Using cpphs version 1.20.9 found on system at: /usr/bin/cpphs >No doctest found >Using gcc version 10.2.0 found on system at: /usr/bin/x86_64-pc-linux-gnu-gcc >Using ghc version 8.8.4 given by user at: /usr/bin/ghc >Using ghc-pkg version 8.8.4 given by user at: /usr/bin/ghc-pkg >No ghcjs found >No ghcjs-pkg found >No greencard found >Using haddock version 2.23.0 found on system at: /usr/bin/haddock-ghc-8.8.4 >Using happy version 1.19.12 found on system at: /usr/bin/happy >Using haskell-suite found on system at: haskell-suite-dummy-location >Using haskell-suite-pkg found on system at: haskell-suite-pkg-dummy-location >No hmake found >Using hpc version 0.67 found on system at: /usr/bin/hpc >Using hsc2hs version 0.68.7 found on system at: /usr/bin/hsc2hs >No hscolour found >No jhc found >Using ld found on system at: /usr/bin/x86_64-pc-linux-gnu-ld >Using pkg-config version 0.29.2 found on system at: /usr/bin/pkg-config >Using runghc version 8.8.4 found on system at: /usr/bin/runghc >Using strip version 2.35 found on system at: /usr/bin/strip >Using tar found on system at: /bin/tar >No uhc found >>>> Source configured. >>>> Compiling source in /var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2 ... >./setup build >Preprocessing library for Agda-2.6.1.2.. >Building library for Agda-2.6.1.2.. >[ 1 of 369] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, dist/build/Agda/Interaction/Options/IORefs.o ) >[ 2 of 369] Compiling Agda.Syntax.Builtin ( src/full/Agda/Syntax/Builtin.hs, dist/build/Agda/Syntax/Builtin.o ) >[ 3 of 369] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o ) >[ 4 of 369] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o ) >[ 5 of 369] Compiling Agda.Utils.AffineHole ( src/full/Agda/Utils/AffineHole.hs, dist/build/Agda/Utils/AffineHole.o ) >[ 6 of 369] Compiling Agda.Utils.Applicative ( src/full/Agda/Utils/Applicative.hs, dist/build/Agda/Utils/Applicative.o ) >[ 7 of 369] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o ) >[ 8 of 369] Compiling Agda.Utils.Environment ( src/full/Agda/Utils/Environment.hs, dist/build/Agda/Utils/Environment.o ) >[ 9 of 369] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist/build/Agda/Utils/Except.o ) >[ 10 of 369] Compiling Agda.Utils.Fail ( src/full/Agda/Utils/Fail.hs, dist/build/Agda/Utils/Fail.o ) >[ 11 of 369] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o ) >[ 12 of 369] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o ) >[ 13 of 369] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o ) >[ 14 of 369] Compiling Agda.Utils.Haskell.Syntax ( src/full/Agda/Utils/Haskell/Syntax.hs, dist/build/Agda/Utils/Haskell/Syntax.o ) >[ 15 of 369] Compiling Agda.Utils.IO ( src/full/Agda/Utils/IO.hs, dist/build/Agda/Utils/IO.o ) >[ 16 of 369] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o ) >[ 17 of 369] Compiling Agda.Utils.IO.Directory ( src/full/Agda/Utils/IO/Directory.hs, dist/build/Agda/Utils/IO/Directory.o ) >[ 18 of 369] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o ) >[ 19 of 369] Compiling Agda.Utils.IO.TempFile ( src/full/Agda/Utils/IO/TempFile.hs, dist/build/Agda/Utils/IO/TempFile.o ) >[ 20 of 369] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.o ) >[ 21 of 369] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o ) >[ 22 of 369] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.o ) >[ 23 of 369] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.o ) >[ 24 of 369] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o ) >[ 25 of 369] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o ) >[ 26 of 369] Compiling Agda.Utils.IntSet.Infinite ( src/full/Agda/Utils/IntSet/Infinite.hs, dist/build/Agda/Utils/IntSet/Infinite.o ) >[ 27 of 369] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.o ) >[ 28 of 369] Compiling Agda.Utils.IndexedList ( src/full/Agda/Utils/IndexedList.hs, dist/build/Agda/Utils/IndexedList.o ) >[ 29 of 369] Compiling Agda.Interaction.Library.Base ( src/full/Agda/Interaction/Library/Base.hs, dist/build/Agda/Interaction/Library/Base.o ) >[ 30 of 369] Compiling Agda.Auto.Options ( src/full/Agda/Auto/Options.hs, dist/build/Agda/Auto/Options.o ) >[ 31 of 369] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.o ) >[ 32 of 369] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o ) >[ 33 of 369] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o ) >[ 34 of 369] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.o ) >[ 35 of 369] Compiling Agda.Interaction.Options.Warnings ( src/full/Agda/Interaction/Options/Warnings.hs, dist/build/Agda/Interaction/Options/Warnings.o ) >[ 36 of 369] Compiling Agda.Interaction.Options.Help ( src/full/Agda/Interaction/Options/Help.hs, dist/build/Agda/Interaction/Options/Help.o ) >[ 37 of 369] Compiling Agda.Utils.Memo ( src/full/Agda/Utils/Memo.hs, dist/build/Agda/Utils/Memo.o ) >[ 38 of 369] Compiling Agda.Utils.Monoid ( src/full/Agda/Utils/Monoid.hs, dist/build/Agda/Utils/Monoid.o ) >[ 39 of 369] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.o ) >[ 40 of 369] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o ) >[ 41 of 369] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o ) >[ 42 of 369] Compiling Agda.Utils.POMonoid ( src/full/Agda/Utils/POMonoid.hs, dist/build/Agda/Utils/POMonoid.o ) >[ 43 of 369] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o ) >[ 44 of 369] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o ) >[ 45 of 369] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.o ) >[ 46 of 369] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o ) >[ 47 of 369] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o ) >[ 48 of 369] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o ) >[ 49 of 369] Compiling Agda.Utils.Parser.MemoisedCPS ( src/full/Agda/Utils/Parser/MemoisedCPS.hs, dist/build/Agda/Utils/Parser/MemoisedCPS.o ) >[ 50 of 369] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o ) >[ 51 of 369] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o ) >[ 52 of 369] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o ) >[ 53 of 369] Compiling Agda.Utils.SmallSet ( src/full/Agda/Utils/SmallSet.hs, dist/build/Agda/Utils/SmallSet.o ) >[ 54 of 369] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o ) >[ 55 of 369] Compiling Agda.Utils.Three ( src/full/Agda/Utils/Three.hs, dist/build/Agda/Utils/Three.o ) >[ 56 of 369] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o ) >[ 57 of 369] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o ) >[ 58 of 369] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o ) >[ 59 of 369] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o ) >[ 60 of 369] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o ) >[ 61 of 369] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o ) >[ 62 of 369] Compiling Agda.Utils.Float ( src/full/Agda/Utils/Float.hs, dist/build/Agda/Utils/Float.o ) >[ 63 of 369] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o ) >[ 64 of 369] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o ) >[ 65 of 369] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.o ) >[ 66 of 369] Compiling Agda.Syntax.Position ( src/full/Agda/Syntax/Position.hs, dist/build/Agda/Syntax/Position.o ) >[ 67 of 369] Compiling Agda.Utils.Permutation ( src/full/Agda/Utils/Permutation.hs, dist/build/Agda/Utils/Permutation.o ) >[ 68 of 369] Compiling Agda.Syntax.Common ( src/full/Agda/Syntax/Common.hs, dist/build/Agda/Syntax/Common.o ) >[ 69 of 369] Compiling Agda.Syntax.Parser.Literate ( src/full/Agda/Syntax/Parser/Literate.hs, dist/build/Agda/Syntax/Parser/Literate.o ) >[ 70 of 369] 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 ) >[ 71 of 369] Compiling Agda.Syntax.Concrete.Name ( src/full/Agda/Syntax/Concrete/Name.hs, dist/build/Agda/Syntax/Concrete/Name.o ) >[ 72 of 369] Compiling Agda.TypeChecking.Monad.Base[boot] ( src/full/Agda/TypeChecking/Monad/Base.hs-boot, dist/build/Agda/TypeChecking/Monad/Base.o-boot ) >[ 73 of 369] Compiling Agda.Compiler.JS.Syntax ( src/full/Agda/Compiler/JS/Syntax.hs, dist/build/Agda/Compiler/JS/Syntax.o ) >[ 74 of 369] Compiling Agda.Compiler.JS.Substitution ( src/full/Agda/Compiler/JS/Substitution.hs, dist/build/Agda/Compiler/JS/Substitution.o ) >[ 75 of 369] Compiling Agda.Compiler.JS.Pretty ( src/full/Agda/Compiler/JS/Pretty.hs, dist/build/Agda/Compiler/JS/Pretty.o ) >[ 76 of 369] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o ) >[ 77 of 369] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o ) >[ 78 of 369] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o ) >[ 79 of 369] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o ) >[ 80 of 369] Compiling Agda.Interaction.Highlighting.Range ( src/full/Agda/Interaction/Highlighting/Range.hs, dist/build/Agda/Interaction/Highlighting/Range.o ) >[ 81 of 369] Compiling Agda.Syntax.Parser.Monad ( src/full/Agda/Syntax/Parser/Monad.hs, dist/build/Agda/Syntax/Parser/Monad.o ) >[ 82 of 369] Compiling Agda.Syntax.Abstract.Name ( src/full/Agda/Syntax/Abstract/Name.hs, dist/build/Agda/Syntax/Abstract/Name.o ) >[ 83 of 369] Compiling Agda.Syntax.Notation ( src/full/Agda/Syntax/Notation.hs, dist/build/Agda/Syntax/Notation.o ) >[ 84 of 369] Compiling Agda.Syntax.Fixity ( src/full/Agda/Syntax/Fixity.hs, dist/build/Agda/Syntax/Fixity.o ) >[ 85 of 369] Compiling Agda.Syntax.Literal ( src/full/Agda/Syntax/Literal.hs, dist/build/Agda/Syntax/Literal.o ) >[ 86 of 369] Compiling Agda.Syntax.Treeless ( src/full/Agda/Syntax/Treeless.hs, dist/build/Agda/Syntax/Treeless.o ) >[ 87 of 369] Compiling Agda.Compiler.Treeless.GuardsToPrims ( src/full/Agda/Compiler/Treeless/GuardsToPrims.hs, dist/build/Agda/Compiler/Treeless/GuardsToPrims.o ) >[ 88 of 369] Compiling Agda.Compiler.Treeless.AsPatterns ( src/full/Agda/Compiler/Treeless/AsPatterns.hs, dist/build/Agda/Compiler/Treeless/AsPatterns.o ) >[ 89 of 369] Compiling Agda.Syntax.Parser.Tokens ( src/full/Agda/Syntax/Parser/Tokens.hs, dist/build/Agda/Syntax/Parser/Tokens.o ) >[ 90 of 369] Compiling Agda.Compiler.Backend[boot] ( src/full/Agda/Compiler/Backend.hs-boot, dist/build/Agda/Compiler/Backend.o-boot ) >[ 91 of 369] Compiling Agda.Main[boot] ( src/full/Agda/Main.hs-boot, dist/build/Agda/Main.o-boot ) >[ 92 of 369] Compiling Agda.Interaction.Library.Parse ( src/full/Agda/Interaction/Library/Parse.hs, dist/build/Agda/Interaction/Library/Parse.o ) >[ 93 of 369] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o ) >[ 94 of 369] Compiling Agda.Utils.Graph.TopSort ( src/full/Agda/Utils/Graph/TopSort.hs, dist/build/Agda/Utils/Graph/TopSort.o ) >[ 95 of 369] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o ) >[ 96 of 369] Compiling Agda.TypeChecking.Positivity.Occurrence ( src/full/Agda/TypeChecking/Positivity/Occurrence.hs, dist/build/Agda/TypeChecking/Positivity/Occurrence.o ) >[ 97 of 369] Compiling Agda.Syntax.Concrete ( src/full/Agda/Syntax/Concrete.hs, dist/build/Agda/Syntax/Concrete.o ) >[ 98 of 369] Compiling Agda.Syntax.Concrete.Pretty ( src/full/Agda/Syntax/Concrete/Pretty.hs, dist/build/Agda/Syntax/Concrete/Pretty.o ) >[ 99 of 369] Compiling Agda.TypeChecking.Coverage.SplitTree ( src/full/Agda/TypeChecking/Coverage/SplitTree.hs, dist/build/Agda/TypeChecking/Coverage/SplitTree.o ) >[100 of 369] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.o ) >[101 of 369] Compiling Agda.Syntax.Concrete.Pattern ( src/full/Agda/Syntax/Concrete/Pattern.hs, dist/build/Agda/Syntax/Concrete/Pattern.o ) >[102 of 369] Compiling Agda.Syntax.Concrete.Operators.Parser ( src/full/Agda/Syntax/Concrete/Operators/Parser.hs, dist/build/Agda/Syntax/Concrete/Operators/Parser.o ) >[103 of 369] Compiling Agda.Syntax.Concrete.Generic ( src/full/Agda/Syntax/Concrete/Generic.hs, dist/build/Agda/Syntax/Concrete/Generic.o ) >[104 of 369] Compiling Agda.Syntax.Concrete.Fixity ( src/full/Agda/Syntax/Concrete/Fixity.hs, dist/build/Agda/Syntax/Concrete/Fixity.o ) >[105 of 369] Compiling Agda.Syntax.Concrete.Attribute ( src/full/Agda/Syntax/Concrete/Attribute.hs, dist/build/Agda/Syntax/Concrete/Attribute.o ) >[106 of 369] Compiling Agda.Interaction.Highlighting.Precise ( src/full/Agda/Interaction/Highlighting/Precise.hs, dist/build/Agda/Interaction/Highlighting/Precise.o ) >[107 of 369] Compiling Agda.Interaction.Response[boot] ( src/full/Agda/Interaction/Response.hs-boot, dist/build/Agda/Interaction/Response.o-boot ) >[108 of 369] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.o ) >[109 of 369] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.o ) >[110 of 369] Compiling Agda.Syntax.Scope.Base ( src/full/Agda/Syntax/Scope/Base.hs, dist/build/Agda/Syntax/Scope/Base.o ) >[111 of 369] Compiling Agda.Utils.Geniplate ( src/full/Agda/Utils/Geniplate.hs, dist/build/Agda/Utils/Geniplate.o ) >[112 of 369] Compiling Agda.Syntax.Info ( src/full/Agda/Syntax/Info.hs, dist/build/Agda/Syntax/Info.o ) >[113 of 369] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o ) >[114 of 369] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.o ) >[115 of 369] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.o ) >[116 of 369] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o ) >[117 of 369] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o ) >[118 of 369] Compiling Agda.Syntax.Parser.Alex ( src/full/Agda/Syntax/Parser/Alex.hs, dist/build/Agda/Syntax/Parser/Alex.o ) >[119 of 369] Compiling Agda.Syntax.Parser.LookAhead ( src/full/Agda/Syntax/Parser/LookAhead.hs, dist/build/Agda/Syntax/Parser/LookAhead.o ) >[120 of 369] Compiling Agda.Syntax.Parser.StringLiterals ( src/full/Agda/Syntax/Parser/StringLiterals.hs, dist/build/Agda/Syntax/Parser/StringLiterals.o ) >[121 of 369] Compiling Agda.Syntax.Parser.LexActions[boot] ( src/full/Agda/Syntax/Parser/LexActions.hs-boot, dist/build/Agda/Syntax/Parser/LexActions.o-boot ) >[122 of 369] Compiling Agda.Syntax.Parser.Layout[boot] ( src/full/Agda/Syntax/Parser/Layout.hs-boot, dist/build/Agda/Syntax/Parser/Layout.o-boot ) >[123 of 369] Compiling Agda.Syntax.Parser.Comments ( src/full/Agda/Syntax/Parser/Comments.hs, dist/build/Agda/Syntax/Parser/Comments.o ) >[124 of 369] Compiling Agda.Syntax.Parser.Lexer ( dist/build/Agda/Syntax/Parser/Lexer.hs, dist/build/Agda/Syntax/Parser/Lexer.o ) >[125 of 369] Compiling Agda.Syntax.Parser.Parser ( dist/build/Agda/Syntax/Parser/Parser.hs, dist/build/Agda/Syntax/Parser/Parser.o ) >[126 of 369] Compiling Agda.Syntax.Parser.LexActions ( src/full/Agda/Syntax/Parser/LexActions.hs, dist/build/Agda/Syntax/Parser/LexActions.o ) >[127 of 369] Compiling Agda.Syntax.Parser.Layout ( src/full/Agda/Syntax/Parser/Layout.hs, dist/build/Agda/Syntax/Parser/Layout.o ) >[128 of 369] Compiling Agda.Syntax.Parser ( src/full/Agda/Syntax/Parser.hs, dist/build/Agda/Syntax/Parser.o ) >[129 of 369] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o ) >[130 of 369] Compiling Agda.TypeChecking.Substitute.DeBruijn ( src/full/Agda/TypeChecking/Substitute/DeBruijn.hs, dist/build/Agda/TypeChecking/Substitute/DeBruijn.o ) >[131 of 369] Compiling Agda.TypeChecking.Free.Precompute ( src/full/Agda/TypeChecking/Free/Precompute.hs, dist/build/Agda/TypeChecking/Free/Precompute.o ) >[132 of 369] Compiling Agda.TypeChecking.Free.Lazy ( src/full/Agda/TypeChecking/Free/Lazy.hs, dist/build/Agda/TypeChecking/Free/Lazy.o ) >[133 of 369] Compiling Agda.TypeChecking.Free ( src/full/Agda/TypeChecking/Free.hs, dist/build/Agda/TypeChecking/Free.o ) >[134 of 369] Compiling Agda.TypeChecking.Substitute.Class ( src/full/Agda/TypeChecking/Substitute/Class.hs, dist/build/Agda/TypeChecking/Substitute/Class.o ) >[135 of 369] Compiling Agda.Syntax.Reflected ( src/full/Agda/Syntax/Reflected.hs, dist/build/Agda/Syntax/Reflected.o ) >[136 of 369] Compiling Agda.Syntax.Internal.Generic ( src/full/Agda/Syntax/Internal/Generic.hs, dist/build/Agda/Syntax/Internal/Generic.o ) >[137 of 369] Compiling Agda.TypeChecking.CompiledClause ( src/full/Agda/TypeChecking/CompiledClause.hs, dist/build/Agda/TypeChecking/CompiledClause.o ) >[138 of 369] Compiling Agda.Syntax.Internal.MetaVars ( src/full/Agda/Syntax/Internal/MetaVars.hs, dist/build/Agda/Syntax/Internal/MetaVars.o ) >[139 of 369] Compiling Agda.Syntax.Internal.Defs ( src/full/Agda/Syntax/Internal/Defs.hs, dist/build/Agda/Syntax/Internal/Defs.o ) >[140 of 369] Compiling Agda.Syntax.Abstract ( src/full/Agda/Syntax/Abstract.hs, dist/build/Agda/Syntax/Abstract.o ) >[141 of 369] Compiling Agda.Syntax.Internal.Pattern ( src/full/Agda/Syntax/Internal/Pattern.hs, dist/build/Agda/Syntax/Internal/Pattern.o ) >[142 of 369] Compiling Agda.Syntax.Abstract.Views ( src/full/Agda/Syntax/Abstract/Views.hs, dist/build/Agda/Syntax/Abstract/Views.o ) >[143 of 369] Compiling Agda.Syntax.Abstract.PatternSynonyms ( src/full/Agda/Syntax/Abstract/PatternSynonyms.hs, dist/build/Agda/Syntax/Abstract/PatternSynonyms.o ) >[144 of 369] Compiling Agda.Syntax.Abstract.Pattern ( src/full/Agda/Syntax/Abstract/Pattern.hs, dist/build/Agda/Syntax/Abstract/Pattern.o ) >[145 of 369] Compiling Agda.Utils.TypeLevel ( src/full/Agda/Utils/TypeLevel.hs, dist/build/Agda/Utils/TypeLevel.o ) >[146 of 369] Compiling Agda.Utils.TypeLits ( src/full/Agda/Utils/TypeLits.hs, dist/build/Agda/Utils/TypeLits.o ) >[147 of 369] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o ) >[148 of 369] Compiling Agda.Syntax.Concrete.Definitions ( src/full/Agda/Syntax/Concrete/Definitions.hs, dist/build/Agda/Syntax/Concrete/Definitions.o ) >[149 of 369] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o ) >[150 of 369] Compiling Agda.Utils.Warshall ( src/full/Agda/Utils/Warshall.hs, dist/build/Agda/Utils/Warshall.o ) >[151 of 369] Compiling Agda.Utils.WithDefault ( src/full/Agda/Utils/WithDefault.hs, dist/build/Agda/Utils/WithDefault.o ) >[152 of 369] Compiling Agda.Utils.Zipper ( src/full/Agda/Utils/Zipper.hs, dist/build/Agda/Utils/Zipper.o ) >[153 of 369] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o ) >[154 of 369] Compiling Agda.Version ( src/full/Agda/Version.hs, dist/build/Agda/Version.o ) >[155 of 369] Compiling Agda.VersionCommit ( src/full/Agda/VersionCommit.hs, dist/build/Agda/VersionCommit.o ) >[156 of 369] Compiling Agda.Interaction.Library ( src/full/Agda/Interaction/Library.hs, dist/build/Agda/Interaction/Library.o ) >[157 of 369] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.o ) >[158 of 369] Compiling Agda.TypeChecking.Monad.Base ( src/full/Agda/TypeChecking/Monad/Base.hs, dist/build/Agda/TypeChecking/Monad/Base.o ) >[159 of 369] Compiling Agda.TypeChecking.Serialise.Base ( src/full/Agda/TypeChecking/Serialise/Base.hs, dist/build/Agda/TypeChecking/Serialise/Base.o ) >[160 of 369] Compiling Agda.TypeChecking.Rules.Term[boot] ( src/full/Agda/TypeChecking/Rules/Term.hs-boot, dist/build/Agda/TypeChecking/Rules/Term.o-boot ) >[161 of 369] Compiling Agda.TypeChecking.Rules.Decl[boot] ( src/full/Agda/TypeChecking/Rules/Decl.hs-boot, dist/build/Agda/TypeChecking/Rules/Decl.o-boot ) >[162 of 369] Compiling Agda.TypeChecking.Rules.Application[boot] ( src/full/Agda/TypeChecking/Rules/Application.hs-boot, dist/build/Agda/TypeChecking/Rules/Application.o-boot ) >[163 of 369] Compiling Agda.TypeChecking.Rewriting[boot] ( src/full/Agda/TypeChecking/Rewriting.hs-boot, dist/build/Agda/TypeChecking/Rewriting.o-boot ) >[164 of 369] Compiling Agda.TypeChecking.Reduce.Fast[boot] ( src/full/Agda/TypeChecking/Reduce/Fast.hs-boot, dist/build/Agda/TypeChecking/Reduce/Fast.o-boot ) >[165 of 369] Compiling Agda.TypeChecking.Primitive[boot] ( src/full/Agda/TypeChecking/Primitive.hs-boot, dist/build/Agda/TypeChecking/Primitive.o-boot ) >[166 of 369] Compiling Agda.TypeChecking.Polarity[boot] ( src/full/Agda/TypeChecking/Polarity.hs-boot, dist/build/Agda/TypeChecking/Polarity.o-boot ) >[167 of 369] Compiling Agda.TypeChecking.Monad.MetaVars[boot] ( src/full/Agda/TypeChecking/Monad/MetaVars.hs-boot, dist/build/Agda/TypeChecking/Monad/MetaVars.o-boot ) >[168 of 369] Compiling Agda.TypeChecking.Monad.Imports ( src/full/Agda/TypeChecking/Monad/Imports.hs, dist/build/Agda/TypeChecking/Monad/Imports.o ) >[169 of 369] Compiling Agda.TypeChecking.Monad.Env ( src/full/Agda/TypeChecking/Monad/Env.hs, dist/build/Agda/TypeChecking/Monad/Env.o ) >[170 of 369] Compiling Agda.TypeChecking.Monad.Context[boot] ( src/full/Agda/TypeChecking/Monad/Context.hs-boot, dist/build/Agda/TypeChecking/Monad/Context.o-boot ) >[171 of 369] Compiling Agda.TypeChecking.Monad.Builtin[boot] ( src/full/Agda/TypeChecking/Monad/Builtin.hs-boot, dist/build/Agda/TypeChecking/Monad/Builtin.o-boot ) >[172 of 369] Compiling Agda.TypeChecking.Errors[boot] ( src/full/Agda/TypeChecking/Errors.hs-boot, dist/build/Agda/TypeChecking/Errors.o-boot ) >[173 of 369] Compiling Agda.TypeChecking.Monad.Debug ( src/full/Agda/TypeChecking/Monad/Debug.hs, dist/build/Agda/TypeChecking/Monad/Debug.o ) >[174 of 369] Compiling Agda.TypeChecking.Monad.Statistics ( src/full/Agda/TypeChecking/Monad/Statistics.hs, dist/build/Agda/TypeChecking/Monad/Statistics.o ) >[175 of 369] Compiling Agda.TypeChecking.Monad.Signature[boot] ( src/full/Agda/TypeChecking/Monad/Signature.hs-boot, dist/build/Agda/TypeChecking/Monad/Signature.o-boot ) >[176 of 369] Compiling Agda.TypeChecking.ProjectionLike[boot] ( src/full/Agda/TypeChecking/ProjectionLike.hs-boot, dist/build/Agda/TypeChecking/ProjectionLike.o-boot ) >[177 of 369] Compiling Agda.TypeChecking.Pretty[boot] ( src/full/Agda/TypeChecking/Pretty.hs-boot, dist/build/Agda/TypeChecking/Pretty.o-boot ) >[178 of 369] Compiling Agda.TypeChecking.Pretty.Warning[boot] ( src/full/Agda/TypeChecking/Pretty/Warning.hs-boot, dist/build/Agda/TypeChecking/Pretty/Warning.o-boot ) >[179 of 369] Compiling Agda.TypeChecking.Pretty.Call[boot] ( src/full/Agda/TypeChecking/Pretty/Call.hs-boot, dist/build/Agda/TypeChecking/Pretty/Call.o-boot ) >[180 of 369] Compiling Agda.TypeChecking.Monad.Caching ( src/full/Agda/TypeChecking/Monad/Caching.hs, dist/build/Agda/TypeChecking/Monad/Caching.o ) >[181 of 369] Compiling Agda.TypeChecking.Monad.Benchmark ( src/full/Agda/TypeChecking/Monad/Benchmark.hs, dist/build/Agda/TypeChecking/Monad/Benchmark.o ) >[182 of 369] Compiling Agda.TypeChecking.Irrelevance[boot] ( src/full/Agda/TypeChecking/Irrelevance.hs-boot, dist/build/Agda/TypeChecking/Irrelevance.o-boot ) >[183 of 369] Compiling Agda.TypeChecking.CompiledClause.Match[boot] ( src/full/Agda/TypeChecking/CompiledClause/Match.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Match.o-boot ) >[184 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile[boot] ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs-boot, dist/build/Agda/TypeChecking/CompiledClause/Compile.o-boot ) >[185 of 369] Compiling Agda.Syntax.Internal.Names ( src/full/Agda/Syntax/Internal/Names.hs, dist/build/Agda/Syntax/Internal/Names.o ) >[186 of 369] Compiling Agda.Interaction.Highlighting.Generate[boot] ( src/full/Agda/Interaction/Highlighting/Generate.hs-boot, dist/build/Agda/Interaction/Highlighting/Generate.o-boot ) >[187 of 369] Compiling Agda.TypeChecking.Warnings ( src/full/Agda/TypeChecking/Warnings.hs, dist/build/Agda/TypeChecking/Warnings.o ) >[188 of 369] Compiling Agda.Interaction.Imports[boot] ( src/full/Agda/Interaction/Imports.hs-boot, dist/build/Agda/Interaction/Imports.o-boot ) >[189 of 369] Compiling Agda.Compiler.Treeless.Erase[boot] ( src/full/Agda/Compiler/Treeless/Erase.hs-boot, dist/build/Agda/Compiler/Treeless/Erase.o-boot ) >[190 of 369] Compiling Agda.TypeChecking.Inlining ( src/full/Agda/TypeChecking/Inlining.hs, dist/build/Agda/TypeChecking/Inlining.o ) >[191 of 369] Compiling Agda.Interaction.FindFile ( src/full/Agda/Interaction/FindFile.hs, dist/build/Agda/Interaction/FindFile.o ) >[192 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Common ( src/full/Agda/TypeChecking/Serialise/Instances/Common.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Common.o ) >[193 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Highlighting ( src/full/Agda/TypeChecking/Serialise/Instances/Highlighting.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Highlighting.o ) >[194 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Abstract ( src/full/Agda/TypeChecking/Serialise/Instances/Abstract.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Abstract.o ) >[195 of 369] Compiling Agda.Interaction.Base ( src/full/Agda/Interaction/Base.hs, dist/build/Agda/Interaction/Base.o ) >[196 of 369] Compiling Agda.Interaction.Response ( src/full/Agda/Interaction/Response.hs, dist/build/Agda/Interaction/Response.o ) >[197 of 369] Compiling Agda.TypeChecking.Monad.State ( src/full/Agda/TypeChecking/Monad/State.hs, dist/build/Agda/TypeChecking/Monad/State.o ) >[198 of 369] Compiling Agda.TypeChecking.Monad.Trace ( src/full/Agda/TypeChecking/Monad/Trace.hs, dist/build/Agda/TypeChecking/Monad/Trace.o ) >[199 of 369] Compiling Agda.TypeChecking.Monad.Mutual ( src/full/Agda/TypeChecking/Monad/Mutual.hs, dist/build/Agda/TypeChecking/Monad/Mutual.o ) >[200 of 369] Compiling Agda.TypeChecking.Monad.Closure ( src/full/Agda/TypeChecking/Monad/Closure.hs, dist/build/Agda/TypeChecking/Monad/Closure.o ) >[201 of 369] Compiling Agda.TypeChecking.Monad.Constraints ( src/full/Agda/TypeChecking/Monad/Constraints.hs, dist/build/Agda/TypeChecking/Monad/Constraints.o ) >[202 of 369] Compiling Agda.TypeChecking.Constraints[boot] ( src/full/Agda/TypeChecking/Constraints.hs-boot, dist/build/Agda/TypeChecking/Constraints.o-boot ) >[203 of 369] Compiling Agda.Syntax.Scope.Monad ( src/full/Agda/Syntax/Scope/Monad.hs, dist/build/Agda/Syntax/Scope/Monad.o ) >[204 of 369] Compiling Agda.Syntax.Concrete.Operators ( src/full/Agda/Syntax/Concrete/Operators.hs, dist/build/Agda/Syntax/Concrete/Operators.o ) >[205 of 369] Compiling Agda.Interaction.Options.Lenses ( src/full/Agda/Interaction/Options/Lenses.hs, dist/build/Agda/Interaction/Options/Lenses.o ) >[206 of 369] Compiling Agda.TypeChecking.Monad.Options ( src/full/Agda/TypeChecking/Monad/Options.hs, dist/build/Agda/TypeChecking/Monad/Options.o ) >[207 of 369] Compiling Agda.TypeChecking.Substitute ( src/full/Agda/TypeChecking/Substitute.hs, dist/build/Agda/TypeChecking/Substitute.o ) >[208 of 369] Compiling Agda.TypeChecking.Monad.Open ( src/full/Agda/TypeChecking/Monad/Open.hs, dist/build/Agda/TypeChecking/Monad/Open.o ) >[209 of 369] Compiling Agda.TypeChecking.Monad.Context ( src/full/Agda/TypeChecking/Monad/Context.hs, dist/build/Agda/TypeChecking/Monad/Context.o ) >[210 of 369] Compiling Agda.TypeChecking.Telescope[boot] ( src/full/Agda/TypeChecking/Telescope.hs-boot, dist/build/Agda/TypeChecking/Telescope.o-boot ) >[211 of 369] Compiling Agda.TypeChecking.Monad.Builtin ( src/full/Agda/TypeChecking/Monad/Builtin.hs, dist/build/Agda/TypeChecking/Monad/Builtin.o ) >[212 of 369] Compiling Agda.TypeChecking.Monad.SizedTypes ( src/full/Agda/TypeChecking/Monad/SizedTypes.hs, dist/build/Agda/TypeChecking/Monad/SizedTypes.o ) >[213 of 369] Compiling Agda.TypeChecking.Level[boot] ( src/full/Agda/TypeChecking/Level.hs-boot, dist/build/Agda/TypeChecking/Level.o-boot ) >[214 of 369] Compiling Agda.Syntax.Translation.AbstractToConcrete ( src/full/Agda/Syntax/Translation/AbstractToConcrete.hs, dist/build/Agda/Syntax/Translation/AbstractToConcrete.o ) >[215 of 369] Compiling Agda.Syntax.Abstract.Pretty ( src/full/Agda/Syntax/Abstract/Pretty.hs, dist/build/Agda/Syntax/Abstract/Pretty.o ) >[216 of 369] Compiling Agda.TypeChecking.DropArgs ( src/full/Agda/TypeChecking/DropArgs.hs, dist/build/Agda/TypeChecking/DropArgs.o ) >[217 of 369] Compiling Agda.TypeChecking.Monad.Signature ( src/full/Agda/TypeChecking/Monad/Signature.hs, dist/build/Agda/TypeChecking/Monad/Signature.o ) >[218 of 369] Compiling Agda.TypeChecking.Monad.MetaVars ( src/full/Agda/TypeChecking/Monad/MetaVars.hs, dist/build/Agda/TypeChecking/Monad/MetaVars.o ) >[219 of 369] Compiling Agda.TypeChecking.MetaVars[boot] ( src/full/Agda/TypeChecking/MetaVars.hs-boot, dist/build/Agda/TypeChecking/MetaVars.o-boot ) >[220 of 369] Compiling Agda.TypeChecking.Datatypes[boot] ( src/full/Agda/TypeChecking/Datatypes.hs-boot, dist/build/Agda/TypeChecking/Datatypes.o-boot ) >[221 of 369] Compiling Agda.Compiler.Treeless.Subst ( src/full/Agda/Compiler/Treeless/Subst.hs, dist/build/Agda/Compiler/Treeless/Subst.o ) >[222 of 369] Compiling Agda.Compiler.Treeless.Pretty ( src/full/Agda/Compiler/Treeless/Pretty.hs, dist/build/Agda/Compiler/Treeless/Pretty.o ) >[223 of 369] Compiling Agda.Compiler.Treeless.Compare ( src/full/Agda/Compiler/Treeless/Compare.hs, dist/build/Agda/Compiler/Treeless/Compare.o ) >[224 of 369] Compiling Agda.Compiler.Treeless.Uncase ( src/full/Agda/Compiler/Treeless/Uncase.hs, dist/build/Agda/Compiler/Treeless/Uncase.o ) >[225 of 369] Compiling Agda.TypeChecking.Monad ( src/full/Agda/TypeChecking/Monad.hs, dist/build/Agda/TypeChecking/Monad.o ) >[226 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Compilers ( src/full/Agda/TypeChecking/Serialise/Instances/Compilers.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Compilers.o ) >[227 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Internal ( src/full/Agda/TypeChecking/Serialise/Instances/Internal.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Internal.o ) >[228 of 369] Compiling Agda.TypeChecking.Serialise.Instances.Errors ( src/full/Agda/TypeChecking/Serialise/Instances/Errors.hs, dist/build/Agda/TypeChecking/Serialise/Instances/Errors.o ) >[229 of 369] Compiling Agda.TypeChecking.Serialise.Instances ( src/full/Agda/TypeChecking/Serialise/Instances.hs, dist/build/Agda/TypeChecking/Serialise/Instances.o ) >[230 of 369] Compiling Agda.TypeChecking.Serialise ( src/full/Agda/TypeChecking/Serialise.hs, dist/build/Agda/TypeChecking/Serialise.o ) >[231 of 369] Compiling Agda.TypeChecking.Rules.Def[boot] ( src/full/Agda/TypeChecking/Rules/Def.hs-boot, dist/build/Agda/TypeChecking/Rules/Def.o-boot ) >[232 of 369] 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 ) >[233 of 369] Compiling Agda.TypeChecking.Rewriting.Clause ( src/full/Agda/TypeChecking/Rewriting/Clause.hs, dist/build/Agda/TypeChecking/Rewriting/Clause.o ) >[234 of 369] Compiling Agda.TypeChecking.Reduce.Monad ( src/full/Agda/TypeChecking/Reduce/Monad.hs, dist/build/Agda/TypeChecking/Reduce/Monad.o ) >[235 of 369] Compiling Agda.TypeChecking.Records[boot] ( src/full/Agda/TypeChecking/Records.hs-boot, dist/build/Agda/TypeChecking/Records.o-boot ) >[236 of 369] Compiling Agda.TypeChecking.Patterns.Match[boot] ( src/full/Agda/TypeChecking/Patterns/Match.hs-boot, dist/build/Agda/TypeChecking/Patterns/Match.o-boot ) >[237 of 369] Compiling Agda.TypeChecking.Patterns.Abstract ( src/full/Agda/TypeChecking/Patterns/Abstract.hs, dist/build/Agda/TypeChecking/Patterns/Abstract.o ) >[238 of 369] Compiling Agda.TypeChecking.Names ( src/full/Agda/TypeChecking/Names.hs, dist/build/Agda/TypeChecking/Names.o ) >[239 of 369] Compiling Agda.TypeChecking.MetaVars.Mention ( src/full/Agda/TypeChecking/MetaVars/Mention.hs, dist/build/Agda/TypeChecking/MetaVars/Mention.o ) >[240 of 369] Compiling Agda.TypeChecking.EtaContract ( src/full/Agda/TypeChecking/EtaContract.hs, dist/build/Agda/TypeChecking/EtaContract.o ) >[241 of 369] Compiling Agda.TypeChecking.Reduce ( src/full/Agda/TypeChecking/Reduce.hs, dist/build/Agda/TypeChecking/Reduce.o ) >[242 of 369] Compiling Agda.TypeChecking.Telescope ( src/full/Agda/TypeChecking/Telescope.hs, dist/build/Agda/TypeChecking/Telescope.o ) >[243 of 369] Compiling Agda.TypeChecking.SyntacticEquality ( src/full/Agda/TypeChecking/SyntacticEquality.hs, dist/build/Agda/TypeChecking/SyntacticEquality.o ) >[244 of 369] Compiling Agda.TypeChecking.Primitive.Base ( src/full/Agda/TypeChecking/Primitive/Base.hs, dist/build/Agda/TypeChecking/Primitive/Base.o ) >[245 of 369] Compiling Agda.TypeChecking.Primitive.Cubical ( src/full/Agda/TypeChecking/Primitive/Cubical.hs, dist/build/Agda/TypeChecking/Primitive/Cubical.o ) >[246 of 369] Compiling Agda.TypeChecking.Patterns.Internal ( src/full/Agda/TypeChecking/Patterns/Internal.hs, dist/build/Agda/TypeChecking/Patterns/Internal.o ) >[247 of 369] Compiling Agda.TypeChecking.Level ( src/full/Agda/TypeChecking/Level.hs, dist/build/Agda/TypeChecking/Level.o ) >[248 of 369] Compiling Agda.TypeChecking.Quote ( src/full/Agda/TypeChecking/Quote.hs, dist/build/Agda/TypeChecking/Quote.o ) >[249 of 369] Compiling Agda.TypeChecking.Primitive ( src/full/Agda/TypeChecking/Primitive.hs, dist/build/Agda/TypeChecking/Primitive.o ) >[250 of 369] Compiling Agda.TypeChecking.LevelConstraints ( src/full/Agda/TypeChecking/LevelConstraints.hs, dist/build/Agda/TypeChecking/LevelConstraints.o ) >[251 of 369] Compiling Agda.TypeChecking.Level.Solve ( src/full/Agda/TypeChecking/Level/Solve.hs, dist/build/Agda/TypeChecking/Level/Solve.o ) >[252 of 369] Compiling Agda.TypeChecking.Free.Reduce ( src/full/Agda/TypeChecking/Free/Reduce.hs, dist/build/Agda/TypeChecking/Free/Reduce.o ) >[253 of 369] Compiling Agda.TypeChecking.Empty[boot] ( src/full/Agda/TypeChecking/Empty.hs-boot, dist/build/Agda/TypeChecking/Empty.o-boot ) >[254 of 369] Compiling Agda.TypeChecking.DisplayForm ( src/full/Agda/TypeChecking/DisplayForm.hs, dist/build/Agda/TypeChecking/DisplayForm.o ) >[255 of 369] Compiling Agda.TypeChecking.DeadCode ( src/full/Agda/TypeChecking/DeadCode.hs, dist/build/Agda/TypeChecking/DeadCode.o ) >[256 of 369] Compiling Agda.TypeChecking.Conversion[boot] ( src/full/Agda/TypeChecking/Conversion.hs-boot, dist/build/Agda/TypeChecking/Conversion.o-boot ) >[257 of 369] Compiling Agda.TypeChecking.CompiledClause.Match ( src/full/Agda/TypeChecking/CompiledClause/Match.hs, dist/build/Agda/TypeChecking/CompiledClause/Match.o ) >[258 of 369] Compiling Agda.TypeChecking.CheckInternal[boot] ( src/full/Agda/TypeChecking/CheckInternal.hs-boot, dist/build/Agda/TypeChecking/CheckInternal.o-boot ) >[259 of 369] Compiling Agda.Termination.RecCheck ( src/full/Agda/Termination/RecCheck.hs, dist/build/Agda/Termination/RecCheck.o ) >[260 of 369] Compiling Agda.Syntax.Translation.ReflectedToAbstract ( src/full/Agda/Syntax/Translation/ReflectedToAbstract.hs, dist/build/Agda/Syntax/Translation/ReflectedToAbstract.o ) >[261 of 369] Compiling Agda.Syntax.Translation.InternalToAbstract ( src/full/Agda/Syntax/Translation/InternalToAbstract.hs, dist/build/Agda/Syntax/Translation/InternalToAbstract.o ) >[262 of 369] Compiling Agda.TypeChecking.Pretty ( src/full/Agda/TypeChecking/Pretty.hs, dist/build/Agda/TypeChecking/Pretty.o ) >[263 of 369] Compiling Agda.TypeChecking.Telescope.Path ( src/full/Agda/TypeChecking/Telescope/Path.hs, dist/build/Agda/TypeChecking/Telescope/Path.o ) >[264 of 369] Compiling Agda.TypeChecking.SizedTypes ( src/full/Agda/TypeChecking/SizedTypes.hs, dist/build/Agda/TypeChecking/SizedTypes.o ) >[265 of 369] Compiling Agda.TypeChecking.Rules.Display ( src/full/Agda/TypeChecking/Rules/Display.hs, dist/build/Agda/TypeChecking/Rules/Display.o ) >[266 of 369] Compiling Agda.TypeChecking.Pretty.Call ( src/full/Agda/TypeChecking/Pretty/Call.hs, dist/build/Agda/TypeChecking/Pretty/Call.o ) >[267 of 369] Compiling Agda.TypeChecking.Irrelevance ( src/full/Agda/TypeChecking/Irrelevance.hs, dist/build/Agda/TypeChecking/Irrelevance.o ) >[268 of 369] Compiling Agda.TypeChecking.Records ( src/full/Agda/TypeChecking/Records.hs, dist/build/Agda/TypeChecking/Records.o ) >[269 of 369] Compiling Agda.TypeChecking.Rules.LHS.Problem ( src/full/Agda/TypeChecking/Rules/LHS/Problem.hs, dist/build/Agda/TypeChecking/Rules/LHS/Problem.o ) >[270 of 369] Compiling Agda.TypeChecking.Patterns.Match ( src/full/Agda/TypeChecking/Patterns/Match.hs, dist/build/Agda/TypeChecking/Patterns/Match.o ) >[271 of 369] Compiling Agda.TypeChecking.Implicit ( src/full/Agda/TypeChecking/Implicit.hs, dist/build/Agda/TypeChecking/Implicit.o ) >[272 of 369] Compiling Agda.TypeChecking.Rules.LHS.Implicit ( src/full/Agda/TypeChecking/Rules/LHS/Implicit.hs, dist/build/Agda/TypeChecking/Rules/LHS/Implicit.o ) >[273 of 369] Compiling Agda.TypeChecking.Rules.LHS.ProblemRest ( src/full/Agda/TypeChecking/Rules/LHS/ProblemRest.hs, dist/build/Agda/TypeChecking/Rules/LHS/ProblemRest.o ) >[274 of 369] Compiling Agda.TypeChecking.Functions ( src/full/Agda/TypeChecking/Functions.hs, dist/build/Agda/TypeChecking/Functions.o ) >[275 of 369] Compiling Agda.TypeChecking.Forcing ( src/full/Agda/TypeChecking/Forcing.hs, dist/build/Agda/TypeChecking/Forcing.o ) >[276 of 369] Compiling Agda.TypeChecking.Datatypes ( src/full/Agda/TypeChecking/Datatypes.hs, dist/build/Agda/TypeChecking/Datatypes.o ) >[277 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinPattern ( src/full/Agda/TypeChecking/Rewriting/NonLinPattern.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinPattern.o ) >[278 of 369] Compiling Agda.TypeChecking.RecordPatterns ( src/full/Agda/TypeChecking/RecordPatterns.hs, dist/build/Agda/TypeChecking/RecordPatterns.o ) >[279 of 369] Compiling Agda.TypeChecking.Positivity ( src/full/Agda/TypeChecking/Positivity.hs, dist/build/Agda/TypeChecking/Positivity.o ) >[280 of 369] Compiling Agda.TypeChecking.ProjectionLike ( src/full/Agda/TypeChecking/ProjectionLike.hs, dist/build/Agda/TypeChecking/ProjectionLike.o ) >[281 of 369] Compiling Agda.TypeChecking.Sort ( src/full/Agda/TypeChecking/Sort.hs, dist/build/Agda/TypeChecking/Sort.o ) >[282 of 369] Compiling Agda.TypeChecking.Pretty.Warning ( src/full/Agda/TypeChecking/Pretty/Warning.hs, dist/build/Agda/TypeChecking/Pretty/Warning.o ) >[283 of 369] Compiling Agda.TypeChecking.Polarity ( src/full/Agda/TypeChecking/Polarity.hs, dist/build/Agda/TypeChecking/Polarity.o ) >[284 of 369] Compiling Agda.TypeChecking.Injectivity ( src/full/Agda/TypeChecking/Injectivity.hs, dist/build/Agda/TypeChecking/Injectivity.o ) >[285 of 369] Compiling Agda.TypeChecking.Coverage.Match ( src/full/Agda/TypeChecking/Coverage/Match.hs, dist/build/Agda/TypeChecking/Coverage/Match.o ) >[286 of 369] Compiling Agda.TypeChecking.Conversion.Pure ( src/full/Agda/TypeChecking/Conversion/Pure.hs, dist/build/Agda/TypeChecking/Conversion/Pure.o ) >[287 of 369] Compiling Agda.TypeChecking.Rewriting.NonLinMatch ( src/full/Agda/TypeChecking/Rewriting/NonLinMatch.hs, dist/build/Agda/TypeChecking/Rewriting/NonLinMatch.o ) >[288 of 369] Compiling Agda.Termination.Monad ( src/full/Agda/Termination/Monad.hs, dist/build/Agda/Termination/Monad.o ) >[289 of 369] Compiling Agda.TypeChecking.Errors ( src/full/Agda/TypeChecking/Errors.hs, dist/build/Agda/TypeChecking/Errors.o ) >[290 of 369] Compiling Agda.TypeChecking.InstanceArguments ( src/full/Agda/TypeChecking/InstanceArguments.hs, dist/build/Agda/TypeChecking/InstanceArguments.o ) >[291 of 369] Compiling Agda.TypeChecking.Constraints ( src/full/Agda/TypeChecking/Constraints.hs, dist/build/Agda/TypeChecking/Constraints.o ) >[292 of 369] Compiling Agda.TypeChecking.MetaVars.Occurs ( src/full/Agda/TypeChecking/MetaVars/Occurs.hs, dist/build/Agda/TypeChecking/MetaVars/Occurs.o ) >[293 of 369] Compiling Agda.TypeChecking.MetaVars ( src/full/Agda/TypeChecking/MetaVars.hs, dist/build/Agda/TypeChecking/MetaVars.o ) >[294 of 369] Compiling Agda.TypeChecking.SizedTypes.Solve ( src/full/Agda/TypeChecking/SizedTypes/Solve.hs, dist/build/Agda/TypeChecking/SizedTypes/Solve.o ) >[295 of 369] Compiling Agda.TypeChecking.Conversion ( src/full/Agda/TypeChecking/Conversion.hs, dist/build/Agda/TypeChecking/Conversion.o ) >[296 of 369] Compiling Agda.TypeChecking.Unquote ( src/full/Agda/TypeChecking/Unquote.hs, dist/build/Agda/TypeChecking/Unquote.o ) >[297 of 369] Compiling Agda.TypeChecking.Rules.LHS.Unify ( src/full/Agda/TypeChecking/Rules/LHS/Unify.hs, dist/build/Agda/TypeChecking/Rules/LHS/Unify.o ) >[298 of 369] Compiling Agda.TypeChecking.Rewriting.Confluence ( src/full/Agda/TypeChecking/Rewriting/Confluence.hs, dist/build/Agda/TypeChecking/Rewriting/Confluence.o ) >[299 of 369] Compiling Agda.TypeChecking.Rewriting ( src/full/Agda/TypeChecking/Rewriting.hs, dist/build/Agda/TypeChecking/Rewriting.o ) >[300 of 369] Compiling Agda.TypeChecking.Reduce.Fast ( src/full/Agda/TypeChecking/Reduce/Fast.hs, dist/build/Agda/TypeChecking/Reduce/Fast.o ) >[301 of 369] Compiling Agda.TypeChecking.IApplyConfluence ( src/full/Agda/TypeChecking/IApplyConfluence.hs, dist/build/Agda/TypeChecking/IApplyConfluence.o ) >[302 of 369] Compiling Agda.TypeChecking.Generalize ( src/full/Agda/TypeChecking/Generalize.hs, dist/build/Agda/TypeChecking/Generalize.o ) >[303 of 369] Compiling Agda.TypeChecking.Rules.Data ( src/full/Agda/TypeChecking/Rules/Data.hs, dist/build/Agda/TypeChecking/Rules/Data.o ) >[304 of 369] Compiling Agda.TypeChecking.CheckInternal ( src/full/Agda/TypeChecking/CheckInternal.hs, dist/build/Agda/TypeChecking/CheckInternal.o ) >[305 of 369] Compiling Agda.TypeChecking.ReconstructParameters ( src/full/Agda/TypeChecking/ReconstructParameters.hs, dist/build/Agda/TypeChecking/ReconstructParameters.o ) >[306 of 369] Compiling Agda.TypeChecking.EtaExpand ( src/full/Agda/TypeChecking/EtaExpand.hs, dist/build/Agda/TypeChecking/EtaExpand.o ) >[307 of 369] Compiling Agda.TypeChecking.Abstract ( src/full/Agda/TypeChecking/Abstract.hs, dist/build/Agda/TypeChecking/Abstract.o ) >[308 of 369] Compiling Agda.TypeChecking.With ( src/full/Agda/TypeChecking/With.hs, dist/build/Agda/TypeChecking/With.o ) >[309 of 369] Compiling Agda.Termination.TermCheck ( src/full/Agda/Termination/TermCheck.hs, dist/build/Agda/Termination/TermCheck.o ) >[310 of 369] Compiling Agda.Syntax.Internal.SanityCheck ( src/full/Agda/Syntax/Internal/SanityCheck.hs, dist/build/Agda/Syntax/Internal/SanityCheck.o ) >[311 of 369] Compiling Agda.Syntax.IdiomBrackets ( src/full/Agda/Syntax/IdiomBrackets.hs, dist/build/Agda/Syntax/IdiomBrackets.o ) >[312 of 369] Compiling Agda.Syntax.DoNotation ( src/full/Agda/Syntax/DoNotation.hs, dist/build/Agda/Syntax/DoNotation.o ) >[313 of 369] Compiling Agda.Interaction.Monad ( src/full/Agda/Interaction/Monad.hs, dist/build/Agda/Interaction/Monad.o ) >[314 of 369] Compiling Agda.Interaction.JSON ( src/full/Agda/Interaction/JSON.hs, dist/build/Agda/Interaction/JSON.o ) >[315 of 369] Compiling Agda.Interaction.Highlighting.Vim ( src/full/Agda/Interaction/Highlighting/Vim.hs, dist/build/Agda/Interaction/Highlighting/Vim.o ) >[316 of 369] Compiling Agda.Interaction.Highlighting.Dot ( src/full/Agda/Interaction/Highlighting/Dot.hs, dist/build/Agda/Interaction/Highlighting/Dot.o ) >[317 of 369] Compiling Agda.Interaction.Highlighting.Common ( src/full/Agda/Interaction/Highlighting/Common.hs, dist/build/Agda/Interaction/Highlighting/Common.o ) >[318 of 369] Compiling Agda.Compiler.Treeless.Unused ( src/full/Agda/Compiler/Treeless/Unused.hs, dist/build/Agda/Compiler/Treeless/Unused.o ) >[319 of 369] Compiling Agda.Compiler.Treeless.Simplify ( src/full/Agda/Compiler/Treeless/Simplify.hs, dist/build/Agda/Compiler/Treeless/Simplify.o ) >[320 of 369] Compiling Agda.Compiler.Treeless.NormalizeNames ( src/full/Agda/Compiler/Treeless/NormalizeNames.hs, dist/build/Agda/Compiler/Treeless/NormalizeNames.o ) >[321 of 369] Compiling Agda.Compiler.Treeless.Identity ( src/full/Agda/Compiler/Treeless/Identity.hs, dist/build/Agda/Compiler/Treeless/Identity.o ) >[322 of 369] Compiling Agda.Compiler.Treeless.Erase ( src/full/Agda/Compiler/Treeless/Erase.hs, dist/build/Agda/Compiler/Treeless/Erase.o ) >[323 of 369] Compiling Agda.Compiler.Treeless.EliminateLiteralPatterns ( src/full/Agda/Compiler/Treeless/EliminateLiteralPatterns.hs, dist/build/Agda/Compiler/Treeless/EliminateLiteralPatterns.o ) >[324 of 369] Compiling Agda.Compiler.Treeless.EliminateDefaults ( src/full/Agda/Compiler/Treeless/EliminateDefaults.hs, dist/build/Agda/Compiler/Treeless/EliminateDefaults.o ) >[325 of 369] Compiling Agda.Compiler.Treeless.Builtin ( src/full/Agda/Compiler/Treeless/Builtin.hs, dist/build/Agda/Compiler/Treeless/Builtin.o ) >[326 of 369] Compiling Agda.Compiler.MAlonzo.Compiler[boot] ( src/full/Agda/Compiler/MAlonzo/Compiler.hs-boot, dist/build/Agda/Compiler/MAlonzo/Compiler.o-boot ) >[327 of 369] Compiling Agda.Compiler.MAlonzo.Coerce ( src/full/Agda/Compiler/MAlonzo/Coerce.hs, dist/build/Agda/Compiler/MAlonzo/Coerce.o ) >[328 of 369] Compiling Agda.Compiler.CallCompiler ( src/full/Agda/Compiler/CallCompiler.hs, dist/build/Agda/Compiler/CallCompiler.o ) >[329 of 369] Compiling Agda.Interaction.Highlighting.JSON ( src/full/Agda/Interaction/Highlighting/JSON.hs, dist/build/Agda/Interaction/Highlighting/JSON.o ) >[330 of 369] Compiling Agda.Interaction.Highlighting.Generate ( src/full/Agda/Interaction/Highlighting/Generate.hs, dist/build/Agda/Interaction/Highlighting/Generate.o ) >[331 of 369] Compiling Agda.TypeChecking.Rules.LHS ( src/full/Agda/TypeChecking/Rules/LHS.hs, dist/build/Agda/TypeChecking/Rules/LHS.o ) >[332 of 369] Compiling Agda.TypeChecking.Rules.Term ( src/full/Agda/TypeChecking/Rules/Term.hs, dist/build/Agda/TypeChecking/Rules/Term.o ) >[333 of 369] Compiling Agda.TypeChecking.Rules.Builtin ( src/full/Agda/TypeChecking/Rules/Builtin.hs, dist/build/Agda/TypeChecking/Rules/Builtin.o ) >[334 of 369] Compiling Agda.TypeChecking.Rules.Builtin.Coinduction ( src/full/Agda/TypeChecking/Rules/Builtin/Coinduction.hs, dist/build/Agda/TypeChecking/Rules/Builtin/Coinduction.o ) >[335 of 369] Compiling Agda.Syntax.Translation.ConcreteToAbstract ( src/full/Agda/Syntax/Translation/ConcreteToAbstract.hs, dist/build/Agda/Syntax/Translation/ConcreteToAbstract.o ) >[336 of 369] Compiling Agda.TypeChecking.Coverage ( src/full/Agda/TypeChecking/Coverage.hs, dist/build/Agda/TypeChecking/Coverage.o ) >[337 of 369] Compiling Agda.TypeChecking.Empty ( src/full/Agda/TypeChecking/Empty.hs, dist/build/Agda/TypeChecking/Empty.o ) >[338 of 369] Compiling Agda.TypeChecking.CompiledClause.Compile ( src/full/Agda/TypeChecking/CompiledClause/Compile.hs, dist/build/Agda/TypeChecking/CompiledClause/Compile.o ) >[339 of 369] Compiling Agda.TypeChecking.Rules.Record ( src/full/Agda/TypeChecking/Rules/Record.hs, dist/build/Agda/TypeChecking/Rules/Record.o ) >[340 of 369] Compiling Agda.TypeChecking.Rules.Def ( src/full/Agda/TypeChecking/Rules/Def.hs, dist/build/Agda/TypeChecking/Rules/Def.o ) >[341 of 369] Compiling Agda.Compiler.ToTreeless ( src/full/Agda/Compiler/ToTreeless.hs, dist/build/Agda/Compiler/ToTreeless.o ) >[342 of 369] Compiling Agda.TypeChecking.Rules.Application ( src/full/Agda/TypeChecking/Rules/Application.hs, dist/build/Agda/TypeChecking/Rules/Application.o ) >[343 of 369] Compiling Agda.TypeChecking.Rules.Decl ( src/full/Agda/TypeChecking/Rules/Decl.hs, dist/build/Agda/TypeChecking/Rules/Decl.o ) >[344 of 369] Compiling Agda.TheTypeChecker ( src/full/Agda/TheTypeChecker.hs, dist/build/Agda/TheTypeChecker.o ) >[345 of 369] Compiling Agda.Interaction.Highlighting.Emacs ( src/full/Agda/Interaction/Highlighting/Emacs.hs, dist/build/Agda/Interaction/Highlighting/Emacs.o ) >[346 of 369] Compiling Agda.Interaction.BasicOps ( src/full/Agda/Interaction/BasicOps.hs, dist/build/Agda/Interaction/BasicOps.o ) >[347 of 369] Compiling Agda.Interaction.SearchAbout ( src/full/Agda/Interaction/SearchAbout.hs, dist/build/Agda/Interaction/SearchAbout.o ) >[348 of 369] Compiling Agda.Interaction.MakeCase ( src/full/Agda/Interaction/MakeCase.hs, dist/build/Agda/Interaction/MakeCase.o ) >[349 of 369] Compiling Agda.Auto.Convert ( src/full/Agda/Auto/Convert.hs, dist/build/Agda/Auto/Convert.o ) >[350 of 369] Compiling Agda.Interaction.Imports ( src/full/Agda/Interaction/Imports.hs, dist/build/Agda/Interaction/Imports.o ) >[351 of 369] Compiling Agda.Interaction.CommandLine ( src/full/Agda/Interaction/CommandLine.hs, dist/build/Agda/Interaction/CommandLine.o ) >[352 of 369] Compiling Agda.Auto.Auto ( src/full/Agda/Auto/Auto.hs, dist/build/Agda/Auto/Auto.o ) >[353 of 369] Compiling Agda.Compiler.Common ( src/full/Agda/Compiler/Common.hs, dist/build/Agda/Compiler/Common.o ) >[354 of 369] Compiling Agda.Compiler.MAlonzo.Pragmas ( src/full/Agda/Compiler/MAlonzo/Pragmas.hs, dist/build/Agda/Compiler/MAlonzo/Pragmas.o ) >[355 of 369] Compiling Agda.Compiler.MAlonzo.Misc ( src/full/Agda/Compiler/MAlonzo/Misc.hs, dist/build/Agda/Compiler/MAlonzo/Misc.o ) >[356 of 369] Compiling Agda.Compiler.MAlonzo.Encode ( src/full/Agda/Compiler/MAlonzo/Encode.hs, dist/build/Agda/Compiler/MAlonzo/Encode.o ) >[357 of 369] Compiling Agda.Compiler.MAlonzo.Pretty ( src/full/Agda/Compiler/MAlonzo/Pretty.hs, dist/build/Agda/Compiler/MAlonzo/Pretty.o ) >[358 of 369] Compiling Agda.Compiler.MAlonzo.Primitives ( src/full/Agda/Compiler/MAlonzo/Primitives.hs, dist/build/Agda/Compiler/MAlonzo/Primitives.o ) >[359 of 369] Compiling Agda.Compiler.MAlonzo.HaskellTypes ( src/full/Agda/Compiler/MAlonzo/HaskellTypes.hs, dist/build/Agda/Compiler/MAlonzo/HaskellTypes.o ) >[360 of 369] Compiling Agda.Compiler.Backend ( src/full/Agda/Compiler/Backend.hs, dist/build/Agda/Compiler/Backend.o ) >[361 of 369] Compiling Agda.Interaction.Highlighting.LaTeX ( src/full/Agda/Interaction/Highlighting/LaTeX.hs, dist/build/Agda/Interaction/Highlighting/LaTeX.o ) >[362 of 369] Compiling Agda.Interaction.InteractionTop ( src/full/Agda/Interaction/InteractionTop.hs, dist/build/Agda/Interaction/InteractionTop.o ) >[363 of 369] Compiling Agda.Interaction.AgdaTop ( src/full/Agda/Interaction/AgdaTop.hs, dist/build/Agda/Interaction/AgdaTop.o ) >[364 of 369] Compiling Agda.Interaction.EmacsTop ( src/full/Agda/Interaction/EmacsTop.hs, dist/build/Agda/Interaction/EmacsTop.o ) >[365 of 369] Compiling Agda.Interaction.JSONTop ( src/full/Agda/Interaction/JSONTop.hs, dist/build/Agda/Interaction/JSONTop.o ) >[366 of 369] Compiling Agda.Interaction.Highlighting.HTML ( src/full/Agda/Interaction/Highlighting/HTML.hs, dist/build/Agda/Interaction/Highlighting/HTML.o ) >[367 of 369] Compiling Agda.Compiler.MAlonzo.Compiler ( src/full/Agda/Compiler/MAlonzo/Compiler.hs, dist/build/Agda/Compiler/MAlonzo/Compiler.o ) >[368 of 369] Compiling Agda.Compiler.JS.Compiler ( src/full/Agda/Compiler/JS/Compiler.hs, dist/build/Agda/Compiler/JS/Compiler.o ) >[369 of 369] Compiling Agda.Main ( src/full/Agda/Main.hs, dist/build/Agda/Main.o ) >[ 1 of 369] Compiling Agda.Interaction.Options.IORefs ( src/full/Agda/Interaction/Options/IORefs.hs, dist/build/Agda/Interaction/Options/IORefs.p_o ) >cc1: error: unrecognized command-line option â--cppâ >`x86_64-pc-linux-gnu-gcc' failed in phase `C Compiler'. (Exit code: 1) > * ERROR: sci-mathematics/agda-2.6.1.2::gentoo failed (compile phase): > * setup build failed > * > * Call stack: > * ebuild.sh, line 125: Called src_compile > * environment, line 2226: Called haskell-cabal_src_compile > * environment, line 1809: Called cabal_src_compile > * environment, line 770: Called cabal-build > * environment, line 528: Called die > * The specific snippet of code: > * ./setup "$@" || die "setup build failed" > * > * If you need support, post the output of `emerge --info '=sci-mathematics/agda-2.6.1.2::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/agda-2.6.1.2::gentoo'`. > * The complete build log is located at '/var/log/portage/sci-mathematics:agda-2.6.1.2:20201225-223459.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/agda-2.6.1.2/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-2.6.1.2/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2' > * S: '/var/tmp/portage/sci-mathematics/agda-2.6.1.2/work/Agda-2.6.1.2'
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=679560">View the attachment on a separate page</a>.</b>
View Attachment As Raw
Actions:
View
Attachments on
bug 761805
:
679548
|
679551
|
679554
|
679557
| 679560 |
679563
