Created
July 24, 2015 09:25
-
-
Save nijikon/2d3ebe26d51ab44a780c to your computer and use it in GitHub Desktop.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| balrog:local n$ brew install agda | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/agda.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/ghc.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/xz.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/cabal-install.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/gmp.rb | |
| ==> Installing agda dependency: ghc | |
| ==> Downloading https://homebrew.bintray.com/bottles/ghc-7.10.1_1.yosemite.bottle.tar.gz | |
| Already downloaded: /Library/Caches/Homebrew/ghc-7.10.1_1.yosemite.bottle.tar.gz | |
| ==> Verifying ghc-7.10.1_1.yosemite.bottle.tar.gz checksum | |
| ==> Pouring ghc-7.10.1_1.yosemite.bottle.tar.gz | |
| tar xf /Library/Caches/Homebrew/ghc-7.10.1_1.yosemite.bottle.tar.gz | |
| ==> Finishing up | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/ghc ghc | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/ghc-7.10.1 ghc-7.10.1 | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/ghc-pkg ghc-pkg | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/ghc-pkg-7.10.1 ghc-pkg-7.10.1 | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/ghci ghci | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/ghci-7.10.1 ghci-7.10.1 | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/haddock haddock | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/haddock-ghc-7.10.1 haddock-ghc-7.10.1 | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/hp2ps hp2ps | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/hpc hpc | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/hsc2hs hsc2hs | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/runghc runghc | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/runghc-7.10.1 runghc-7.10.1 | |
| ln -s ../Cellar/ghc/7.10.1_1/bin/runhaskell runhaskell | |
| ln -s ../../Cellar/ghc/7.10.1_1/share/doc/ghc ghc | |
| ln -s ../../../Cellar/ghc/7.10.1_1/share/man/man1/ghc.1 ghc.1 | |
| ln -s ../Cellar/ghc/7.10.1_1/lib/ghc-7.10.1 ghc-7.10.1 | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/Cabal_HWT8QvVfJLn2ubvobpycJY/libHSCabal-1.22.2.0-HWT8QvVfJLn2ubvobpycJY-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/Cabal_HWT8QvVfJLn2ubvobpycJY/libHSCabal-1.22.2.0-HWT8QvVfJLn2ubvobpycJY-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/Cabal_HWT8QvVfJLn2ubvobpycJY/libHSCabal-1.22.2.0-HWT8QvVfJLn2ubvobpycJY-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/array_FaHmcBFfuRM8kmZLEY8D5S/libHSarray-0.5.1.0-FaHmcBFfuRM8kmZLEY8D5S-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/array_FaHmcBFfuRM8kmZLEY8D5S/libHSarray-0.5.1.0-FaHmcBFfuRM8kmZLEY8D5S-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/array_FaHmcBFfuRM8kmZLEY8D5S/libHSarray-0.5.1.0-FaHmcBFfuRM8kmZLEY8D5S-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/libHSbase-4.8.0.0-I5BErHzyOm07EBNpKBEeUv-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/libHSbase-4.8.0.0-I5BErHzyOm07EBNpKBEeUv-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/libHSbase-4.8.0.0-I5BErHzyOm07EBNpKBEeUv-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/binar_EKE3c9Lmxb3DQpU0fPtru6/libHSbinary-0.7.3.0-EKE3c9Lmxb3DQpU0fPtru6-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/binar_EKE3c9Lmxb3DQpU0fPtru6/libHSbinary-0.7.3.0-EKE3c9Lmxb3DQpU0fPtru6-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/binar_EKE3c9Lmxb3DQpU0fPtru6/libHSbinary-0.7.3.0-EKE3c9Lmxb3DQpU0fPtru6-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/binpa_JNoexmBMuO8C771QaIy3YN/libHSbin-package-db-0.0.0.0-JNoexmBMuO8C771QaIy3YN-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/binpa_JNoexmBMuO8C771QaIy3YN/libHSbin-package-db-0.0.0.0-JNoexmBMuO8C771QaIy3YN-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/binpa_JNoexmBMuO8C771QaIy3YN/libHSbin-package-db-0.0.0.0-JNoexmBMuO8C771QaIy3YN-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/libHSbytestring-0.10.6.0-6vj5EoliHgNHISHCVCb069-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/libHSbytestring-0.10.6.0-6vj5EoliHgNHISHCVCb069-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/libHSbytestring-0.10.6.0-6vj5EoliHgNHISHCVCb069-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/conta_47ajk3tbda43DFWyeF3oHQ/libHScontainers-0.5.6.2-47ajk3tbda43DFWyeF3oHQ-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/conta_47ajk3tbda43DFWyeF3oHQ/libHScontainers-0.5.6.2-47ajk3tbda43DFWyeF3oHQ-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/conta_47ajk3tbda43DFWyeF3oHQ/libHScontainers-0.5.6.2-47ajk3tbda43DFWyeF3oHQ-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/deeps_FpR4obOZALU1lutWnrBldi/libHSdeepseq-1.4.1.1-FpR4obOZALU1lutWnrBldi-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/deeps_FpR4obOZALU1lutWnrBldi/libHSdeepseq-1.4.1.1-FpR4obOZALU1lutWnrBldi-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/deeps_FpR4obOZALU1lutWnrBldi/libHSdeepseq-1.4.1.1-FpR4obOZALU1lutWnrBldi-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/libHSdirectory-1.2.2.0-3TcTyYedch32o1zTH2MR00-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/libHSdirectory-1.2.2.0-3TcTyYedch32o1zTH2MR00-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/libHSdirectory-1.2.2.0-3TcTyYedch32o1zTH2MR00-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/filep_5HhyRonfEZoDO205Wm9E4h/libHSfilepath-1.4.0.0-5HhyRonfEZoDO205Wm9E4h-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/filep_5HhyRonfEZoDO205Wm9E4h/libHSfilepath-1.4.0.0-5HhyRonfEZoDO205Wm9E4h-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/filep_5HhyRonfEZoDO205Wm9E4h/libHSfilepath-1.4.0.0-5HhyRonfEZoDO205Wm9E4h-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/ghc_EMlWrQ42XY0BNVbSrKixqY/libHSghc-7.10.1-EMlWrQ42XY0BNVbSrKixqY-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/ghc_EMlWrQ42XY0BNVbSrKixqY/libHSghc-7.10.1-EMlWrQ42XY0BNVbSrKixqY-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/ghc_EMlWrQ42XY0BNVbSrKixqY/libHSghc-7.10.1-EMlWrQ42XY0BNVbSrKixqY-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/ghcpr_8TmvWUcS1U1IKHT0levwg3/libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/ghcpr_8TmvWUcS1U1IKHT0levwg3/libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/ghcpr_8TmvWUcS1U1IKHT0levwg3/libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/haske_IlDhIe25uAn0WJY379Nu1M/libHShaskeline-0.7.2.1-IlDhIe25uAn0WJY379Nu1M-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/haske_IlDhIe25uAn0WJY379Nu1M/libHShaskeline-0.7.2.1-IlDhIe25uAn0WJY379Nu1M-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/haske_IlDhIe25uAn0WJY379Nu1M/libHShaskeline-0.7.2.1-IlDhIe25uAn0WJY379Nu1M-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/hoopl_JxODiSRz1e84NbH6nnZuUk/libHShoopl-3.10.0.2-JxODiSRz1e84NbH6nnZuUk-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/hoopl_JxODiSRz1e84NbH6nnZuUk/libHShoopl-3.10.0.2-JxODiSRz1e84NbH6nnZuUk-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/hoopl_JxODiSRz1e84NbH6nnZuUk/libHShoopl-3.10.0.2-JxODiSRz1e84NbH6nnZuUk-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/hpc_CmUUQl5bURfBueJrdYfNs3/libHShpc-0.6.0.2-CmUUQl5bURfBueJrdYfNs3-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/hpc_CmUUQl5bURfBueJrdYfNs3/libHShpc-0.6.0.2-CmUUQl5bURfBueJrdYfNs3-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/hpc_CmUUQl5bURfBueJrdYfNs3/libHShpc-0.6.0.2-CmUUQl5bURfBueJrdYfNs3-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/prett_7jIfj8VCGFf1WS0tIQ1XSZ/libHSpretty-1.1.2.0-7jIfj8VCGFf1WS0tIQ1XSZ-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/prett_7jIfj8VCGFf1WS0tIQ1XSZ/libHSpretty-1.1.2.0-7jIfj8VCGFf1WS0tIQ1XSZ-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/prett_7jIfj8VCGFf1WS0tIQ1XSZ/libHSpretty-1.1.2.0-7jIfj8VCGFf1WS0tIQ1XSZ-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/libHSprocess-1.2.3.0-0hwN3CTKynhHQqQkChnSdH-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/libHSprocess-1.2.3.0-0hwN3CTKynhHQqQkChnSdH-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/libHSprocess-1.2.3.0-0hwN3CTKynhHQqQkChnSdH-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libHSrts-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_debug-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libHSrts_debug-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_debug-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_l-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libHSrts_l-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_l-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_thr-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libHSrts_thr-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_thr_debug-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libHSrts_thr_debug-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr_debug-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_thr_l-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libHSrts_thr_l-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr_l-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libffi.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/rts/libffi.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libffi.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/templ_BVMCZyLwIlfGfcqqzyUAI8/libHStemplate-haskell-2.10.0.0-BVMCZyLwIlfGfcqqzyUAI8-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/templ_BVMCZyLwIlfGfcqqzyUAI8/libHStemplate-haskell-2.10.0.0-BVMCZyLwIlfGfcqqzyUAI8-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/templ_BVMCZyLwIlfGfcqqzyUAI8/libHStemplate-haskell-2.10.0.0-BVMCZyLwIlfGfcqqzyUAI8-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/termi_7qZwBlx3clR8sTBilJl253/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/termi_7qZwBlx3clR8sTBilJl253/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/termi_7qZwBlx3clR8sTBilJl253/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/libHStime-1.5.0.1-Hh2clZW6in4HpYHx5bLtb7-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/libHStime-1.5.0.1-Hh2clZW6in4HpYHx5bLtb7-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/libHStime-1.5.0.1-Hh2clZW6in4HpYHx5bLtb7-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/trans_ALYlebOVzVI4kxbFX5SGhm/libHStransformers-0.4.2.0-ALYlebOVzVI4kxbFX5SGhm-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/trans_ALYlebOVzVI4kxbFX5SGhm/libHStransformers-0.4.2.0-ALYlebOVzVI4kxbFX5SGhm-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/trans_ALYlebOVzVI4kxbFX5SGhm/libHStransformers-0.4.2.0-ALYlebOVzVI4kxbFX5SGhm-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/libHSunix-2.7.1.0-G4Yo1pNtYrk8nCq1cx8P9d-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/libHSunix-2.7.1.0-G4Yo1pNtYrk8nCq1cx8P9d-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/libHSunix-2.7.1.0-G4Yo1pNtYrk8nCq1cx8P9d-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/xhtml_0mVDYvYGgNUBWShvlDofr1/libHSxhtml-3000.2.1-0mVDYvYGgNUBWShvlDofr1-ghc7.10.1.dylib | |
| from @@HOMEBREW_PREFIX@@/lib/ghc-7.10.1/xhtml_0mVDYvYGgNUBWShvlDofr1/libHSxhtml-3000.2.1-0mVDYvYGgNUBWShvlDofr1-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/xhtml_0mVDYvYGgNUBWShvlDofr1/libHSxhtml-3000.2.1-0mVDYvYGgNUBWShvlDofr1-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/Cabal_HWT8QvVfJLn2ubvobpycJY/libHSCabal-1.22.2.0-HWT8QvVfJLn2ubvobpycJY-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/Cabal_HWT8QvVfJLn2ubvobpycJY/libHSCabal-1.22.2.0-HWT8QvVfJLn2ubvobpycJY-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/Cabal_HWT8QvVfJLn2ubvobpycJY/libHSCabal-1.22.2.0-HWT8QvVfJLn2ubvobpycJY-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/array_FaHmcBFfuRM8kmZLEY8D5S/libHSarray-0.5.1.0-FaHmcBFfuRM8kmZLEY8D5S-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/array_FaHmcBFfuRM8kmZLEY8D5S/libHSarray-0.5.1.0-FaHmcBFfuRM8kmZLEY8D5S-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/array_FaHmcBFfuRM8kmZLEY8D5S/libHSarray-0.5.1.0-FaHmcBFfuRM8kmZLEY8D5S-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/libHSbase-4.8.0.0-I5BErHzyOm07EBNpKBEeUv-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/libHSbase-4.8.0.0-I5BErHzyOm07EBNpKBEeUv-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/base_I5BErHzyOm07EBNpKBEeUv/libHSbase-4.8.0.0-I5BErHzyOm07EBNpKBEeUv-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/binar_EKE3c9Lmxb3DQpU0fPtru6/libHSbinary-0.7.3.0-EKE3c9Lmxb3DQpU0fPtru6-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/binar_EKE3c9Lmxb3DQpU0fPtru6/libHSbinary-0.7.3.0-EKE3c9Lmxb3DQpU0fPtru6-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/binar_EKE3c9Lmxb3DQpU0fPtru6/libHSbinary-0.7.3.0-EKE3c9Lmxb3DQpU0fPtru6-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/binpa_JNoexmBMuO8C771QaIy3YN/libHSbin-package-db-0.0.0.0-JNoexmBMuO8C771QaIy3YN-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/binpa_JNoexmBMuO8C771QaIy3YN/libHSbin-package-db-0.0.0.0-JNoexmBMuO8C771QaIy3YN-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/binpa_JNoexmBMuO8C771QaIy3YN/libHSbin-package-db-0.0.0.0-JNoexmBMuO8C771QaIy3YN-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/libHSbytestring-0.10.6.0-6vj5EoliHgNHISHCVCb069-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/libHSbytestring-0.10.6.0-6vj5EoliHgNHISHCVCb069-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/bytes_6vj5EoliHgNHISHCVCb069/libHSbytestring-0.10.6.0-6vj5EoliHgNHISHCVCb069-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/conta_47ajk3tbda43DFWyeF3oHQ/libHScontainers-0.5.6.2-47ajk3tbda43DFWyeF3oHQ-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/conta_47ajk3tbda43DFWyeF3oHQ/libHScontainers-0.5.6.2-47ajk3tbda43DFWyeF3oHQ-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/conta_47ajk3tbda43DFWyeF3oHQ/libHScontainers-0.5.6.2-47ajk3tbda43DFWyeF3oHQ-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/deeps_FpR4obOZALU1lutWnrBldi/libHSdeepseq-1.4.1.1-FpR4obOZALU1lutWnrBldi-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/deeps_FpR4obOZALU1lutWnrBldi/libHSdeepseq-1.4.1.1-FpR4obOZALU1lutWnrBldi-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/deeps_FpR4obOZALU1lutWnrBldi/libHSdeepseq-1.4.1.1-FpR4obOZALU1lutWnrBldi-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/libHSdirectory-1.2.2.0-3TcTyYedch32o1zTH2MR00-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/libHSdirectory-1.2.2.0-3TcTyYedch32o1zTH2MR00-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/direc_3TcTyYedch32o1zTH2MR00/libHSdirectory-1.2.2.0-3TcTyYedch32o1zTH2MR00-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/filep_5HhyRonfEZoDO205Wm9E4h/libHSfilepath-1.4.0.0-5HhyRonfEZoDO205Wm9E4h-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/filep_5HhyRonfEZoDO205Wm9E4h/libHSfilepath-1.4.0.0-5HhyRonfEZoDO205Wm9E4h-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/filep_5HhyRonfEZoDO205Wm9E4h/libHSfilepath-1.4.0.0-5HhyRonfEZoDO205Wm9E4h-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/ghc_EMlWrQ42XY0BNVbSrKixqY/libHSghc-7.10.1-EMlWrQ42XY0BNVbSrKixqY-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/ghc_EMlWrQ42XY0BNVbSrKixqY/libHSghc-7.10.1-EMlWrQ42XY0BNVbSrKixqY-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/ghc_EMlWrQ42XY0BNVbSrKixqY/libHSghc-7.10.1-EMlWrQ42XY0BNVbSrKixqY-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/ghcpr_8TmvWUcS1U1IKHT0levwg3/libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/ghcpr_8TmvWUcS1U1IKHT0levwg3/libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/ghcpr_8TmvWUcS1U1IKHT0levwg3/libHSghc-prim-0.4.0.0-8TmvWUcS1U1IKHT0levwg3-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/haske_IlDhIe25uAn0WJY379Nu1M/libHShaskeline-0.7.2.1-IlDhIe25uAn0WJY379Nu1M-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/haske_IlDhIe25uAn0WJY379Nu1M/libHShaskeline-0.7.2.1-IlDhIe25uAn0WJY379Nu1M-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/haske_IlDhIe25uAn0WJY379Nu1M/libHShaskeline-0.7.2.1-IlDhIe25uAn0WJY379Nu1M-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/hoopl_JxODiSRz1e84NbH6nnZuUk/libHShoopl-3.10.0.2-JxODiSRz1e84NbH6nnZuUk-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/hoopl_JxODiSRz1e84NbH6nnZuUk/libHShoopl-3.10.0.2-JxODiSRz1e84NbH6nnZuUk-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/hoopl_JxODiSRz1e84NbH6nnZuUk/libHShoopl-3.10.0.2-JxODiSRz1e84NbH6nnZuUk-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/hpc_CmUUQl5bURfBueJrdYfNs3/libHShpc-0.6.0.2-CmUUQl5bURfBueJrdYfNs3-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/hpc_CmUUQl5bURfBueJrdYfNs3/libHShpc-0.6.0.2-CmUUQl5bURfBueJrdYfNs3-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/hpc_CmUUQl5bURfBueJrdYfNs3/libHShpc-0.6.0.2-CmUUQl5bURfBueJrdYfNs3-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/integ_2aU3IZNMF9a7mQ0OzsZ0dS/libHSinteger-gmp-1.0.0.0-2aU3IZNMF9a7mQ0OzsZ0dS-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/prett_7jIfj8VCGFf1WS0tIQ1XSZ/libHSpretty-1.1.2.0-7jIfj8VCGFf1WS0tIQ1XSZ-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/prett_7jIfj8VCGFf1WS0tIQ1XSZ/libHSpretty-1.1.2.0-7jIfj8VCGFf1WS0tIQ1XSZ-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/prett_7jIfj8VCGFf1WS0tIQ1XSZ/libHSpretty-1.1.2.0-7jIfj8VCGFf1WS0tIQ1XSZ-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/libHSprocess-1.2.3.0-0hwN3CTKynhHQqQkChnSdH-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/libHSprocess-1.2.3.0-0hwN3CTKynhHQqQkChnSdH-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/proce_0hwN3CTKynhHQqQkChnSdH/libHSprocess-1.2.3.0-0hwN3CTKynhHQqQkChnSdH-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libHSrts-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_debug-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libHSrts_debug-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_debug-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_l-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libHSrts_l-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_l-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_thr-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_thr_debug-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr_debug-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr_debug-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libHSrts_thr_l-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr_l-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libHSrts_thr_l-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/rts/libffi.dylib | |
| from /usr/local/lib/ghc-7.10.1/rts/libffi.dylib | |
| to /usr/local/lib/ghc-7.10.1/rts/libffi.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/templ_BVMCZyLwIlfGfcqqzyUAI8/libHStemplate-haskell-2.10.0.0-BVMCZyLwIlfGfcqqzyUAI8-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/templ_BVMCZyLwIlfGfcqqzyUAI8/libHStemplate-haskell-2.10.0.0-BVMCZyLwIlfGfcqqzyUAI8-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/templ_BVMCZyLwIlfGfcqqzyUAI8/libHStemplate-haskell-2.10.0.0-BVMCZyLwIlfGfcqqzyUAI8-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/termi_7qZwBlx3clR8sTBilJl253/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/termi_7qZwBlx3clR8sTBilJl253/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/termi_7qZwBlx3clR8sTBilJl253/libHSterminfo-0.4.0.1-7qZwBlx3clR8sTBilJl253-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/libHStime-1.5.0.1-Hh2clZW6in4HpYHx5bLtb7-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/libHStime-1.5.0.1-Hh2clZW6in4HpYHx5bLtb7-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/time_Hh2clZW6in4HpYHx5bLtb7/libHStime-1.5.0.1-Hh2clZW6in4HpYHx5bLtb7-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/trans_ALYlebOVzVI4kxbFX5SGhm/libHStransformers-0.4.2.0-ALYlebOVzVI4kxbFX5SGhm-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/trans_ALYlebOVzVI4kxbFX5SGhm/libHStransformers-0.4.2.0-ALYlebOVzVI4kxbFX5SGhm-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/trans_ALYlebOVzVI4kxbFX5SGhm/libHStransformers-0.4.2.0-ALYlebOVzVI4kxbFX5SGhm-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/libHSunix-2.7.1.0-G4Yo1pNtYrk8nCq1cx8P9d-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/libHSunix-2.7.1.0-G4Yo1pNtYrk8nCq1cx8P9d-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/unix_G4Yo1pNtYrk8nCq1cx8P9d/libHSunix-2.7.1.0-G4Yo1pNtYrk8nCq1cx8P9d-ghc7.10.1.dylib | |
| Changing dylib ID of /usr/local/Cellar/ghc/7.10.1_1/lib/ghc-7.10.1/xhtml_0mVDYvYGgNUBWShvlDofr1/libHSxhtml-3000.2.1-0mVDYvYGgNUBWShvlDofr1-ghc7.10.1.dylib | |
| from /usr/local/lib/ghc-7.10.1/xhtml_0mVDYvYGgNUBWShvlDofr1/libHSxhtml-3000.2.1-0mVDYvYGgNUBWShvlDofr1-ghc7.10.1.dylib | |
| to /usr/local/lib/ghc-7.10.1/xhtml_0mVDYvYGgNUBWShvlDofr1/libHSxhtml-3000.2.1-0mVDYvYGgNUBWShvlDofr1-ghc7.10.1.dylib | |
| Warning: The sandbox cannot be used in debug or interactive mode. | |
| /usr/local/Library/Homebrew/postinstall.rb (Formulary::FromPathLoader): loading /usr/local/Library/Formula/ghc.rb | |
| ==> Summary | |
| 🍺 /usr/local/Cellar/ghc/7.10.1_1: 5423 files, 821M | |
| ==> Installing agda | |
| Warning: Formula file is modified! | |
| Building from source because Library/Formula/agda.rb has local changes | |
| To install from a bottle instead, run with --force-bottle | |
| /usr/local/Library/Homebrew/build.rb (Formulary::FromPathLoader): loading /usr/local/Library/Formula/agda.rb | |
| /usr/local/Library/Homebrew/build.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/gmp.rb | |
| /usr/local/Library/Homebrew/build.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/ghc.rb | |
| /usr/local/Library/Homebrew/build.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/xz.rb | |
| /usr/local/Library/Homebrew/build.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/cabal-install.rb | |
| /usr/local/Library/Homebrew/build.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/git.rb | |
| ==> Downloading https://hackage.haskell.org/package/Agda-2.4.2.3/Agda-2.4.2.3.tar.gz | |
| Already downloaded: /Library/Caches/Homebrew/agda-2.4.2.3.tar.gz | |
| ==> Verifying agda-2.4.2.3.tar.gz checksum | |
| tar xf /Library/Caches/Homebrew/agda-2.4.2.3.tar.gz | |
| ==> cabal sandbox init | |
| Config file path source is default config file. | |
| Config file /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal/config | |
| not found. | |
| Writing default configuration to | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal/config | |
| Writing a default package environment file to | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/cabal.sandbox.config | |
| Creating a new sandbox at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| ==> cabal update | |
| Downloading the latest package list from hackage.haskell.org | |
| ==> cabal install --jobs=4 alex | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| Downloading primitive-0.6... | |
| Downloading random-1.1... | |
| Configuring random-1.1... | |
| Configuring primitive-0.6... | |
| Building random-1.1... | |
| Building primitive-0.6... | |
| Installed primitive-0.6 | |
| Installed random-1.1 | |
| Downloading tf-random-0.5... | |
| Configuring tf-random-0.5... | |
| Building tf-random-0.5... | |
| Installed tf-random-0.5 | |
| Downloading QuickCheck-2.8.1... | |
| Configuring QuickCheck-2.8.1... | |
| Building QuickCheck-2.8.1... | |
| Installed QuickCheck-2.8.1 | |
| Downloading alex-3.1.4... | |
| Configuring alex-3.1.4... | |
| Building alex-3.1.4... | |
| Installed alex-3.1.4 | |
| ==> cabal install --jobs=4 happy | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| Downloading mtl-2.2.1... | |
| Configuring mtl-2.2.1... | |
| Building mtl-2.2.1... | |
| Installed mtl-2.2.1 | |
| Downloading happy-1.19.5... | |
| Configuring happy-1.19.5... | |
| Building happy-1.19.5... | |
| Installed happy-1.19.5 | |
| ==> cabal install --jobs=4 cpphs | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| Downloading old-locale-1.0.0.7... | |
| Downloading text-1.2.1.1... | |
| Configuring old-locale-1.0.0.7... | |
| Configuring text-1.2.1.1... | |
| Building old-locale-1.0.0.7... | |
| Building text-1.2.1.1... | |
| Installed old-locale-1.0.0.7 | |
| Downloading old-time-1.1.0.3... | |
| Configuring old-time-1.1.0.3... | |
| Building old-time-1.1.0.3... | |
| Installed old-time-1.1.0.3 | |
| Installed text-1.2.1.1 | |
| Downloading polyparse-1.11... | |
| Configuring polyparse-1.11... | |
| Building polyparse-1.11... | |
| Installed polyparse-1.11 | |
| Downloading cpphs-1.19... | |
| Configuring cpphs-1.19... | |
| Building cpphs-1.19... | |
| Installed cpphs-1.19 | |
| ==> cabal install --jobs=4 --only-dependencies | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| Downloading data-hash-0.2.0.0... | |
| Configuring mtl-2.2.1... | |
| Configuring old-locale-1.0.0.7... | |
| Downloading parallel-3.2.0.6... | |
| Configuring primitive-0.6... | |
| Configuring random-1.1... | |
| Downloading split-0.2.2... | |
| Downloading strict-0.3.2... | |
| Downloading transformers-compat-0.4.0.4... | |
| Downloading zlib-0.6.1.1... | |
| Building old-locale-1.0.0.7... | |
| Building primitive-0.6... | |
| Building mtl-2.2.1... | |
| Building random-1.1... | |
| Installed old-locale-1.0.0.7 | |
| Configuring text-1.2.1.1... | |
| Building text-1.2.1.1... | |
| Configuring data-hash-0.2.0.0... | |
| Installed mtl-2.2.1 | |
| Downloading STMonadTrans-0.3.3... | |
| Downloading geniplate-mirror-0.6.0.7... | |
| Configuring parallel-3.2.0.6... | |
| Installed primitive-0.6 | |
| Downloading vector-0.11.0.0... | |
| Building data-hash-0.2.0.0... | |
| Building parallel-3.2.0.6... | |
| Configuring strict-0.3.2... | |
| Installed random-1.1 | |
| Downloading edit-distance-0.2.2.1... | |
| Configuring split-0.2.2... | |
| Installed data-hash-0.2.0.0 | |
| Configuring transformers-compat-0.4.0.4... | |
| Installed parallel-3.2.0.6 | |
| Building strict-0.3.2... | |
| Building split-0.2.2... | |
| Building transformers-compat-0.4.0.4... | |
| Configuring zlib-0.6.1.1... | |
| Installed transformers-compat-0.4.0.4 | |
| Building zlib-0.6.1.1... | |
| Configuring old-time-1.1.0.3... | |
| Installed split-0.2.2 | |
| Downloading boxes-0.1.4... | |
| Installed strict-0.3.2 | |
| Configuring geniplate-mirror-0.6.0.7... | |
| Building geniplate-mirror-0.6.0.7... | |
| Building old-time-1.1.0.3... | |
| Configuring STMonadTrans-0.3.3... | |
| Installed geniplate-mirror-0.6.0.7 | |
| Building STMonadTrans-0.3.3... | |
| Configuring vector-0.11.0.0... | |
| Installed STMonadTrans-0.3.3 | |
| Downloading equivalence-0.3.1... | |
| Building vector-0.11.0.0... | |
| Configuring tf-random-0.5... | |
| Installed zlib-0.6.1.1 | |
| Building tf-random-0.5... | |
| Configuring edit-distance-0.2.2.1... | |
| Installed old-time-1.1.0.3 | |
| Building edit-distance-0.2.2.1... | |
| Configuring boxes-0.1.4... | |
| Installed tf-random-0.5 | |
| Building boxes-0.1.4... | |
| Installed boxes-0.1.4 | |
| Configuring equivalence-0.3.1... | |
| Configuring QuickCheck-2.8.1... | |
| Installed edit-distance-0.2.2.1 | |
| Building equivalence-0.3.1... | |
| Building QuickCheck-2.8.1... | |
| Installed equivalence-0.3.1 | |
| Installed QuickCheck-2.8.1 | |
| Installed text-1.2.1.1 | |
| Downloading hashable-1.2.3.3... | |
| Configuring polyparse-1.11... | |
| Configuring hashable-1.2.3.3... | |
| Building polyparse-1.11... | |
| Building hashable-1.2.3.3... | |
| Installed hashable-1.2.3.3 | |
| Downloading unordered-containers-0.2.5.1... | |
| Configuring unordered-containers-0.2.5.1... | |
| Building unordered-containers-0.2.5.1... | |
| Installed polyparse-1.11 | |
| Configuring cpphs-1.19... | |
| Installed unordered-containers-0.2.5.1 | |
| Building cpphs-1.19... | |
| Installed vector-0.11.0.0 | |
| Downloading hashtables-1.2.0.2... | |
| Configuring hashtables-1.2.0.2... | |
| Building hashtables-1.2.0.2... | |
| Installed cpphs-1.19 | |
| Downloading haskell-src-exts-1.16.0.1... | |
| Configuring haskell-src-exts-1.16.0.1... | |
| Building haskell-src-exts-1.16.0.1... | |
| Installed hashtables-1.2.0.2 | |
| Installed haskell-src-exts-1.16.0.1 | |
| ==> cabal install --jobs=4 --prefix=/usr/local/Cellar/agda/2.4.2.3_2 | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| Configuring Agda-2.4.2.3... | |
| Building Agda-2.4.2.3... | |
| Installed Agda-2.4.2.3 | |
| ==> cabal sandbox delete | |
| Deleting the sandbox located at | |
| /private/tmp/agda20150724-3555-1wxjujz/Agda-2.4.2.3/.cabal-sandbox | |
| ==> Cloning https://github.com/agda/agda-stdlib.git | |
| git --git-dir /Library/Caches/Homebrew/agda--stdlib--git/.git status -s | |
| Updating /Library/Caches/Homebrew/agda--stdlib--git | |
| git config remote.origin.url https://github.com/agda/agda-stdlib.git | |
| git config remote.origin.fetch +refs/heads/2.4.2.4:refs/remotes/origin/2.4.2.4 | |
| git fetch origin | |
| git checkout -f 2.4.2.4 -- | |
| Already on '2.4.2.4' | |
| Your branch is up-to-date with 'origin/2.4.2.4'. | |
| git reset --hard origin/2.4.2.4 | |
| HEAD is now at 787da3d [ Issue #69 ] Fixed. | |
| ==> Checking out branch 2.4.2.4 | |
| ==> cabal sandbox init | |
| Config file path source is default config file. | |
| Config file /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/.cabal/config not | |
| found. | |
| Writing default configuration to | |
| /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/.cabal/config | |
| Writing a default package environment file to | |
| /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/cabal.sandbox.config | |
| Creating a new sandbox at | |
| /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/.cabal-sandbox | |
| ==> cabal update | |
| Downloading the latest package list from hackage.haskell.org | |
| ==> cabal install --jobs=4 --only-dependencies | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/.cabal-sandbox | |
| Downloading mtl-2.2.1... | |
| Downloading unix-compat-0.4.1.4... | |
| Configuring unix-compat-0.4.1.4... | |
| Configuring mtl-2.2.1... | |
| Building mtl-2.2.1... | |
| Building unix-compat-0.4.1.4... | |
| Installed unix-compat-0.4.1.4 | |
| Installed mtl-2.2.1 | |
| Downloading filemanip-0.3.6.3... | |
| Configuring filemanip-0.3.6.3... | |
| Building filemanip-0.3.6.3... | |
| Installed filemanip-0.3.6.3 | |
| ==> cabal install --jobs=4 --prefix=/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib | |
| clang: warning: -Wl,-headerpad_max_install_names: 'linker' input unused | |
| clang: warning: argument unused during compilation: '-L/usr/local/lib' | |
| clang: warning: argument unused during compilation: '-L/System/Library/Frameworks/OpenGL.framework/Versions/Current/Libraries' | |
| Resolving dependencies... | |
| Notice: installing into a sandbox located at | |
| /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/.cabal-sandbox | |
| Configuring lib-0.9... | |
| Building lib-0.9... | |
| Installed lib-0.9 | |
| ==> /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/bin/GenerateEverything | |
| ==> cabal sandbox delete | |
| Deleting the sandbox located at | |
| /usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/.cabal-sandbox | |
| ==> /usr/local/Cellar/agda/2.4.2.3_2/bin/agda -i . -i src --html --vim README.agda | |
| Checking README (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/README.agda). | |
| Checking Data.Bool (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Bool.agda). | |
| Checking Relation.Nullary (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary.agda). | |
| Checking Data.Empty (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Empty.agda). | |
| Checking Level (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Level.agda). | |
| Finished Level. | |
| Finished Data.Empty. | |
| Finished Relation.Nullary. | |
| Checking Relation.Binary (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary.agda). | |
| Checking Data.Product (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Product.agda). | |
| Checking Function (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function.agda). | |
| Finished Function. | |
| Finished Data.Product. | |
| Checking Data.Sum (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Sum.agda). | |
| Checking Data.Maybe.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Maybe/Base.agda). | |
| Checking Data.Bool.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Bool/Base.agda). | |
| Checking Data.Unit.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Unit/Base.agda). | |
| Finished Data.Unit.Base. | |
| Checking Relation.Binary.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Core.agda). | |
| Finished Relation.Binary.Core. | |
| Finished Data.Bool.Base. | |
| Finished Data.Maybe.Base. | |
| Finished Data.Sum. | |
| Checking Relation.Binary.PropositionalEquality.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/PropositionalEquality/Core.agda). | |
| Checking Relation.Binary.Consequences.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Consequences/Core.agda). | |
| Finished Relation.Binary.Consequences.Core. | |
| Finished Relation.Binary.PropositionalEquality.Core. | |
| Checking Relation.Binary.Consequences (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Consequences.agda). | |
| Finished Relation.Binary.Consequences. | |
| Checking Relation.Binary.Indexed.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Indexed/Core.agda). | |
| Finished Relation.Binary.Indexed.Core. | |
| Finished Relation.Binary. | |
| Checking Relation.Binary.PropositionalEquality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/PropositionalEquality.agda). | |
| Checking Function.Equality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Equality.agda). | |
| Checking Relation.Binary.Indexed (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Indexed.agda). | |
| Finished Relation.Binary.Indexed. | |
| Finished Function.Equality. | |
| Checking Data.Unit.NonEta (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Unit/NonEta.agda). | |
| Finished Data.Unit.NonEta. | |
| Checking Relation.Binary.HeterogeneousEquality.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/HeterogeneousEquality/Core.agda). | |
| Finished Relation.Binary.HeterogeneousEquality.Core. | |
| Checking Relation.Binary.EqReasoning (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/EqReasoning.agda). | |
| Checking Relation.Binary.PreorderReasoning (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/PreorderReasoning.agda). | |
| Finished Relation.Binary.PreorderReasoning. | |
| Finished Relation.Binary.EqReasoning. | |
| Finished Relation.Binary.PropositionalEquality. | |
| Finished Data.Bool. | |
| Checking Data.Char (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Char.agda). | |
| Checking Data.Nat.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Base.agda). | |
| Finished Data.Nat.Base. | |
| Checking Data.Nat.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Properties.agda). | |
| Checking Data.Nat (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat.agda). | |
| Checking Function.Injection (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Injection.agda). | |
| Finished Function.Injection. | |
| Checking Relation.Nullary.Decidable (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary/Decidable.agda). | |
| Checking Data.Unit (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Unit.agda). | |
| Finished Data.Unit. | |
| Checking Function.Equivalence (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Equivalence.agda). | |
| Finished Function.Equivalence. | |
| Finished Relation.Nullary.Decidable. | |
| Checking Relation.Binary.PartialOrderReasoning (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/PartialOrderReasoning.agda). | |
| Finished Relation.Binary.PartialOrderReasoning. | |
| Finished Data.Nat. | |
| Checking Algebra (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra.agda). | |
| Checking Algebra.FunctionProperties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/FunctionProperties.agda). | |
| Checking Algebra.FunctionProperties.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/FunctionProperties/Core.agda). | |
| Finished Algebra.FunctionProperties.Core. | |
| Finished Algebra.FunctionProperties. | |
| Checking Algebra.Structures (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Structures.agda). | |
| Finished Algebra.Structures. | |
| Finished Algebra. | |
| Checking Data.Nat.Properties.Simple (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Properties/Simple.agda). | |
| Finished Data.Nat.Properties.Simple. | |
| Checking Algebra.RingSolver.Simple (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/RingSolver/Simple.agda). | |
| Checking Algebra.RingSolver.AlmostCommutativeRing (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/RingSolver/AlmostCommutativeRing.agda). | |
| Checking Algebra.Morphism (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Morphism.agda). | |
| Checking Algebra.Properties.Group (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/Group.agda). | |
| Finished Algebra.Properties.Group. | |
| Finished Algebra.Morphism. | |
| Checking Algebra.Properties.Ring (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/Ring.agda). | |
| Checking Algebra.Properties.AbelianGroup (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/AbelianGroup.agda). | |
| Finished Algebra.Properties.AbelianGroup. | |
| Finished Algebra.Properties.Ring. | |
| Finished Algebra.RingSolver.AlmostCommutativeRing. | |
| Checking Algebra.RingSolver (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/RingSolver.agda). | |
| Checking Algebra.RingSolver.Lemmas (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/RingSolver/Lemmas.agda). | |
| Finished Algebra.RingSolver.Lemmas. | |
| Checking Algebra.Operations (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Operations.agda). | |
| Finished Algebra.Operations. | |
| Checking Relation.Binary.Reflection (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Reflection.agda). | |
| Checking Data.Fin (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin.agda). | |
| Finished Data.Fin. | |
| Checking Data.Vec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Vec.agda). | |
| Checking Category.Applicative (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Applicative.agda). | |
| Checking Category.Applicative.Indexed (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Applicative/Indexed.agda). | |
| Checking Category.Functor (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Functor.agda). | |
| Finished Category.Functor. | |
| Finished Category.Applicative.Indexed. | |
| Finished Category.Applicative. | |
| Checking Data.List.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Base.agda). | |
| Finished Data.List.Base. | |
| Finished Data.Vec. | |
| Checking Data.Vec.N-ary (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Vec/N-ary.agda). | |
| Finished Data.Vec.N-ary. | |
| Finished Relation.Binary.Reflection. | |
| Finished Algebra.RingSolver. | |
| Finished Algebra.RingSolver.Simple. | |
| Finished Data.Nat.Properties. | |
| Checking Relation.Binary.On (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/On.agda). | |
| Finished Relation.Binary.On. | |
| Checking Relation.Binary.PropositionalEquality.TrustMe (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/PropositionalEquality/TrustMe.agda). | |
| Finished Relation.Binary.PropositionalEquality.TrustMe. | |
| Checking Data.String.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/String/Base.agda). | |
| Checking Data.Char.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Char/Core.agda). | |
| Finished Data.Char.Core. | |
| Finished Data.String.Base. | |
| Checking Data.Char.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Char/Base.agda). | |
| Finished Data.Char.Base. | |
| Finished Data.Char. | |
| Checking Data.List (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List.agda). | |
| Checking Category.Monad (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad.agda). | |
| Checking Category.Monad.Indexed (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/Indexed.agda). | |
| Finished Category.Monad.Indexed. | |
| Finished Category.Monad. | |
| Finished Data.List. | |
| Checking Data.Maybe (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Maybe.agda). | |
| Checking Category.Monad.Identity (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/Identity.agda). | |
| Finished Category.Monad.Identity. | |
| Checking Relation.Unary (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Unary.agda). | |
| Finished Relation.Unary. | |
| Finished Data.Maybe. | |
| Checking Data.Stream (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Stream.agda). | |
| Checking Coinduction (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Coinduction.agda). | |
| Finished Coinduction. | |
| Checking Data.Colist (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Colist.agda). | |
| Checking Data.BoundedVec.Inefficient (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/BoundedVec/Inefficient.agda). | |
| Finished Data.BoundedVec.Inefficient. | |
| Checking Data.Conat (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Conat.agda). | |
| Finished Data.Conat. | |
| Checking Data.List.NonEmpty (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/NonEmpty.agda). | |
| Checking Data.Bool.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Bool/Properties.agda). | |
| Checking Algebra.Properties.BooleanAlgebra (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/BooleanAlgebra.agda). | |
| Checking Algebra.Properties.DistributiveLattice (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/DistributiveLattice.agda). | |
| Checking Algebra.Properties.Lattice (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/Lattice.agda). | |
| Finished Algebra.Properties.Lattice. | |
| Finished Algebra.Properties.DistributiveLattice. | |
| Finished Algebra.Properties.BooleanAlgebra. | |
| Finished Data.Bool.Properties. | |
| Finished Data.List.NonEmpty. | |
| Checking Function.Inverse (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Inverse.agda). | |
| Checking Function.Bijection (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Bijection.agda). | |
| Checking Function.Surjection (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Surjection.agda). | |
| Checking Function.LeftInverse (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/LeftInverse.agda). | |
| Finished Function.LeftInverse. | |
| Finished Function.Surjection. | |
| Finished Function.Bijection. | |
| Finished Function.Inverse. | |
| Checking Relation.Binary.InducedPreorders (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/InducedPreorders.agda). | |
| Finished Relation.Binary.InducedPreorders. | |
| Checking Relation.Nullary.Negation (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary/Negation.agda). | |
| Checking Data.Fin.Dec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Dec.agda). | |
| Checking Data.Vec.Equality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Vec/Equality.agda). | |
| Finished Data.Vec.Equality. | |
| Checking Data.Fin.Subset (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Subset.agda). | |
| Checking Algebra.Properties.BooleanAlgebra.Expression (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Properties/BooleanAlgebra/Expression.agda). | |
| Checking Data.Vec.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Vec/Properties.agda). | |
| Checking Data.List.Any (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Any.agda). | |
| Checking Function.Related (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Related.agda). | |
| Finished Function.Related. | |
| Checking Relation.Binary.List.Pointwise (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/List/Pointwise.agda). | |
| Finished Relation.Binary.List.Pointwise. | |
| Finished Data.List.Any. | |
| Checking Data.Fin.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Properties.agda). | |
| Finished Data.Fin.Properties. | |
| Checking Relation.Binary.HeterogeneousEquality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/HeterogeneousEquality.agda). | |
| Finished Relation.Binary.HeterogeneousEquality. | |
| Finished Data.Vec.Properties. | |
| Checking Relation.Binary.Vec.Pointwise (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Vec/Pointwise.agda). | |
| Checking Data.Plus (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Plus.agda). | |
| Finished Data.Plus. | |
| Finished Relation.Binary.Vec.Pointwise. | |
| Finished Algebra.Properties.BooleanAlgebra.Expression. | |
| Finished Data.Fin.Subset. | |
| Checking Data.Fin.Subset.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Subset/Properties.agda). | |
| Finished Data.Fin.Subset.Properties. | |
| Finished Data.Fin.Dec. | |
| Finished Relation.Nullary.Negation. | |
| Finished Data.Colist. | |
| Finished Data.Stream. | |
| Checking Data.String (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/String.agda). | |
| Checking Relation.Binary.List.StrictLex (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/List/StrictLex.agda). | |
| Finished Relation.Binary.List.StrictLex. | |
| Finished Data.String. | |
| Checking Induction (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Induction.agda). | |
| Finished Induction. | |
| Checking Induction.WellFounded (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Induction/WellFounded.agda). | |
| Finished Induction.WellFounded. | |
| Checking Induction.Nat (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Induction/Nat.agda). | |
| Finished Induction.Nat. | |
| Checking IO (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/IO.agda). | |
| Checking IO.Primitive (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/IO/Primitive.agda). | |
| Checking Foreign.Haskell (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Foreign/Haskell.agda). | |
| Finished Foreign.Haskell. | |
| Finished IO.Primitive. | |
| Finished IO. | |
| Checking README.Nat (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/README/Nat.agda). | |
| Finished README.Nat. | |
| Checking README.Integer (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/README/Integer.agda). | |
| Checking Data.Integer (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Integer.agda). | |
| Checking Data.Nat.Show (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Show.agda). | |
| Checking Data.Digit (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Digit.agda). | |
| Checking Data.Nat.DivMod (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/DivMod.agda). | |
| Finished Data.Nat.DivMod. | |
| Finished Data.Digit. | |
| Finished Data.Nat.Show. | |
| Checking Data.Sign (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Sign.agda). | |
| Finished Data.Sign. | |
| Checking Data.Integer.Base (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Integer/Base.agda). | |
| Finished Data.Integer.Base. | |
| Finished Data.Integer. | |
| Checking Data.Integer.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Integer/Properties.agda). | |
| Checking Data.Integer.Addition.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Integer/Addition/Properties.agda). | |
| Finished Data.Integer.Addition.Properties. | |
| Checking Data.Integer.Multiplication.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Integer/Multiplication/Properties.agda). | |
| Finished Data.Integer.Multiplication.Properties. | |
| Checking Data.Sign.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Sign/Properties.agda). | |
| Finished Data.Sign.Properties. | |
| Finished Data.Integer.Properties. | |
| Finished README.Integer. | |
| Checking README.AVL (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/README/AVL.agda). | |
| Checking Data.AVL (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/AVL.agda). | |
| Checking Data.DifferenceList (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/DifferenceList.agda). | |
| Finished Data.DifferenceList. | |
| Finished Data.AVL. | |
| Checking Data.AVL.IndexedMap (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/AVL/IndexedMap.agda). | |
| Finished Data.AVL.IndexedMap. | |
| Checking Data.AVL.Sets (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/AVL/Sets.agda). | |
| Finished Data.AVL.Sets. | |
| Finished README.AVL. | |
| Checking README.Record (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/README/Record.agda). | |
| Checking Record (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Record.agda). | |
| Finished Record. | |
| Finished README.Record. | |
| Checking README.Case (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/README/Case.agda). | |
| Finished README.Case. | |
| Checking Everything (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/Everything.agda). | |
| Checking Algebra.Monoid-solver (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/Monoid-solver.agda). | |
| Finished Algebra.Monoid-solver. | |
| Checking Algebra.RingSolver.Natural-coefficients (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Algebra/RingSolver/Natural-coefficients.agda). | |
| Finished Algebra.RingSolver.Natural-coefficients. | |
| Checking Category.Applicative.Predicate (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Applicative/Predicate.agda). | |
| Checking Category.Functor.Predicate (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Functor/Predicate.agda). | |
| Checking Relation.Unary.PredicateTransformer (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Unary/PredicateTransformer.agda). | |
| Finished Relation.Unary.PredicateTransformer. | |
| Finished Category.Functor.Predicate. | |
| Finished Category.Applicative.Predicate. | |
| Checking Category.Monad.Continuation (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/Continuation.agda). | |
| Finished Category.Monad.Continuation. | |
| Checking Category.Monad.Partiality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/Partiality.agda). | |
| Finished Category.Monad.Partiality. | |
| Checking Category.Monad.Partiality.All (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/Partiality/All.agda). | |
| Finished Category.Monad.Partiality.All. | |
| Checking Category.Monad.Predicate (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/Predicate.agda). | |
| Finished Category.Monad.Predicate. | |
| Checking Category.Monad.State (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Category/Monad/State.agda). | |
| Finished Category.Monad.State. | |
| Checking Data.Bin (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Bin.agda). | |
| Finished Data.Bin. | |
| Checking Data.Bool.Show (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Bool/Show.agda). | |
| Finished Data.Bool.Show. | |
| Checking Data.BoundedVec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/BoundedVec.agda). | |
| Finished Data.BoundedVec. | |
| Checking Data.Cofin (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Cofin.agda). | |
| Finished Data.Cofin. | |
| Checking Data.Colist.Infinite-merge (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Colist/Infinite-merge.agda). | |
| Checking Function.Related.TypeIsomorphisms (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Function/Related/TypeIsomorphisms.agda). | |
| Checking Relation.Binary.Product.Pointwise (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Product/Pointwise.agda). | |
| Checking Relation.Nullary.Product (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary/Product.agda). | |
| Finished Relation.Nullary.Product. | |
| Finished Relation.Binary.Product.Pointwise. | |
| Checking Relation.Binary.Sum (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Sum.agda). | |
| Finished Relation.Binary.Sum. | |
| Finished Function.Related.TypeIsomorphisms. | |
| Finished Data.Colist.Infinite-merge. | |
| Checking Data.Container (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container.agda). | |
| Checking Data.M (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/M.agda). | |
| Finished Data.M. | |
| Checking Data.W (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/W.agda). | |
| Finished Data.W. | |
| Finished Data.Container. | |
| Checking Data.Container.Any (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/Any.agda). | |
| Checking Data.Container.Combinator (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/Combinator.agda). | |
| Finished Data.Container.Combinator. | |
| Checking Relation.Binary.Sigma.Pointwise (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Sigma/Pointwise.agda). | |
| Finished Relation.Binary.Sigma.Pointwise. | |
| Finished Data.Container.Any. | |
| Checking Data.Container.FreeMonad (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/FreeMonad.agda). | |
| Finished Data.Container.FreeMonad. | |
| Checking Data.Container.Indexed (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/Indexed.agda). | |
| Checking Data.W.Indexed (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/W/Indexed.agda). | |
| Checking Data.Container.Indexed.Core (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/Indexed/Core.agda). | |
| Finished Data.Container.Indexed.Core. | |
| Finished Data.W.Indexed. | |
| Checking Data.M.Indexed (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/M/Indexed.agda). | |
| Finished Data.M.Indexed. | |
| Finished Data.Container.Indexed. | |
| Checking Data.Container.Indexed.Combinator (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/Indexed/Combinator.agda). | |
| Finished Data.Container.Indexed.Combinator. | |
| Checking Data.Container.Indexed.FreeMonad (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Container/Indexed/FreeMonad.agda). | |
| Finished Data.Container.Indexed.FreeMonad. | |
| Checking Data.Covec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Covec.agda). | |
| Finished Data.Covec. | |
| Checking Data.DifferenceNat (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/DifferenceNat.agda). | |
| Finished Data.DifferenceNat. | |
| Checking Data.DifferenceVec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/DifferenceVec.agda). | |
| Finished Data.DifferenceVec. | |
| Checking Data.Fin.Substitution (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Substitution.agda). | |
| Checking Data.Star (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star.agda). | |
| Finished Data.Star. | |
| Finished Data.Fin.Substitution. | |
| Checking Data.Fin.Substitution.Example (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Substitution/Example.agda). | |
| Checking Data.Fin.Substitution.Lemmas (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Substitution/Lemmas.agda). | |
| Finished Data.Fin.Substitution.Lemmas. | |
| Finished Data.Fin.Substitution.Example. | |
| Checking Data.Fin.Substitution.List (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Fin/Substitution/List.agda). | |
| Checking Data.List.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Properties.agda). | |
| Checking Data.List.All (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/All.agda). | |
| Finished Data.List.All. | |
| Finished Data.List.Properties. | |
| Finished Data.Fin.Substitution.List. | |
| Checking Data.Float (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Float.agda). | |
| Finished Data.Float. | |
| Checking Data.Graph.Acyclic (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Graph/Acyclic.agda). | |
| Finished Data.Graph.Acyclic. | |
| Checking Data.Integer.Divisibility (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Integer/Divisibility.agda). | |
| Checking Data.Nat.Divisibility (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Divisibility.agda). | |
| Finished Data.Nat.Divisibility. | |
| Checking Data.Nat.Coprimality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Coprimality.agda). | |
| Checking Data.Nat.Primality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/Primality.agda). | |
| Finished Data.Nat.Primality. | |
| Checking Data.Nat.GCD (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/GCD.agda). | |
| Checking Induction.Lexicographic (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Induction/Lexicographic.agda). | |
| Finished Induction.Lexicographic. | |
| Checking Data.Nat.GCD.Lemmas (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/GCD/Lemmas.agda). | |
| Finished Data.Nat.GCD.Lemmas. | |
| Finished Data.Nat.GCD. | |
| Finished Data.Nat.Coprimality. | |
| Finished Data.Integer.Divisibility. | |
| Checking Data.List.All.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/All/Properties.agda). | |
| Finished Data.List.All.Properties. | |
| Checking Data.List.Any.BagAndSetEquality (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Any/BagAndSetEquality.agda). | |
| Checking Data.List.Any.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Any/Properties.agda). | |
| Finished Data.List.Any.Properties. | |
| Finished Data.List.Any.BagAndSetEquality. | |
| Checking Data.List.Any.Membership (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Any/Membership.agda). | |
| Checking Relation.Binary.Properties.DecTotalOrder (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Properties/DecTotalOrder.agda). | |
| Checking Relation.Binary.NonStrictToStrict (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/NonStrictToStrict.agda). | |
| Finished Relation.Binary.NonStrictToStrict. | |
| Finished Relation.Binary.Properties.DecTotalOrder. | |
| Finished Data.List.Any.Membership. | |
| Checking Data.List.Countdown (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Countdown.agda). | |
| Finished Data.List.Countdown. | |
| Checking Data.List.NonEmpty.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/NonEmpty/Properties.agda). | |
| Finished Data.List.NonEmpty.Properties. | |
| Checking Data.List.Reverse (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/List/Reverse.agda). | |
| Finished Data.List.Reverse. | |
| Checking Data.Nat.InfinitelyOften (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/InfinitelyOften.agda). | |
| Finished Data.Nat.InfinitelyOften. | |
| Checking Data.Nat.LCM (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Nat/LCM.agda). | |
| Finished Data.Nat.LCM. | |
| Checking Data.Product.N-ary (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Product/N-ary.agda). | |
| Finished Data.Product.N-ary. | |
| Checking Data.Rational (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Rational.agda). | |
| Finished Data.Rational. | |
| Checking Data.ReflexiveClosure (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/ReflexiveClosure.agda). | |
| Checking Relation.Binary.Simple (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Simple.agda). | |
| Finished Relation.Binary.Simple. | |
| Finished Data.ReflexiveClosure. | |
| Checking Data.Star.BoundedVec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/BoundedVec.agda). | |
| Checking Data.Star.Nat (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Nat.agda). | |
| Finished Data.Star.Nat. | |
| Checking Data.Star.Decoration (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Decoration.agda). | |
| Finished Data.Star.Decoration. | |
| Checking Data.Star.Pointer (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Pointer.agda). | |
| Finished Data.Star.Pointer. | |
| Checking Data.Star.List (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/List.agda). | |
| Finished Data.Star.List. | |
| Finished Data.Star.BoundedVec. | |
| Checking Data.Star.Environment (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Environment.agda). | |
| Finished Data.Star.Environment. | |
| Checking Data.Star.Fin (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Fin.agda). | |
| Finished Data.Star.Fin. | |
| Checking Data.Star.Properties (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Properties.agda). | |
| Finished Data.Star.Properties. | |
| Checking Data.Star.Vec (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Data/Star/Vec.agda). | |
| Finished Data.Star.Vec. | |
| Checking Irrelevance (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Irrelevance.agda). | |
| Finished Irrelevance. | |
| Checking Reflection (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Reflection.agda). | |
| Finished Reflection. | |
| Checking Relation.Binary.Flip (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Flip.agda). | |
| Finished Relation.Binary.Flip. | |
| Checking Relation.Binary.List.NonStrictLex (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/List/NonStrictLex.agda). | |
| Finished Relation.Binary.List.NonStrictLex. | |
| Checking Relation.Binary.OrderMorphism (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/OrderMorphism.agda). | |
| Finished Relation.Binary.OrderMorphism. | |
| Checking Relation.Binary.Product.NonStrictLex (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Product/NonStrictLex.agda). | |
| Checking Relation.Binary.Product.StrictLex (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Product/StrictLex.agda). | |
| Checking Relation.Nullary.Sum (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary/Sum.agda). | |
| Finished Relation.Nullary.Sum. | |
| Finished Relation.Binary.Product.StrictLex. | |
| Finished Relation.Binary.Product.NonStrictLex. | |
| Checking Relation.Binary.Properties.Poset (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Properties/Poset.agda). | |
| Finished Relation.Binary.Properties.Poset. | |
| Checking Relation.Binary.Properties.Preorder (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Properties/Preorder.agda). | |
| Finished Relation.Binary.Properties.Preorder. | |
| Checking Relation.Binary.Properties.StrictPartialOrder (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Properties/StrictPartialOrder.agda). | |
| Checking Relation.Binary.StrictToNonStrict (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/StrictToNonStrict.agda). | |
| Finished Relation.Binary.StrictToNonStrict. | |
| Finished Relation.Binary.Properties.StrictPartialOrder. | |
| Checking Relation.Binary.Properties.StrictTotalOrder (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Properties/StrictTotalOrder.agda). | |
| Finished Relation.Binary.Properties.StrictTotalOrder. | |
| Checking Relation.Binary.Properties.TotalOrder (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/Properties/TotalOrder.agda). | |
| Finished Relation.Binary.Properties.TotalOrder. | |
| Checking Relation.Binary.SetoidReasoning (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/SetoidReasoning.agda). | |
| Finished Relation.Binary.SetoidReasoning. | |
| Checking Relation.Binary.StrictPartialOrderReasoning (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Binary/StrictPartialOrderReasoning.agda). | |
| Finished Relation.Binary.StrictPartialOrderReasoning. | |
| Checking Relation.Nullary.Implication (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary/Implication.agda). | |
| Finished Relation.Nullary.Implication. | |
| Checking Relation.Nullary.Universe (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Relation/Nullary/Universe.agda). | |
| Finished Relation.Nullary.Universe. | |
| Checking Size (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Size.agda). | |
| Finished Size. | |
| Checking Universe (/usr/local/Cellar/agda/2.4.2.3_2/agda-stdlib/src/Universe.agda). | |
| Finished Universe. | |
| Finished Everything. | |
| Finished README. | |
| Warning: HTML is currently generated for ALL files which can be | |
| reached from the given module, including library files. | |
| Generating HTML for Agda.Primitive (html/Agda.Primitive.html). | |
| Generating HTML for Algebra (html/Algebra.html). | |
| Generating HTML for Algebra.FunctionProperties (html/Algebra.FunctionProperties.html). | |
| Generating HTML for Algebra.FunctionProperties.Core (html/Algebra.FunctionProperties.Core.html). | |
| Generating HTML for Algebra.Monoid-solver (html/Algebra.Monoid-solver.html). | |
| Generating HTML for Algebra.Morphism (html/Algebra.Morphism.html). | |
| Generating HTML for Algebra.Operations (html/Algebra.Operations.html). | |
| Generating HTML for Algebra.Properties.AbelianGroup (html/Algebra.Properties.AbelianGroup.html). | |
| Generating HTML for Algebra.Properties.BooleanAlgebra (html/Algebra.Properties.BooleanAlgebra.html). | |
| Generating HTML for Algebra.Properties.BooleanAlgebra.Expression (html/Algebra.Properties.BooleanAlgebra.Expression.html). | |
| Generating HTML for Algebra.Properties.DistributiveLattice (html/Algebra.Properties.DistributiveLattice.html). | |
| Generating HTML for Algebra.Properties.Group (html/Algebra.Properties.Group.html). | |
| Generating HTML for Algebra.Properties.Lattice (html/Algebra.Properties.Lattice.html). | |
| Generating HTML for Algebra.Properties.Ring (html/Algebra.Properties.Ring.html). | |
| Generating HTML for Algebra.RingSolver (html/Algebra.RingSolver.html). | |
| Generating HTML for Algebra.RingSolver.AlmostCommutativeRing (html/Algebra.RingSolver.AlmostCommutativeRing.html). | |
| Generating HTML for Algebra.RingSolver.Lemmas (html/Algebra.RingSolver.Lemmas.html). | |
| Generating HTML for Algebra.RingSolver.Natural-coefficients (html/Algebra.RingSolver.Natural-coefficients.html). | |
| Generating HTML for Algebra.RingSolver.Simple (html/Algebra.RingSolver.Simple.html). | |
| Generating HTML for Algebra.Structures (html/Algebra.Structures.html). | |
| Generating HTML for Category.Applicative (html/Category.Applicative.html). | |
| Generating HTML for Category.Applicative.Indexed (html/Category.Applicative.Indexed.html). | |
| Generating HTML for Category.Applicative.Predicate (html/Category.Applicative.Predicate.html). | |
| Generating HTML for Category.Functor (html/Category.Functor.html). | |
| Generating HTML for Category.Functor.Predicate (html/Category.Functor.Predicate.html). | |
| Generating HTML for Category.Monad (html/Category.Monad.html). | |
| Generating HTML for Category.Monad.Continuation (html/Category.Monad.Continuation.html). | |
| Generating HTML for Category.Monad.Identity (html/Category.Monad.Identity.html). | |
| Generating HTML for Category.Monad.Indexed (html/Category.Monad.Indexed.html). | |
| Generating HTML for Category.Monad.Partiality (html/Category.Monad.Partiality.html). | |
| Generating HTML for Category.Monad.Partiality.All (html/Category.Monad.Partiality.All.html). | |
| Generating HTML for Category.Monad.Predicate (html/Category.Monad.Predicate.html). | |
| Generating HTML for Category.Monad.State (html/Category.Monad.State.html). | |
| Generating HTML for Coinduction (html/Coinduction.html). | |
| Generating HTML for Data.AVL (html/Data.AVL.html). | |
| Generating HTML for Data.AVL.IndexedMap (html/Data.AVL.IndexedMap.html). | |
| Generating HTML for Data.AVL.Sets (html/Data.AVL.Sets.html). | |
| Generating HTML for Data.Bin (html/Data.Bin.html). | |
| Generating HTML for Data.Bool (html/Data.Bool.html). | |
| Generating HTML for Data.Bool.Base (html/Data.Bool.Base.html). | |
| Generating HTML for Data.Bool.Properties (html/Data.Bool.Properties.html). | |
| Generating HTML for Data.Bool.Show (html/Data.Bool.Show.html). | |
| Generating HTML for Data.BoundedVec (html/Data.BoundedVec.html). | |
| Generating HTML for Data.BoundedVec.Inefficient (html/Data.BoundedVec.Inefficient.html). | |
| Generating HTML for Data.Char (html/Data.Char.html). | |
| Generating HTML for Data.Char.Base (html/Data.Char.Base.html). | |
| Generating HTML for Data.Char.Core (html/Data.Char.Core.html). | |
| Generating HTML for Data.Cofin (html/Data.Cofin.html). | |
| Generating HTML for Data.Colist (html/Data.Colist.html). | |
| Generating HTML for Data.Colist.Infinite-merge (html/Data.Colist.Infinite-merge.html). | |
| Generating HTML for Data.Conat (html/Data.Conat.html). | |
| Generating HTML for Data.Container (html/Data.Container.html). | |
| Generating HTML for Data.Container.Any (html/Data.Container.Any.html). | |
| Generating HTML for Data.Container.Combinator (html/Data.Container.Combinator.html). | |
| Generating HTML for Data.Container.FreeMonad (html/Data.Container.FreeMonad.html). | |
| Generating HTML for Data.Container.Indexed (html/Data.Container.Indexed.html). | |
| Generating HTML for Data.Container.Indexed.Combinator (html/Data.Container.Indexed.Combinator.html). | |
| Generating HTML for Data.Container.Indexed.Core (html/Data.Container.Indexed.Core.html). | |
| Generating HTML for Data.Container.Indexed.FreeMonad (html/Data.Container.Indexed.FreeMonad.html). | |
| Generating HTML for Data.Covec (html/Data.Covec.html). | |
| Generating HTML for Data.DifferenceList (html/Data.DifferenceList.html). | |
| Generating HTML for Data.DifferenceNat (html/Data.DifferenceNat.html). | |
| Generating HTML for Data.DifferenceVec (html/Data.DifferenceVec.html). | |
| Generating HTML for Data.Digit (html/Data.Digit.html). | |
| Generating HTML for Data.Empty (html/Data.Empty.html). | |
| Generating HTML for Data.Fin (html/Data.Fin.html). | |
| Generating HTML for Data.Fin.Dec (html/Data.Fin.Dec.html). | |
| Generating HTML for Data.Fin.Properties (html/Data.Fin.Properties.html). | |
| Generating HTML for Data.Fin.Subset (html/Data.Fin.Subset.html). | |
| Generating HTML for Data.Fin.Subset.Properties (html/Data.Fin.Subset.Properties.html). | |
| Generating HTML for Data.Fin.Substitution (html/Data.Fin.Substitution.html). | |
| Generating HTML for Data.Fin.Substitution.Example (html/Data.Fin.Substitution.Example.html). | |
| Generating HTML for Data.Fin.Substitution.Lemmas (html/Data.Fin.Substitution.Lemmas.html). | |
| Generating HTML for Data.Fin.Substitution.List (html/Data.Fin.Substitution.List.html). | |
| Generating HTML for Data.Float (html/Data.Float.html). | |
| Generating HTML for Data.Graph.Acyclic (html/Data.Graph.Acyclic.html). | |
| Generating HTML for Data.Integer (html/Data.Integer.html). | |
| Generating HTML for Data.Integer.Addition.Properties (html/Data.Integer.Addition.Properties.html). | |
| Generating HTML for Data.Integer.Base (html/Data.Integer.Base.html). | |
| Generating HTML for Data.Integer.Divisibility (html/Data.Integer.Divisibility.html). | |
| Generating HTML for Data.Integer.Multiplication.Properties (html/Data.Integer.Multiplication.Properties.html). | |
| Generating HTML for Data.Integer.Properties (html/Data.Integer.Properties.html). | |
| Generating HTML for Data.List (html/Data.List.html). | |
| Generating HTML for Data.List.All (html/Data.List.All.html). | |
| Generating HTML for Data.List.All.Properties (html/Data.List.All.Properties.html). | |
| Generating HTML for Data.List.Any (html/Data.List.Any.html). | |
| Generating HTML for Data.List.Any.BagAndSetEquality (html/Data.List.Any.BagAndSetEquality.html). | |
| Generating HTML for Data.List.Any.Membership (html/Data.List.Any.Membership.html). | |
| Generating HTML for Data.List.Any.Properties (html/Data.List.Any.Properties.html). | |
| Generating HTML for Data.List.Base (html/Data.List.Base.html). | |
| Generating HTML for Data.List.Countdown (html/Data.List.Countdown.html). | |
| Generating HTML for Data.List.NonEmpty (html/Data.List.NonEmpty.html). | |
| Generating HTML for Data.List.NonEmpty.Properties (html/Data.List.NonEmpty.Properties.html). | |
| Generating HTML for Data.List.Properties (html/Data.List.Properties.html). | |
| Generating HTML for Data.List.Reverse (html/Data.List.Reverse.html). | |
| Generating HTML for Data.M (html/Data.M.html). | |
| Generating HTML for Data.M.Indexed (html/Data.M.Indexed.html). | |
| Generating HTML for Data.Maybe (html/Data.Maybe.html). | |
| Generating HTML for Data.Maybe.Base (html/Data.Maybe.Base.html). | |
| Generating HTML for Data.Nat (html/Data.Nat.html). | |
| Generating HTML for Data.Nat.Base (html/Data.Nat.Base.html). | |
| Generating HTML for Data.Nat.Coprimality (html/Data.Nat.Coprimality.html). | |
| Generating HTML for Data.Nat.DivMod (html/Data.Nat.DivMod.html). | |
| Generating HTML for Data.Nat.Divisibility (html/Data.Nat.Divisibility.html). | |
| Generating HTML for Data.Nat.GCD (html/Data.Nat.GCD.html). | |
| Generating HTML for Data.Nat.GCD.Lemmas (html/Data.Nat.GCD.Lemmas.html). | |
| Generating HTML for Data.Nat.InfinitelyOften (html/Data.Nat.InfinitelyOften.html). | |
| Generating HTML for Data.Nat.LCM (html/Data.Nat.LCM.html). | |
| Generating HTML for Data.Nat.Primality (html/Data.Nat.Primality.html). | |
| Generating HTML for Data.Nat.Properties (html/Data.Nat.Properties.html). | |
| Generating HTML for Data.Nat.Properties.Simple (html/Data.Nat.Properties.Simple.html). | |
| Generating HTML for Data.Nat.Show (html/Data.Nat.Show.html). | |
| Generating HTML for Data.Plus (html/Data.Plus.html). | |
| Generating HTML for Data.Product (html/Data.Product.html). | |
| Generating HTML for Data.Product.N-ary (html/Data.Product.N-ary.html). | |
| Generating HTML for Data.Rational (html/Data.Rational.html). | |
| Generating HTML for Data.ReflexiveClosure (html/Data.ReflexiveClosure.html). | |
| Generating HTML for Data.Sign (html/Data.Sign.html). | |
| Generating HTML for Data.Sign.Properties (html/Data.Sign.Properties.html). | |
| Generating HTML for Data.Star (html/Data.Star.html). | |
| Generating HTML for Data.Star.BoundedVec (html/Data.Star.BoundedVec.html). | |
| Generating HTML for Data.Star.Decoration (html/Data.Star.Decoration.html). | |
| Generating HTML for Data.Star.Environment (html/Data.Star.Environment.html). | |
| Generating HTML for Data.Star.Fin (html/Data.Star.Fin.html). | |
| Generating HTML for Data.Star.List (html/Data.Star.List.html). | |
| Generating HTML for Data.Star.Nat (html/Data.Star.Nat.html). | |
| Generating HTML for Data.Star.Pointer (html/Data.Star.Pointer.html). | |
| Generating HTML for Data.Star.Properties (html/Data.Star.Properties.html). | |
| Generating HTML for Data.Star.Vec (html/Data.Star.Vec.html). | |
| Generating HTML for Data.Stream (html/Data.Stream.html). | |
| Generating HTML for Data.String (html/Data.String.html). | |
| Generating HTML for Data.String.Base (html/Data.String.Base.html). | |
| Generating HTML for Data.Sum (html/Data.Sum.html). | |
| Generating HTML for Data.Unit (html/Data.Unit.html). | |
| Generating HTML for Data.Unit.Base (html/Data.Unit.Base.html). | |
| Generating HTML for Data.Unit.NonEta (html/Data.Unit.NonEta.html). | |
| Generating HTML for Data.Vec (html/Data.Vec.html). | |
| Generating HTML for Data.Vec.Equality (html/Data.Vec.Equality.html). | |
| Generating HTML for Data.Vec.N-ary (html/Data.Vec.N-ary.html). | |
| Generating HTML for Data.Vec.Properties (html/Data.Vec.Properties.html). | |
| Generating HTML for Data.W (html/Data.W.html). | |
| Generating HTML for Data.W.Indexed (html/Data.W.Indexed.html). | |
| Generating HTML for Everything (html/Everything.html). | |
| Generating HTML for Foreign.Haskell (html/Foreign.Haskell.html). | |
| Generating HTML for Function (html/Function.html). | |
| Generating HTML for Function.Bijection (html/Function.Bijection.html). | |
| Generating HTML for Function.Equality (html/Function.Equality.html). | |
| Generating HTML for Function.Equivalence (html/Function.Equivalence.html). | |
| Generating HTML for Function.Injection (html/Function.Injection.html). | |
| Generating HTML for Function.Inverse (html/Function.Inverse.html). | |
| Generating HTML for Function.LeftInverse (html/Function.LeftInverse.html). | |
| Generating HTML for Function.Related (html/Function.Related.html). | |
| Generating HTML for Function.Related.TypeIsomorphisms (html/Function.Related.TypeIsomorphisms.html). | |
| Generating HTML for Function.Surjection (html/Function.Surjection.html). | |
| Generating HTML for IO (html/IO.html). | |
| Generating HTML for IO.Primitive (html/IO.Primitive.html). | |
| Generating HTML for Induction (html/Induction.html). | |
| Generating HTML for Induction.Lexicographic (html/Induction.Lexicographic.html). | |
| Generating HTML for Induction.Nat (html/Induction.Nat.html). | |
| Generating HTML for Induction.WellFounded (html/Induction.WellFounded.html). | |
| Generating HTML for Irrelevance (html/Irrelevance.html). | |
| Generating HTML for Level (html/Level.html). | |
| Generating HTML for README (html/README.html). | |
| Generating HTML for README.AVL (html/README.AVL.html). | |
| Generating HTML for README.Case (html/README.Case.html). | |
| Generating HTML for README.Integer (html/README.Integer.html). | |
| Generating HTML for README.Nat (html/README.Nat.html). | |
| Generating HTML for README.Record (html/README.Record.html). | |
| Generating HTML for Record (html/Record.html). | |
| Generating HTML for Reflection (html/Reflection.html). | |
| Generating HTML for Relation.Binary (html/Relation.Binary.html). | |
| Generating HTML for Relation.Binary.Consequences (html/Relation.Binary.Consequences.html). | |
| Generating HTML for Relation.Binary.Consequences.Core (html/Relation.Binary.Consequences.Core.html). | |
| Generating HTML for Relation.Binary.Core (html/Relation.Binary.Core.html). | |
| Generating HTML for Relation.Binary.EqReasoning (html/Relation.Binary.EqReasoning.html). | |
| Generating HTML for Relation.Binary.Flip (html/Relation.Binary.Flip.html). | |
| Generating HTML for Relation.Binary.HeterogeneousEquality (html/Relation.Binary.HeterogeneousEquality.html). | |
| Generating HTML for Relation.Binary.HeterogeneousEquality.Core (html/Relation.Binary.HeterogeneousEquality.Core.html). | |
| Generating HTML for Relation.Binary.Indexed (html/Relation.Binary.Indexed.html). | |
| Generating HTML for Relation.Binary.Indexed.Core (html/Relation.Binary.Indexed.Core.html). | |
| Generating HTML for Relation.Binary.InducedPreorders (html/Relation.Binary.InducedPreorders.html). | |
| Generating HTML for Relation.Binary.List.NonStrictLex (html/Relation.Binary.List.NonStrictLex.html). | |
| Generating HTML for Relation.Binary.List.Pointwise (html/Relation.Binary.List.Pointwise.html). | |
| Generating HTML for Relation.Binary.List.StrictLex (html/Relation.Binary.List.StrictLex.html). | |
| Generating HTML for Relation.Binary.NonStrictToStrict (html/Relation.Binary.NonStrictToStrict.html). | |
| Generating HTML for Relation.Binary.On (html/Relation.Binary.On.html). | |
| Generating HTML for Relation.Binary.OrderMorphism (html/Relation.Binary.OrderMorphism.html). | |
| Generating HTML for Relation.Binary.PartialOrderReasoning (html/Relation.Binary.PartialOrderReasoning.html). | |
| Generating HTML for Relation.Binary.PreorderReasoning (html/Relation.Binary.PreorderReasoning.html). | |
| Generating HTML for Relation.Binary.Product.NonStrictLex (html/Relation.Binary.Product.NonStrictLex.html). | |
| Generating HTML for Relation.Binary.Product.Pointwise (html/Relation.Binary.Product.Pointwise.html). | |
| Generating HTML for Relation.Binary.Product.StrictLex (html/Relation.Binary.Product.StrictLex.html). | |
| Generating HTML for Relation.Binary.Properties.DecTotalOrder (html/Relation.Binary.Properties.DecTotalOrder.html). | |
| Generating HTML for Relation.Binary.Properties.Poset (html/Relation.Binary.Properties.Poset.html). | |
| Generating HTML for Relation.Binary.Properties.Preorder (html/Relation.Binary.Properties.Preorder.html). | |
| Generating HTML for Relation.Binary.Properties.StrictPartialOrder (html/Relation.Binary.Properties.StrictPartialOrder.html). | |
| Generating HTML for Relation.Binary.Properties.StrictTotalOrder (html/Relation.Binary.Properties.StrictTotalOrder.html). | |
| Generating HTML for Relation.Binary.Properties.TotalOrder (html/Relation.Binary.Properties.TotalOrder.html). | |
| Generating HTML for Relation.Binary.PropositionalEquality (html/Relation.Binary.PropositionalEquality.html). | |
| Generating HTML for Relation.Binary.PropositionalEquality.Core (html/Relation.Binary.PropositionalEquality.Core.html). | |
| Generating HTML for Relation.Binary.PropositionalEquality.TrustMe (html/Relation.Binary.PropositionalEquality.TrustMe.html). | |
| Generating HTML for Relation.Binary.Reflection (html/Relation.Binary.Reflection.html). | |
| Generating HTML for Relation.Binary.SetoidReasoning (html/Relation.Binary.SetoidReasoning.html). | |
| Generating HTML for Relation.Binary.Sigma.Pointwise (html/Relation.Binary.Sigma.Pointwise.html). | |
| Generating HTML for Relation.Binary.Simple (html/Relation.Binary.Simple.html). | |
| Generating HTML for Relation.Binary.StrictPartialOrderReasoning (html/Relation.Binary.StrictPartialOrderReasoning.html). | |
| Generating HTML for Relation.Binary.StrictToNonStrict (html/Relation.Binary.StrictToNonStrict.html). | |
| Generating HTML for Relation.Binary.Sum (html/Relation.Binary.Sum.html). | |
| Generating HTML for Relation.Binary.Vec.Pointwise (html/Relation.Binary.Vec.Pointwise.html). | |
| Generating HTML for Relation.Nullary (html/Relation.Nullary.html). | |
| Generating HTML for Relation.Nullary.Decidable (html/Relation.Nullary.Decidable.html). | |
| Generating HTML for Relation.Nullary.Implication (html/Relation.Nullary.Implication.html). | |
| Generating HTML for Relation.Nullary.Negation (html/Relation.Nullary.Negation.html). | |
| Generating HTML for Relation.Nullary.Product (html/Relation.Nullary.Product.html). | |
| Generating HTML for Relation.Nullary.Sum (html/Relation.Nullary.Sum.html). | |
| Generating HTML for Relation.Nullary.Universe (html/Relation.Nullary.Universe.html). | |
| Generating HTML for Relation.Unary (html/Relation.Unary.html). | |
| Generating HTML for Relation.Unary.PredicateTransformer (html/Relation.Unary.PredicateTransformer.html). | |
| Generating HTML for Size (html/Size.html). | |
| Generating HTML for Universe (html/Universe.html). | |
| ==> Cleaning | |
| Fixing /usr/local/Cellar/agda/2.4.2.3_2/bin/agda permissions from 755 to 555 | |
| Fixing /usr/local/Cellar/agda/2.4.2.3_2/bin/agda-mode permissions from 755 to 555 | |
| ==> Finishing up | |
| ln -s ../Cellar/agda/2.4.2.3_2/bin/agda agda | |
| ln -s ../Cellar/agda/2.4.2.3_2/bin/agda-mode agda-mode | |
| ln -s ../../Cellar/agda/2.4.2.3_2/share/doc/x86_64-osx-ghc-7.10.1 x86_64-osx-ghc-7.10.1 | |
| ln -s ../Cellar/agda/2.4.2.3_2/share/x86_64-osx-ghc-7.10.1 x86_64-osx-ghc-7.10.1 | |
| /usr/local/Library/Homebrew/postinstall.rb (Formulary::FromPathLoader): loading /usr/local/Library/Formula/agda.rb | |
| ==> Summary | |
| 🍺 /usr/local/Cellar/agda/2.4.2.3_2: 942 files, 305M, built in 30.0 minutes | |
| balrog:local n$ brew test agda | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/agda.rb | |
| Testing agda | |
| Warning: The sandbox cannot be used in debug or interactive mode. | |
| /usr/local/Library/Homebrew/test.rb (Formulary::FromPathLoader): loading /usr/local/Library/Formula/agda.rb | |
| ==> /usr/local/Cellar/agda/2.4.2.3_2/bin/agda --test | |
| QuickCheck test suite: | |
| Agda.TypeChecking.Irrelevance | |
| +++ OK, passed 100 tests. | |
| Agda.TypeChecking.SizedTypes.Tests | |
| === prop_MeetSound from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:46 === | |
| +++ OK, passed 100 tests. | |
| === prop_MeetComplete from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:50 === | |
| +++ OK, passed 100 tests. | |
| === prop_ComposeSound from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:54 === | |
| +++ OK, passed 100 tests. | |
| === prop_ComposeComplete from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:58 === | |
| +++ OK, passed 100 tests. | |
| === prop_Dioid_Weight from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:122 === | |
| +++ OK, passed 100 tests. | |
| === prop_SemiLattice_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:126 === | |
| +++ OK, passed 100 tests. | |
| === prop_Unit_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:129 === | |
| +++ OK, passed 100 tests. | |
| === prop_BoundedSemiLattice_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:132 === | |
| +++ OK, passed 100 tests. | |
| === prop_Monoid_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:135 === | |
| +++ OK, passed 100 tests. | |
| === prop_DistL_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:138 === | |
| +++ OK, passed 100 tests. | |
| === prop_DistR_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:141 === | |
| +++ OK, passed 100 tests. | |
| === prop_Dist_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:144 === | |
| +++ OK, passed 100 tests. | |
| === prop_Zero_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:147 === | |
| +++ OK, passed 100 tests. | |
| === prop_Dioid_Label from src/full/Agda/TypeChecking/SizedTypes/Tests.hs:150 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Favorites | |
| === prop_compareWithFavorites from src/full/Agda/Utils/Favorites.hs:154 === | |
| +++ OK, passed 100 tests. | |
| === prop_fromList_after_toList from src/full/Agda/Utils/Favorites.hs:163 === | |
| +++ OK, passed 100 tests. | |
| === prop_union_union2 from src/full/Agda/Utils/Favorites.hs:168 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Permutation | |
| === prop_concat from src/full/Agda/Utils/ListT/Tests.hs:38 === | |
| +++ OK, passed 100 tests. | |
| === prop_idiom from src/full/Agda/Utils/ListT/Tests.hs:40 === | |
| +++ OK, passed 100 tests. | |
| === prop_concatMap from src/full/Agda/Utils/ListT/Tests.hs:42 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Permutation | |
| === prop_permute_id_r from src/full/Agda/Utils/Permutation/Tests.hs:59 === | |
| +++ OK, passed 100 tests. | |
| === prop_permute_id_l from src/full/Agda/Utils/Permutation/Tests.hs:64 === | |
| +++ OK, passed 100 tests. | |
| === prop_takeP from src/full/Agda/Utils/Permutation/Tests.hs:69 === | |
| +++ OK, passed 100 tests. | |
| === prop_droppedP from src/full/Agda/Utils/Permutation/Tests.hs:75 === | |
| +++ OK, passed 100 tests. | |
| === prop_composeP from src/full/Agda/Utils/Permutation/Tests.hs:80 === | |
| +++ OK, passed 100 tests. | |
| === prop_invertP_left from src/full/Agda/Utils/Permutation/Tests.hs:85 === | |
| +++ OK, passed 100 tests. | |
| === prop_reverseP from src/full/Agda/Utils/Permutation/Tests.hs:98 === | |
| +++ OK, passed 100 tests. | |
| === prop_inversePermute from src/full/Agda/Utils/Permutation/Tests.hs:103 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.PartialOrd | |
| === prop_comparable_related from src/full/Agda/Utils/PartialOrd.hs:316 === | |
| +++ OK, passed 100 tests. | |
| === prop_oppPO from src/full/Agda/Utils/PartialOrd.hs:321 === | |
| +++ OK, passed 100 tests. | |
| === prop_leqPO_sound from src/full/Agda/Utils/PartialOrd.hs:330 === | |
| +++ OK, passed 100 tests. | |
| === prop_orPO_sound from src/full/Agda/Utils/PartialOrd.hs:336 === | |
| +++ OK, passed 100 tests. | |
| === prop_associative_orPO from src/full/Agda/Utils/PartialOrd.hs:341 === | |
| +++ OK, passed 100 tests. | |
| === prop_commutative_orPO from src/full/Agda/Utils/PartialOrd.hs:346 === | |
| +++ OK, passed 100 tests. | |
| === prop_idempotent_orPO from src/full/Agda/Utils/PartialOrd.hs:350 === | |
| +++ OK, passed 100 tests. | |
| === prop_zero_orPO from src/full/Agda/Utils/PartialOrd.hs:354 === | |
| +++ OK, passed 100 tests. | |
| === prop_seqPO from src/full/Agda/Utils/PartialOrd.hs:366 === | |
| +++ OK, passed 100 tests. | |
| === prop_identity_seqPO from src/full/Agda/Utils/PartialOrd.hs:371 === | |
| +++ OK, passed 100 tests. | |
| === prop_zero_seqPO from src/full/Agda/Utils/PartialOrd.hs:375 === | |
| +++ OK, passed 100 tests. | |
| === prop_associative_seqPO from src/full/Agda/Utils/PartialOrd.hs:379 === | |
| +++ OK, passed 100 tests. | |
| === prop_commutative_seqPO from src/full/Agda/Utils/PartialOrd.hs:384 === | |
| +++ OK, passed 100 tests. | |
| === prop_idempotent_seqPO from src/full/Agda/Utils/PartialOrd.hs:388 === | |
| +++ OK, passed 100 tests. | |
| === prop_distributive_seqPO_orPO from src/full/Agda/Utils/PartialOrd.hs:392 === | |
| +++ OK, passed 100 tests. | |
| === prop_sorted_toOrderings from src/full/Agda/Utils/PartialOrd.hs:397 === | |
| +++ OK, passed 100 tests. | |
| === prop_toOrderings_after_fromOrdering from src/full/Agda/Utils/PartialOrd.hs:402 === | |
| +++ OK, passed 100 tests. | |
| === prop_fromOrderings_after_toOrderings from src/full/Agda/Utils/PartialOrd.hs:407 === | |
| +++ OK, passed 100 tests. | |
| === prop_toOrderings_after_fromOrderings from src/full/Agda/Utils/PartialOrd.hs:413 === | |
| +++ OK, passed 100 tests. | |
| === prop_related_pair from src/full/Agda/Utils/PartialOrd.hs:419 === | |
| +++ OK, passed 100 tests. | |
| === prop_comparable_PartialOrdering from src/full/Agda/Utils/PartialOrd.hs:426 === | |
| +++ OK, passed 100 tests. | |
| Agda.Compiler.MAlonzo.Encode | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Interaction.Highlighting.Emacs | |
| Agda.Interaction.Highlighting.Generate | |
| Agda.Interaction.Highlighting.Precise | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Interaction.Highlighting.Range | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Interaction.Options | |
| +++ OK, passed 1 tests. | |
| Agda.Syntax.Parser.Parser | |
| +++ OK, passed 1 tests. | |
| Agda.Syntax.Position | |
| === prop_iLength from src/full/Agda/Syntax/Position.hs:635 === | |
| +++ OK, passed 100 tests. | |
| === prop_startPos from src/full/Agda/Syntax/Position.hs:638 === | |
| +++ OK, passed 100 tests. | |
| === prop_noRange from src/full/Agda/Syntax/Position.hs:641 === | |
| +++ OK, passed 100 tests. | |
| === prop_takeI_dropI from src/full/Agda/Syntax/Position.hs:644 === | |
| +++ OK, passed 100 tests. | |
| === prop_rangeToInterval from src/full/Agda/Syntax/Position.hs:655 === | |
| +++ OK, passed 100 tests. | |
| === prop_continuous from src/full/Agda/Syntax/Position.hs:662 === | |
| +++ OK, passed 100 tests. | |
| === prop_fuseIntervals from src/full/Agda/Syntax/Position.hs:668 === | |
| +++ OK, passed 100 tests. | |
| === prop_fuseRanges from src/full/Agda/Syntax/Position.hs:676 === | |
| +++ OK, passed 100 tests. | |
| === prop_beginningOf from src/full/Agda/Syntax/Position.hs:682 === | |
| +++ OK, passed 100 tests. | |
| === prop_beginningOfFile from src/full/Agda/Syntax/Position.hs:685 === | |
| +++ OK, passed 100 tests. | |
| === prop_intervalInSameFileAs from src/full/Agda/Syntax/Position.hs:710 === | |
| +++ OK, passed 100 tests. | |
| === prop_positionInvariant from src/full/Agda/Syntax/Position.hs:733 === | |
| +++ OK, passed 100 tests. | |
| === prop_intervalInvariant from src/full/Agda/Syntax/Position.hs:736 === | |
| +++ OK, passed 100 tests. | |
| === prop_rangeInvariant from src/full/Agda/Syntax/Position.hs:739 === | |
| +++ OK, passed 100 tests. | |
| Agda.Termination.CallGraph | |
| Agda.Termination.CallMatrix | |
| Agda.Termination.Order | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Termination.Semiring | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Termination.SparseMatrix | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Termination.Termination | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 1 tests. | |
| Agda.TypeChecking.Tests | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Favorites | |
| === prop_count_empty from src/full/Agda/Utils/Bag.hs:164 === | |
| +++ OK, passed 100 tests. | |
| === prop_count_singleton from src/full/Agda/Utils/Bag.hs:167 === | |
| +++ OK, passed 100 tests. | |
| === prop_count_insert from src/full/Agda/Utils/Bag.hs:170 === | |
| +++ OK, passed 100 tests. | |
| === prop_size_union from src/full/Agda/Utils/Bag.hs:173 === | |
| +++ OK, passed 100 tests. | |
| === prop_size_fromList from src/full/Agda/Utils/Bag.hs:176 === | |
| +++ OK, passed 100 tests. | |
| === prop_fromList_toList from src/full/Agda/Utils/Bag.hs:179 === | |
| +++ OK, passed 100 tests. | |
| === prop_toList_fromList from src/full/Agda/Utils/Bag.hs:182 === | |
| +++ OK, passed 100 tests. | |
| === prop_keys_fromList from src/full/Agda/Utils/Bag.hs:185 === | |
| +++ OK, passed 100 tests. | |
| === prop_nonempty_groups from src/full/Agda/Utils/Bag.hs:188 === | |
| +++ OK, passed 100 tests. | |
| === prop_map_id from src/full/Agda/Utils/Bag.hs:191 === | |
| +++ OK, passed 100 tests. | |
| === prop_map_compose from src/full/Agda/Utils/Bag.hs:194 === | |
| +++ OK, passed 100 tests. | |
| === prop_traverse_id from src/full/Agda/Utils/Bag.hs:198 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.BiMap | |
| === prop_BiMap_invariant from src/full/Agda/Utils/BiMap.hs:92 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Cluster | |
| === prop_cluster_complete from src/full/Agda/Utils/Cluster.hs:66 === | |
| +++ OK, passed 100 tests. | |
| === prop_cluster_sound from src/full/Agda/Utils/Cluster.hs:79 === | |
| +++ OK, passed 100 tests. | |
| === prop_cluster_empty from src/full/Agda/Utils/Cluster.hs:94 === | |
| +++ OK, passed 100 tests. | |
| === prop_cluster_permutation from src/full/Agda/Utils/Cluster.hs:98 === | |
| +++ OK, passed 100 tests. | |
| === prop_cluster_single from src/full/Agda/Utils/Cluster.hs:102 === | |
| +++ OK, passed 100 tests. | |
| === prop_cluster_idem from src/full/Agda/Utils/Cluster.hs:106 === | |
| +++ OK, passed 100 tests. | |
| === prop_two_clusters from src/full/Agda/Utils/Cluster.hs:110 === | |
| +++ OK, passed 100 tests. | |
| === prop_test from src/full/Agda/Utils/Cluster.hs:124 === | |
| +++ OK, passed 100 tests. | |
| === prop_test1 from src/full/Agda/Utils/Cluster.hs:132 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Either | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.FileName | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Graph | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 1 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests: | |
| 64% 1 strongly connected component(s) | |
| 14% 0 strongly connected component(s) | |
| 12% 2 strongly connected component(s) | |
| 6% 3 strongly connected component(s) | |
| 4% >= 4 strongly connected component(s) | |
| Agda.Utils.Graph.AdjacencyMap.Unidirectional | |
| +++ OK, passed 100 tests. | |
| +++ OK, passed 100 tests: | |
| 60% 1 strongly connected component(s) | |
| 23% 0 strongly connected component(s) | |
| 7% 2 strongly connected component(s) | |
| 5% >= 4 strongly connected component(s) | |
| 5% 3 strongly connected component(s) | |
| Agda.Utils.List | |
| === prop_distinct_fastDistinct from src/full/Agda/Utils/List.hs:212 === | |
| +++ OK, passed 100 tests. | |
| === prop_groupBy' from src/full/Agda/Utils/List.hs:242 === | |
| +++ OK, passed 100 tests (65% interesting). | |
| === prop_extractNthElement from src/full/Agda/Utils/List.hs:280 === | |
| +++ OK, passed 100 tests. | |
| === prop_genericElemIndex from src/full/Agda/Utils/List.hs:296 === | |
| +++ OK, passed 100 tests (17% members). | |
| === prop_zipWith' from src/full/Agda/Utils/List.hs:309 === | |
| +++ OK, passed 100 tests. | |
| === prop_uniqOn from src/full/Agda/Utils/List.hs:341 === | |
| +++ OK, passed 100 tests. | |
| === prop_commonPrefix from src/full/Agda/Utils/List.hs:356 === | |
| +++ OK, passed 100 tests. | |
| === prop_commonSuffix from src/full/Agda/Utils/List.hs:364 === | |
| +++ OK, passed 100 tests. | |
| Agda.Utils.Warshall | |
| ==> /usr/local/Cellar/agda/2.4.2.3_2/bin/agda -c --no-main --safe /private/tmp/agda20150724-12041-1i8r17y/simple-test.agda | |
| Checking simple-test (/private/tmp/agda20150724-12041-1i8r17y/simple-test.agda). | |
| Finished simple-test. | |
| Compiling Agda.Primitive in /usr/local/Cellar/agda/2.4.2.3_2/share/x86_64-osx-ghc-7.10.1/Agda-2.4.2.3/lib/prim/Agda/Primitive.agdai to /private/tmp/agda20150724-12041-1i8r17y/MAlonzo/Code/Agda/Primitive.hs | |
| Compiling simple-test in /private/tmp/agda20150724-12041-1i8r17y/simple-test.agdai to /private/tmp/agda20150724-12041-1i8r17y/MAlonzo/Code/QsimpleZ45Ztest.hs | |
| Calling: ghc -O -Werror -i/private/tmp/agda20150724-12041-1i8r17y /private/tmp/agda20150724-12041-1i8r17y/MAlonzo/Code/QsimpleZ45Ztest.hs --make -fwarn-incomplete-patterns -fno-warn-overlapping-patterns | |
| [1 of 3] Compiling MAlonzo.RTE ( MAlonzo/RTE.hs, MAlonzo/RTE.o ) | |
| [2 of 3] Compiling MAlonzo.Code.Agda.Primitive ( MAlonzo/Code/Agda/Primitive.hs, MAlonzo/Code/Agda/Primitive.o ) | |
| [3 of 3] Compiling MAlonzo.Code.QsimpleZ45Ztest ( /private/tmp/agda20150724-12041-1i8r17y/MAlonzo/Code/QsimpleZ45Ztest.hs, /private/tmp/agda20150724-12041-1i8r17y/MAlonzo/Code/QsimpleZ45Ztest.o ) | |
| ==> /usr/local/Cellar/agda/2.4.2.3_2/bin/agda --js --safe /private/tmp/agda20150724-12041-1i8r17y/simple-test.agda | |
| Checking simple-test (/private/tmp/agda20150724-12041-1i8r17y/simple-test.agda). | |
| Finished simple-test. | |
| Compiling Agda.Primitive in /usr/local/Cellar/agda/2.4.2.3_2/share/x86_64-osx-ghc-7.10.1/Agda-2.4.2.3/lib/prim/Agda/Primitive.agdai to /private/tmp/agda20150724-12041-1i8r17y/./jAgda.Agda.Primitive.js | |
| Compiling simple-test in /private/tmp/agda20150724-12041-1i8r17y/simple-test.agdai to /private/tmp/agda20150724-12041-1i8r17y/./jAgda.simple-test.js | |
| balrog:local n$ brew audit agda --strict | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/agda.rb | |
| ==> brew style agda | |
| gem list --installed rubocop -v 0.32.1 | |
| rubocop --format simple --config /usr/local/Library/.rubocop.yml /usr/local/Library/Formula/agda.rb | |
| 1 file inspected, no offenses detected | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/ghc.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/cabal-install.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/gmp.rb | |
| /usr/local/Library/brew.rb (Formulary::FormulaLoader): loading /usr/local/Library/Formula/emacs.rb | |
| ==> audit problems | |
| agda: | |
| * `head` (line 19) should be put before `bottle block` (line 13) | |
| * `head block` (line 33) should be put before `option` (line 21) | |
| Error: 2 problems in 1 formula |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment