Go to:
Gentoo Home
Documentation
Forums
Lists
Bugs
Planet
Store
Wiki
Get Gentoo!
Gentoo's Bugzilla – Attachment 424980 Details for
Bug 574204
sci-mathematics/agda-2.4.2.5 : Ambiguous occurrence ‘mapMaybe’
Home
|
New
–
[Ex]
|
Browse
|
Search
|
Privacy Policy
|
[?]
|
Reports
|
Requests
|
Help
|
New Account
|
Log In
[x]
|
Forgot Password
Login:
[x]
sci-mathematics:agda-2.4.2.5:20160208-180231.log
sci-mathematics:agda-2.4.2.5:20160208-180231.log (text/plain), 21.34 KB, created by
Toralf Förster
on 2016-02-08 18:35:16 UTC
(
hide
)
Description:
sci-mathematics:agda-2.4.2.5:20160208-180231.log
Filename:
MIME Type:
Creator:
Toralf Förster
Created:
2016-02-08 18:35:16 UTC
Size:
21.34 KB
patch
obsolete
> * Package: sci-mathematics/agda-2.4.2.5 > * Repository: gentoo > * Maintainer: sci-mathematics@gentoo.org haskell@gentoo.org > * USE: abi_x86_64 amd64 cpphs elibc_glibc kernel_linux stdlib userland_GNU > * FEATURES: preserve-libs sandbox userpriv usersandbox >>>> Unpacking source... >>>> Unpacking Agda-2.4.2.5.tar.gz to /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work >>>> Source unpacked in /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work >>>> Preparing source in /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5 ... >>>> Source prepared. >>>> Configuring source in /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5 ... > * Using cabal-1.22.6.0. > * Prepending /usr/lib64/ghc-7.10.2 to LD_LIBRARY_PATH >/usr/bin/ghc -package Cabal-1.22.6.0 --make /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/Setup.hs -threaded -dynamic -o setup >[1 of 1] Compiling Main ( /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/Setup.hs, /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/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.4.2.5/ghc-7.10.2 --datadir=/usr/share/ --datasubdir=agda-2.4.2.5/ghc-7.10.2 --ghc-option=-j1 --ghc-option=-optc-march=native --ghc-option=-optc-O2 --ghc-option=-optc-pipe --ghc-option=-optl-Wl,-O1 --ghc-option=-optl-Wl,--as-needed --disable-executable-stripping --docdir=/usr/share/doc/agda-2.4.2.5 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping --flags=cpphs >Configuring Agda-2.4.2.5... >Flags chosen: cpphs=True >Dependency Agda ==2.4.2.5: using Agda-2.4.2.5 >Dependency QuickCheck ==2.8.*: using QuickCheck-2.8.2 >Dependency array >=0.4.0.1 && <0.6: using array-0.5.1.0 >Dependency base >=4.6.0.1 && <4.9: using base-4.8.1.0 >Dependency binary >=0.7.2.1 && <0.8: using binary-0.7.5.0 >Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.4 >Dependency bytestring >=0.10.0.2 && <0.11: using bytestring-0.10.6.0 >Dependency containers >=0.5.0.0 && <0.6: using containers-0.5.6.2 >Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 >Dependency deepseq >=1.3.0.1 && <1.5: using deepseq-1.4.1.1 >Dependency directory >=1.2.0.1 && <1.3: using directory-1.2.2.0 >Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 >Dependency equivalence >=0.2.5 && <0.4: using equivalence-0.3.1 >Dependency filepath >=1.3.0.1 && <1.5: using filepath-1.4.0.0 >Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.1 >Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.4.0 >Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using >hashtables-1.1.2.1 >Dependency haskeline >=0.7.1.3 && <0.8: using haskeline-0.7.2.1 >Dependency haskell-src-exts >=1.16.0.1 && <1.18: using >haskell-src-exts-1.16.0.1 >Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.2.1 >Dependency parallel >=3.2.0.4 && <3.3: using parallel-3.2.1.0 >Dependency pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2: using >pretty-1.1.2.0 >Dependency process >=1.1.0.2 && <1.3: using process-1.2.3.0 >Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 >Dependency template-haskell >=2.8.0.0 && <2.11: using >template-haskell-2.10.0.0 >Dependency text >=0.11.3.1 && <1.3: using text-1.2.2.0 >Dependency time >=1.4.0.1 && <1.6: using time-1.5.0.1 >Dependency transformers ==0.3.* || >=0.4.1.0 && <0.5: using >transformers-0.4.3.0 >Dependency transformers-compat >=0.3.3.3 && <0.5: using >transformers-compat-0.4.0.4 >Dependency unordered-containers >=0.2.5.0 && <0.3: using >unordered-containers-0.2.6.0 >Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1 >Dependency zlib >=0.4.0.1 && <0.6.1: using zlib-0.5.4.2 >Using Cabal-1.22.6.0 compiled by ghc-7.10 >Using compiler: ghc-7.10.2 >Using install prefix: /usr >Binaries installed in: /usr/bin >Libraries installed in: /usr/lib64/agda-2.4.2.5/ghc-7.10.2 >Private binaries installed in: /usr/libexec >Data files installed in: /usr/share/agda-2.4.2.5/ghc-7.10.2 >Documentation installed in: /usr/share/doc/agda-2.4.2.5 >Configuration files installed in: /etc >Using alex version 3.1.7 found on system at: /usr/bin/alex >Using ar found on system at: /usr/bin/ar >Using c2hs version 0.27.1 found on system at: /usr/bin/c2hs >Using cpphs version 1.19.3 found on system at: /usr/bin/cpphs >Using gcc version 5.3.0 found on system at: /usr/bin/gcc >Using ghc version 7.10.2 given by user at: /usr/bin/ghc >Using ghc-pkg version 7.10.2 given by user at: /usr/bin/ghc-pkg >No ghcjs found >No ghcjs-pkg found >No greencard found >No haddock found >Using happy version 1.19.5 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.67 found on system at: /usr/bin/hsc2hs >Using hscolour version 1.22 found on system at: /usr/bin/HsColour >No jhc found >Using ld found on system at: /usr/bin/ld >No lhc found >No lhc-pkg found >Using pkg-config version 0.29 found on system at: /usr/bin/pkg-config >Using strip version 2.25 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.4.2.5/work/Agda-2.4.2.5 ... > * Compiling GNU Emacs Elisp files ... > >In toplevel form: >src/data/emacs-mode/agda-input.el:22:1:Warning: cl package required at runtime >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda-input.elc >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-abbrevs.elc >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-highlight.elc > >In toplevel form: >src/data/emacs-mode/agda2-mode.el:17:1:Warning: cl package required at runtime >Loading quail/latin-ltx... > > >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-mode.elc >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2-queue.elc >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/agda2.elc > >In toplevel form: >src/data/emacs-mode/annotation.el:7:1:Warning: cl package required at runtime >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/annotation.elc > >In toplevel form: >src/data/emacs-mode/eri.el:7:1:Warning: cl package required at runtime >Wrote /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/src/data/emacs-mode/eri.elc > [ ok ] > * Using cabal-1.22.6.0. > * Prepending /usr/lib64/ghc-7.10.2 to LD_LIBRARY_PATH >/usr/bin/ghc -package Cabal-1.22.6.0 --make /var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5/Setup.hs -threaded -dynamic -o 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.4.2.5/ghc-7.10.2 --datadir=/usr/share/ --datasubdir=agda-2.4.2.5/ghc-7.10.2 --ghc-option=-j1 --ghc-option=-optc-march=native --ghc-option=-optc-O2 --ghc-option=-optc-pipe --ghc-option=-optl-Wl,-O1 --ghc-option=-optl-Wl,--as-needed --disable-executable-stripping --docdir=/usr/share/doc/agda-2.4.2.5 --verbose --enable-shared --enable-executable-dynamic --sysconfdir=/etc --disable-library-stripping >Configuring Agda-2.4.2.5... >Flags chosen: cpphs=True >Dependency Agda ==2.4.2.5: using Agda-2.4.2.5 >Dependency QuickCheck ==2.8.*: using QuickCheck-2.8.2 >Dependency array >=0.4.0.1 && <0.6: using array-0.5.1.0 >Dependency base >=4.6.0.1 && <4.9: using base-4.8.1.0 >Dependency binary >=0.7.2.1 && <0.8: using binary-0.7.5.0 >Dependency boxes >=0.1.3 && <0.2: using boxes-0.1.4 >Dependency bytestring >=0.10.0.2 && <0.11: using bytestring-0.10.6.0 >Dependency containers >=0.5.0.0 && <0.6: using containers-0.5.6.2 >Dependency data-hash >=0.2.0.0 && <0.3: using data-hash-0.2.0.1 >Dependency deepseq >=1.3.0.1 && <1.5: using deepseq-1.4.1.1 >Dependency directory >=1.2.0.1 && <1.3: using directory-1.2.2.0 >Dependency edit-distance >=0.2.1.2 && <0.3: using edit-distance-0.2.2.1 >Dependency equivalence >=0.2.5 && <0.4: using equivalence-0.3.1 >Dependency filepath >=1.3.0.1 && <1.5: using filepath-1.4.0.0 >Dependency geniplate-mirror >=0.6.0.6 && <0.8: using geniplate-mirror-0.7.1 >Dependency hashable >=1.2.1.0 && <1.3: using hashable-1.2.4.0 >Dependency hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3: using >hashtables-1.1.2.1 >Dependency haskeline >=0.7.1.3 && <0.8: using haskeline-0.7.2.1 >Dependency haskell-src-exts >=1.16.0.1 && <1.18: using >haskell-src-exts-1.16.0.1 >Dependency mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3: using mtl-2.2.1 >Dependency parallel >=3.2.0.4 && <3.3: using parallel-3.2.1.0 >Dependency pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2: using >pretty-1.1.2.0 >Dependency process >=1.1.0.2 && <1.3: using process-1.2.3.0 >Dependency strict >=0.3.2 && <0.4: using strict-0.3.2 >Dependency template-haskell >=2.8.0.0 && <2.11: using >template-haskell-2.10.0.0 >Dependency text >=0.11.3.1 && <1.3: using text-1.2.2.0 >Dependency time >=1.4.0.1 && <1.6: using time-1.5.0.1 >Dependency transformers ==0.3.* || >=0.4.1.0 && <0.5: using >transformers-0.4.3.0 >Dependency transformers-compat >=0.3.3.3 && <0.5: using >transformers-compat-0.4.0.4 >Dependency unordered-containers >=0.2.5.0 && <0.3: using >unordered-containers-0.2.6.0 >Dependency xhtml >=3000.2.1 && <3000.3: using xhtml-3000.2.1 >Dependency zlib >=0.4.0.1 && <0.6.1: using zlib-0.5.4.2 >Using Cabal-1.22.6.0 compiled by ghc-7.10 >Using compiler: ghc-7.10.2 >Using install prefix: /usr >Binaries installed in: /usr/bin >Libraries installed in: /usr/lib64/agda-2.4.2.5/ghc-7.10.2 >Private binaries installed in: /usr/libexec >Data files installed in: /usr/share/agda-2.4.2.5/ghc-7.10.2 >Documentation installed in: /usr/share/doc/agda-2.4.2.5 >Configuration files installed in: /etc >Using alex version 3.1.7 found on system at: /usr/bin/alex >Using ar found on system at: /usr/bin/ar >Using c2hs version 0.27.1 found on system at: /usr/bin/c2hs >Using cpphs version 1.19.3 found on system at: /usr/bin/cpphs >Using gcc version 5.3.0 found on system at: /usr/bin/gcc >Using ghc version 7.10.2 given by user at: /usr/bin/ghc >Using ghc-pkg version 7.10.2 given by user at: /usr/bin/ghc-pkg >No ghcjs found >No ghcjs-pkg found >No greencard found >No haddock found >Using happy version 1.19.5 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.67 found on system at: /usr/bin/hsc2hs >Using hscolour version 1.22 found on system at: /usr/bin/HsColour >No jhc found >Using ld found on system at: /usr/bin/ld >No lhc found >No lhc-pkg found >Using pkg-config version 0.29 found on system at: /usr/bin/pkg-config >Using strip version 2.25 found on system at: /usr/bin/strip >Using tar found on system at: /bin/tar >No uhc found >./setup build >Building Agda-2.4.2.5... >Preprocessing library Agda-2.4.2.5... >[ 1 of 294] Compiling Agda.Utils.IORef ( src/full/Agda/Utils/IORef.hs, dist/build/Agda/Utils/IORef.o ) >[ 2 of 294] Compiling Agda.Utils.SemiRing ( src/full/Agda/Utils/SemiRing.hs, dist/build/Agda/Utils/SemiRing.o ) >[ 3 of 294] Compiling Agda.Utils.Cluster ( src/full/Agda/Utils/Cluster.hs, dist/build/Agda/Utils/Cluster.o ) >[ 4 of 294] Compiling Agda.Utils.BiMap ( src/full/Agda/Utils/BiMap.hs, dist/build/Agda/Utils/BiMap.o ) >[ 5 of 294] Compiling Agda.Utils.VarSet ( src/full/Agda/Utils/VarSet.hs, dist/build/Agda/Utils/VarSet.o ) >[ 6 of 294] Compiling Agda.Utils.Char ( src/full/Agda/Utils/Char.hs, dist/build/Agda/Utils/Char.o ) >[ 7 of 294] Compiling Agda.Utils.Pointer ( src/full/Agda/Utils/Pointer.hs, dist/build/Agda/Utils/Pointer.o ) >[ 8 of 294] Compiling Agda.Termination.CutOff ( src/full/Agda/Termination/CutOff.hs, dist/build/Agda/Termination/CutOff.o ) >[ 9 of 294] Compiling Agda.Utils.IO.Binary ( src/full/Agda/Utils/IO/Binary.hs, dist/build/Agda/Utils/IO/Binary.o ) >[ 10 of 294] Compiling Agda.Utils.TestHelpers ( src/full/Agda/Utils/TestHelpers.hs, dist/build/Agda/Utils/TestHelpers.o ) >[ 11 of 294] Compiling Agda.Utils.QuickCheck ( src/full/Agda/Utils/QuickCheck.hs, dist/build/Agda/Utils/QuickCheck.o ) >[ 12 of 294] Compiling Agda.Utils.Either ( src/full/Agda/Utils/Either.hs, dist/build/Agda/Utils/Either.o ) >[ 13 of 294] Compiling Agda.Termination.Semiring ( src/full/Agda/Termination/Semiring.hs, dist/build/Agda/Termination/Semiring.o ) >[ 14 of 294] Compiling Agda.Utils.PartialOrd ( src/full/Agda/Utils/PartialOrd.hs, dist/build/Agda/Utils/PartialOrd.o ) >[ 15 of 294] Compiling Agda.Utils.Singleton ( src/full/Agda/Utils/Singleton.hs, dist/build/Agda/Utils/Singleton.o ) >[ 16 of 294] Compiling Agda.Utils.ReadP ( src/full/Agda/Utils/ReadP.hs, dist/build/Agda/Utils/ReadP.o ) >[ 17 of 294] Compiling Agda.Utils.IO.UTF8 ( src/full/Agda/Utils/IO/UTF8.hs, dist/build/Agda/Utils/IO/UTF8.o ) >[ 18 of 294] Compiling Agda.Utils.Function ( src/full/Agda/Utils/Function.hs, dist/build/Agda/Utils/Function.o ) >[ 19 of 294] Compiling Agda.TypeChecking.SizedTypes.Utils ( src/full/Agda/TypeChecking/SizedTypes/Utils.hs, dist/build/Agda/TypeChecking/SizedTypes/Utils.o ) >[ 20 of 294] Compiling Agda.TypeChecking.SizedTypes.Syntax ( src/full/Agda/TypeChecking/SizedTypes/Syntax.hs, dist/build/Agda/TypeChecking/SizedTypes/Syntax.o ) >[ 21 of 294] Compiling Paths_Agda ( dist/build/autogen/Paths_Agda.hs, dist/build/Paths_Agda.o ) >[ 22 of 294] Compiling Agda.Version ( src/full/Agda/Version.hs, dist/build/Agda/Version.o ) >[ 23 of 294] Compiling Agda.Utils.Tuple ( src/full/Agda/Utils/Tuple.hs, dist/build/Agda/Utils/Tuple.o ) >[ 24 of 294] Compiling Agda.Utils.Update ( src/full/Agda/Utils/Update.hs, dist/build/Agda/Utils/Update.o ) >[ 25 of 294] Compiling Agda.Utils.Impossible ( src/full/Agda/Utils/Impossible.hs, dist/build/Agda/Utils/Impossible.o ) >[ 26 of 294] Compiling Agda.Utils.Maybe ( src/full/Agda/Utils/Maybe.hs, dist/build/Agda/Utils/Maybe.o ) >[ 27 of 294] Compiling Agda.ImpossibleTest ( src/full/Agda/ImpossibleTest.hs, dist/build/Agda/ImpossibleTest.o ) >[ 28 of 294] Compiling Agda.Utils.Suffix ( src/full/Agda/Utils/Suffix.hs, dist/build/Agda/Utils/Suffix.o ) >[ 29 of 294] Compiling Agda.Utils.Empty ( src/full/Agda/Utils/Empty.hs, dist/build/Agda/Utils/Empty.o ) >[ 30 of 294] Compiling Agda.Utils.AssocList ( src/full/Agda/Utils/AssocList.hs, dist/build/Agda/Utils/AssocList.o ) >[ 31 of 294] Compiling Agda.Utils.Map ( src/full/Agda/Utils/Map.hs, dist/build/Agda/Utils/Map.o ) >[ 32 of 294] Compiling Agda.Utils.Functor ( src/full/Agda/Utils/Functor.hs, dist/build/Agda/Utils/Functor.o ) >[ 33 of 294] Compiling Agda.Utils.Lens ( src/full/Agda/Utils/Lens.hs, dist/build/Agda/Utils/Lens.o ) >[ 34 of 294] Compiling Agda.Utils.Bag ( src/full/Agda/Utils/Bag.hs, dist/build/Agda/Utils/Bag.o ) >[ 35 of 294] Compiling Agda.Utils.List ( src/full/Agda/Utils/List.hs, dist/build/Agda/Utils/List.o ) >[ 36 of 294] Compiling Agda.Utils.String ( src/full/Agda/Utils/String.hs, dist/build/Agda/Utils/String.o ) >[ 37 of 294] Compiling Agda.Utils.Lens.Examples ( src/full/Agda/Utils/Lens/Examples.hs, dist/build/Agda/Utils/Lens/Examples.o ) >[ 38 of 294] Compiling Agda.Utils.Except ( src/full/Agda/Utils/Except.hs, dist/build/Agda/Utils/Except.o ) >[ 39 of 294] Compiling Agda.Utils.Monad ( src/full/Agda/Utils/Monad.hs, dist/build/Agda/Utils/Monad.o ) >[ 40 of 294] Compiling Agda.Utils.Null ( src/full/Agda/Utils/Null.hs, dist/build/Agda/Utils/Null.o ) >[ 41 of 294] Compiling Agda.Utils.Pretty ( src/full/Agda/Utils/Pretty.hs, dist/build/Agda/Utils/Pretty.o ) >[ 42 of 294] Compiling Agda.Utils.FileName ( src/full/Agda/Utils/FileName.hs, dist/build/Agda/Utils/FileName.o ) >[ 43 of 294] Compiling Agda.Utils.Hash ( src/full/Agda/Utils/Hash.hs, dist/build/Agda/Utils/Hash.o ) >[ 44 of 294] Compiling Agda.Interaction.EmacsCommand ( src/full/Agda/Interaction/EmacsCommand.hs, dist/build/Agda/Interaction/EmacsCommand.o ) >[ 45 of 294] Compiling Agda.Utils.Time ( src/full/Agda/Utils/Time.hs, dist/build/Agda/Utils/Time.o ) >[ 46 of 294] Compiling Agda.Utils.Size ( src/full/Agda/Utils/Size.hs, dist/build/Agda/Utils/Size.o ) >[ 47 of 294] Compiling Agda.Utils.Favorites ( src/full/Agda/Utils/Favorites.hs, dist/build/Agda/Utils/Favorites.o ) >[ 48 of 294] Compiling Agda.Utils.Graph.AdjacencyMap.Unidirectional ( src/full/Agda/Utils/Graph/AdjacencyMap/Unidirectional.hs, dist/build/Agda/Utils/Graph/AdjacencyMap/Unidirectional.o ) >[ 49 of 294] Compiling Agda.TypeChecking.SizedTypes.WarshallSolver ( src/full/Agda/TypeChecking/SizedTypes/WarshallSolver.hs, dist/build/Agda/TypeChecking/SizedTypes/WarshallSolver.o ) >[ 50 of 294] Compiling Agda.TypeChecking.SizedTypes.Tests ( src/full/Agda/TypeChecking/SizedTypes/Tests.hs, dist/build/Agda/TypeChecking/SizedTypes/Tests.o ) >[ 51 of 294] Compiling Agda.Utils.Maybe.Strict ( src/full/Agda/Utils/Maybe/Strict.hs, dist/build/Agda/Utils/Maybe/Strict.o ) >[ 52 of 294] Compiling Agda.Utils.Trie ( src/full/Agda/Utils/Trie.hs, dist/build/Agda/Utils/Trie.o ) >[ 53 of 294] Compiling Agda.Utils.Benchmark ( src/full/Agda/Utils/Benchmark.hs, dist/build/Agda/Utils/Benchmark.o ) >[ 54 of 294] Compiling Agda.Benchmarking ( src/full/Agda/Benchmarking.hs, dist/build/Agda/Benchmarking.o ) >[ 55 of 294] Compiling Agda.Interaction.Options ( src/full/Agda/Interaction/Options.hs, dist/build/Agda/Interaction/Options.o ) >[ 56 of 294] Compiling Agda.Termination.SparseMatrix ( src/full/Agda/Termination/SparseMatrix.hs, dist/build/Agda/Termination/SparseMatrix.o ) >[ 57 of 294] Compiling Agda.Termination.Order ( src/full/Agda/Termination/Order.hs, dist/build/Agda/Termination/Order.o ) >[ 58 of 294] Compiling Agda.Termination.CallMatrix ( src/full/Agda/Termination/CallMatrix.hs, dist/build/Agda/Termination/CallMatrix.o ) >[ 59 of 294] Compiling Agda.Termination.CallGraph ( src/full/Agda/Termination/CallGraph.hs, dist/build/Agda/Termination/CallGraph.o ) >[ 60 of 294] Compiling Agda.Termination.Termination ( src/full/Agda/Termination/Termination.hs, dist/build/Agda/Termination/Termination.o ) >[ 61 of 294] Compiling Agda.Utils.ListT ( src/full/Agda/Utils/ListT.hs, dist/build/Agda/Utils/ListT.o ) >[ 62 of 294] Compiling Agda.Utils.ListT.Tests ( src/full/Agda/Utils/ListT/Tests.hs, dist/build/Agda/Utils/ListT/Tests.o ) >[ 63 of 294] Compiling Agda.Auto.NarrowingSearch ( src/full/Agda/Auto/NarrowingSearch.hs, dist/build/Agda/Auto/NarrowingSearch.o ) >[ 64 of 294] Compiling Agda.Auto.Syntax ( src/full/Agda/Auto/Syntax.hs, dist/build/Agda/Auto/Syntax.o ) >[ 65 of 294] Compiling Agda.Auto.SearchControl ( src/full/Agda/Auto/SearchControl.hs, dist/build/Agda/Auto/SearchControl.o ) >[ 66 of 294] Compiling Agda.Auto.Typecheck ( src/full/Agda/Auto/Typecheck.hs, dist/build/Agda/Auto/Typecheck.o ) >[ 67 of 294] Compiling Agda.Auto.CaseSplit ( src/full/Agda/Auto/CaseSplit.hs, dist/build/Agda/Auto/CaseSplit.o ) >[ 68 of 294] Compiling Agda.Utils.HashMap ( src/full/Agda/Utils/HashMap.hs, dist/build/Agda/Utils/HashMap.o ) > >src/full/Agda/Utils/HashMap.hs:3:5: > Ambiguous occurrence âmapMaybeâ > It could refer to either âAgda.Utils.HashMap.mapMaybeâ, > defined at src/full/Agda/Utils/HashMap.hs:17:1 > or âHashMap.mapMaybeâ, > imported from âData.HashMap.Strictâ at src/full/Agda/Utils/HashMap.hs:8:1-37 > >src/full/Agda/Utils/HashMap.hs:3:5: > Conflicting exports for âmapMaybeâ: > âmodule HashMapâ exports âHashMap.mapMaybeâ > imported from âData.HashMap.Strictâ at src/full/Agda/Utils/HashMap.hs:8:1-37 > âmapMaybeâ exports âAgda.Utils.HashMap.mapMaybeâ > defined at src/full/Agda/Utils/HashMap.hs:17:1 > >src/full/Agda/Utils/HashMap.hs:4:5: > Ambiguous occurrence âalterâ > It could refer to either âAgda.Utils.HashMap.alterâ, > defined at src/full/Agda/Utils/HashMap.hs:23:1 > or âHashMap.alterâ, > imported from âData.HashMap.Strictâ at src/full/Agda/Utils/HashMap.hs:8:1-37 > >src/full/Agda/Utils/HashMap.hs:4:5: > Conflicting exports for âalterâ: > âmodule HashMapâ exports âHashMap.alterâ > imported from âData.HashMap.Strictâ at src/full/Agda/Utils/HashMap.hs:8:1-37 > âalterâ exports âAgda.Utils.HashMap.alterâ > defined at src/full/Agda/Utils/HashMap.hs:23:1 > * ERROR: sci-mathematics/agda-2.4.2.5::gentoo failed (compile phase): > * setup build failed > * > * Call stack: > * ebuild.sh, line 133: Called src_compile > * environment, line 3157: Called haskell-cabal_src_compile > * environment, line 2266: Called cabal_src_compile > * environment, line 852: Called cabal-build > * environment, line 601: 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.4.2.5::gentoo'`, > * the complete build log and the output of `emerge -pqv '=sci-mathematics/agda-2.4.2.5::gentoo'`. > * The complete build log is located at '/var/log/portage/sci-mathematics:agda-2.4.2.5:20160208-180231.log'. > * For convenience, a symlink to the build log is located at '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/temp/build.log'. > * The ebuild environment file is located at '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/temp/environment'. > * Working directory: '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5' > * S: '/var/tmp/portage/sci-mathematics/agda-2.4.2.5/work/Agda-2.4.2.5'
You cannot view the attachment while viewing its details because your browser does not support IFRAMEs.
View the attachment on a separate page
.
View Attachment As Raw
Actions:
View
Attachments on
bug 574204
:
424976
|
424978
| 424980