Build #2 for idris-0.9.8
| Package | idris-0.9.8 |
|---|
| Install | BuildFailed |
|---|---|
| Docs | NotTried |
| Tests | NotTried |
| Time submitted | 2015-06-01 22:34:51.390976 UTC |
|---|---|
| Compiler | ghc-7.8.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | unix-2.7.0.1, transformers-0.3.0.0, text-1.2.1.1, split-0.2.2, process-1.2.0.0, pretty-1.1.1.1, parsec-3.1.9, mtl-2.1.3.1, libffi-0.1, language-java-0.2.7, haskeline-0.7.1.2, filepath-1.3.0.2, directory-1.2.1.0, containers-0.5.5.1, bytestring-0.10.4.0, binary-0.7.1.0, base-4.7.0.1, Cabal-1.18.1.3 |
| Flags | -noeffects -java |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring libffi-0.1...
Building libffi-0.1...
Preprocessing library libffi-0.1...
[1 of 5] Compiling Foreign.LibFFI.Internal ( dist/build/Foreign/LibFFI/Internal.hs, dist/build/Foreign/LibFFI/Internal.o )
[2 of 5] Compiling Foreign.LibFFI.FFITypes ( Foreign/LibFFI/FFITypes.hs, dist/build/Foreign/LibFFI/FFITypes.o )
[3 of 5] Compiling Foreign.LibFFI.Base ( Foreign/LibFFI/Base.hs, dist/build/Foreign/LibFFI/Base.o )
[4 of 5] Compiling Foreign.LibFFI.Types ( Foreign/LibFFI/Types.hs, dist/build/Foreign/LibFFI/Types.o )
[5 of 5] Compiling Foreign.LibFFI ( Foreign/LibFFI.hs, dist/build/Foreign/LibFFI.o )
In-place registering libffi-0.1...
Running Haddock for libffi-0.1...
Running hscolour for libffi-0.1...
Preprocessing library libffi-0.1...
Preprocessing library libffi-0.1...
Haddock coverage:
8% ( 1 / 13) in 'Foreign.LibFFI.Internal'
4% ( 1 / 24) in 'Foreign.LibFFI.FFITypes'
9% ( 1 / 11) in 'Foreign.LibFFI.Base'
28% ( 18 / 65) in 'Foreign.LibFFI.Types'
33% ( 2 / 6) in 'Foreign.LibFFI'
Documentation created: dist/doc/html/libffi/index.html,
dist/doc/html/libffi/libffi.txt
Creating package registration file: /tmp/pkgConf-libffi-028717.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/libffi-0.1
Registering libffi-0.1...
Installed libffi-0.1
Configuring mtl-2.1.3.1...
Building mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
[ 1 of 21] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 21] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 21] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 21] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 21] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 21] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 21] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 21] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 21] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 21] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[11 of 21] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[12 of 21] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[13 of 21] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[14 of 21] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[15 of 21] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[16 of 21] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[17 of 21] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[18 of 21] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[19 of 21] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[20 of 21] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[21 of 21] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.1.3.1...
Running Haddock for mtl-2.1.3.1...
Running hscolour for mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Preprocessing library mtl-2.1.3.1...
Haddock coverage:
75% ( 3 / 4) in 'Control.Monad.Writer.Class'
100% ( 4 / 4) in 'Control.Monad.State.Class'
100% ( 3 / 3) in 'Control.Monad.Reader.Class'
80% ( 4 / 5) in 'Control.Monad.RWS.Class'
100% ( 4 / 4) in 'Control.Monad.Identity'
100% ( 3 / 3) in 'Control.Monad.Error.Class'
50% ( 1 / 2) in 'Control.Monad.Cont.Class'
100% ( 3 / 3) in 'Control.Monad.Trans'
100% ( 14 / 14) in 'Control.Monad.Error'
100% ( 5 / 5) in 'Control.Monad.List'
100% ( 21 / 21) in 'Control.Monad.RWS.Lazy'
100% ( 2 / 2) in 'Control.Monad.RWS'
100% ( 22 / 22) in 'Control.Monad.Reader'
100% ( 21 / 21) in 'Control.Monad.RWS.Strict'
100% ( 23 / 23) in 'Control.Monad.State.Lazy'
100% ( 2 / 2) in 'Control.Monad.State'
100% ( 23 / 23) in 'Control.Monad.State.Strict'
94% ( 17 / 18) in 'Control.Monad.Writer.Lazy'
100% ( 2 / 2) in 'Control.Monad.Writer'
94% ( 17 / 18) in 'Control.Monad.Writer.Strict'
95% ( 20 / 21) in 'Control.Monad.Cont'
Documentation created: dist/doc/html/mtl/index.html, dist/doc/html/mtl/mtl.txt
Creating package registration file: /tmp/pkgConf-mtl-2.1.328717.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/mtl-2.1.3.1
Registering mtl-2.1.3.1...
Installed mtl-2.1.3.1
Configuring split-0.2.2...
Building split-0.2.2...
Preprocessing library split-0.2.2...
[1 of 2] Compiling Data.List.Split.Internals ( src/Data/List/Split/Internals.hs, dist/build/Data/List/Split/Internals.o )
[2 of 2] Compiling Data.List.Split ( src/Data/List/Split.hs, dist/build/Data/List/Split.o )
In-place registering split-0.2.2...
Running Haddock for split-0.2.2...
Running hscolour for split-0.2.2...
Preprocessing library split-0.2.2...
Preprocessing library split-0.2.2...
Haddock coverage:
91% ( 61 / 67) in 'Data.List.Split.Internals'
90% ( 44 / 49) in 'Data.List.Split'
Documentation created: dist/doc/html/split/index.html,
dist/doc/html/split/split.txt
Creating package registration file: /tmp/pkgConf-split-0.228717.2
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/split-0.2.2
Registering split-0.2.2...
Installed split-0.2.2
Configuring text-1.2.1.1...
Building text-1.2.1.1...
Preprocessing library text-1.2.1.1...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
[ 2 of 44] Compiling Data.Text.Internal.Encoding.Utf32 ( Data/Text/Internal/Encoding/Utf32.hs, dist/build/Data/Text/Internal/Encoding/Utf32.o )
[ 3 of 44] Compiling Data.Text.Internal.Builder.RealFloat.Functions ( Data/Text/Internal/Builder/RealFloat/Functions.hs, dist/build/Data/Text/Internal/Builder/RealFloat/Functions.o )
[ 4 of 44] Compiling Data.Text.Internal.Builder.Int.Digits ( Data/Text/Internal/Builder/Int/Digits.hs, dist/build/Data/Text/Internal/Builder/Int/Digits.o )
[ 5 of 44] Compiling Data.Text.Encoding.Error ( Data/Text/Encoding/Error.hs, dist/build/Data/Text/Encoding/Error.o )
[ 6 of 44] Compiling Data.Text.Internal.Unsafe.Shift ( Data/Text/Internal/Unsafe/Shift.hs, dist/build/Data/Text/Internal/Unsafe/Shift.o )
[ 7 of 44] Compiling Data.Text.Internal.Encoding.Utf16 ( Data/Text/Internal/Encoding/Utf16.hs, dist/build/Data/Text/Internal/Encoding/Utf16.o )
[ 8 of 44] Compiling Data.Text.Internal.Functions ( Data/Text/Internal/Functions.hs, dist/build/Data/Text/Internal/Functions.o )
[ 9 of 44] Compiling Data.Text.Internal.Unsafe ( Data/Text/Internal/Unsafe.hs, dist/build/Data/Text/Internal/Unsafe.o )
[10 of 44] Compiling Data.Text.Array ( Data/Text/Array.hs, dist/build/Data/Text/Array.o )
[11 of 44] Compiling Data.Text.Internal.Unsafe.Char ( Data/Text/Internal/Unsafe/Char.hs, dist/build/Data/Text/Internal/Unsafe/Char.o )
[12 of 44] Compiling Data.Text.Internal ( Data/Text/Internal.hs, dist/build/Data/Text/Internal.o )
[13 of 44] Compiling Data.Text.Internal.Fusion.Size ( Data/Text/Internal/Fusion/Size.hs, dist/build/Data/Text/Internal/Fusion/Size.o )
[14 of 44] Compiling Data.Text.Internal.Fusion.Types ( Data/Text/Internal/Fusion/Types.hs, dist/build/Data/Text/Internal/Fusion/Types.o )
[15 of 44] Compiling Data.Text.Internal.Fusion.CaseMapping ( Data/Text/Internal/Fusion/CaseMapping.hs, dist/build/Data/Text/Internal/Fusion/CaseMapping.o )
[16 of 44] Compiling Data.Text.Internal.Fusion.Common ( Data/Text/Internal/Fusion/Common.hs, dist/build/Data/Text/Internal/Fusion/Common.o )
[17 of 44] Compiling Data.Text.Unsafe ( Data/Text/Unsafe.hs, dist/build/Data/Text/Unsafe.o )
[18 of 44] Compiling Data.Text.Internal.Private ( Data/Text/Internal/Private.hs, dist/build/Data/Text/Internal/Private.o )
[19 of 44] Compiling Data.Text.Internal.Fusion ( Data/Text/Internal/Fusion.hs, dist/build/Data/Text/Internal/Fusion.o )
[20 of 44] Compiling Data.Text.Show ( Data/Text/Show.hs, dist/build/Data/Text/Show.o )
[21 of 44] Compiling Data.Text.Internal.Encoding.Fusion.Common ( Data/Text/Internal/Encoding/Fusion/Common.hs, dist/build/Data/Text/Internal/Encoding/Fusion/Common.o )
[22 of 44] Compiling Data.Text.Internal.Encoding.Utf8 ( Data/Text/Internal/Encoding/Utf8.hs, dist/build/Data/Text/Internal/Encoding/Utf8.o )
[23 of 44] Compiling Data.Text.Internal.Encoding.Fusion ( Data/Text/Internal/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Encoding/Fusion.o )
[24 of 44] Compiling Data.Text.Encoding ( Data/Text/Encoding.hs, dist/build/Data/Text/Encoding.o )
[25 of 44] Compiling Data.Text.Internal.Lazy.Encoding.Fusion ( Data/Text/Internal/Lazy/Encoding/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Encoding/Fusion.o )
[26 of 44] Compiling Data.Text.Internal.Search ( Data/Text/Internal/Search.hs, dist/build/Data/Text/Internal/Search.o )
[27 of 44] Compiling Data.Text.Foreign ( Data/Text/Foreign.hs, dist/build/Data/Text/Foreign.o )
[28 of 44] Compiling Data.Text ( Data/Text.hs, dist/build/Data/Text.o )
[29 of 44] Compiling Data.Text.Internal.IO ( Data/Text/Internal/IO.hs, dist/build/Data/Text/Internal/IO.o )
[30 of 44] Compiling Data.Text.IO ( Data/Text/IO.hs, dist/build/Data/Text/IO.o )
[31 of 44] Compiling Data.Text.Internal.Lazy ( Data/Text/Internal/Lazy.hs, dist/build/Data/Text/Internal/Lazy.o )
[32 of 44] Compiling Data.Text.Internal.Lazy.Fusion ( Data/Text/Internal/Lazy/Fusion.hs, dist/build/Data/Text/Internal/Lazy/Fusion.o )
[33 of 44] Compiling Data.Text.Internal.Lazy.Search ( Data/Text/Internal/Lazy/Search.hs, dist/build/Data/Text/Internal/Lazy/Search.o )
[34 of 44] Compiling Data.Text.Lazy.Internal ( Data/Text/Lazy/Internal.hs, dist/build/Data/Text/Lazy/Internal.o )
[35 of 44] Compiling Data.Text.Lazy.Encoding ( Data/Text/Lazy/Encoding.hs, dist/build/Data/Text/Lazy/Encoding.o )
[36 of 44] Compiling Data.Text.Lazy ( Data/Text/Lazy.hs, dist/build/Data/Text/Lazy.o )
[37 of 44] Compiling Data.Text.Internal.Builder ( Data/Text/Internal/Builder.hs, dist/build/Data/Text/Internal/Builder.o )
[38 of 44] Compiling Data.Text.Lazy.Builder ( Data/Text/Lazy/Builder.hs, dist/build/Data/Text/Lazy/Builder.o )
[39 of 44] Compiling Data.Text.Internal.Builder.Functions ( Data/Text/Internal/Builder/Functions.hs, dist/build/Data/Text/Internal/Builder/Functions.o )
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
[41 of 44] Compiling Data.Text.Lazy.IO ( Data/Text/Lazy/IO.hs, dist/build/Data/Text/Lazy/IO.o )
[42 of 44] Compiling Data.Text.Lazy.Read ( Data/Text/Lazy/Read.hs, dist/build/Data/Text/Lazy/Read.o )
[43 of 44] Compiling Data.Text.Lazy.Builder.RealFloat ( Data/Text/Lazy/Builder/RealFloat.hs, dist/build/Data/Text/Lazy/Builder/RealFloat.o )
[44 of 44] Compiling Data.Text.Read ( Data/Text/Read.hs, dist/build/Data/Text/Read.o )
In-place registering text-1.2.1.1...
Running Haddock for text-1.2.1.1...
Running hscolour for text-1.2.1.1...
Preprocessing library text-1.2.1.1...
Preprocessing library text-1.2.1.1...
Haddock coverage:
14% ( 1 / 7) in 'Data.Text.Internal.Read'
50% ( 1 / 2) in 'Data.Text.Internal.Encoding.Utf32'
50% ( 1 / 2) in 'Data.Text.Internal.Builder.RealFloat.Functions'
0% ( 0 / 2) in 'Data.Text.Internal.Builder.Int.Digits'
100% ( 12 / 12) in 'Data.Text.Encoding.Error'
100% ( 2 / 2) in 'Data.Text.Internal.Unsafe.Shift'
25% ( 1 / 4) in 'Data.Text.Internal.Encoding.Utf16'
100% ( 2 / 2) in 'Data.Text.Internal.Functions'
100% ( 3 / 3) in 'Data.Text.Internal.Unsafe'
100% ( 16 / 16) in 'Data.Text.Array'
33% ( 2 / 6) in 'Data.Text.Internal.Unsafe.Char'
95% ( 19 / 20) in 'Data.Text.Internal'
38% ( 5 / 13) in 'Data.Text.Internal.Fusion.Size'
88% ( 7 / 8) in 'Data.Text.Internal.Fusion.Types'
0% ( 0 / 5) in 'Data.Text.Internal.Fusion.CaseMapping'
89% ( 63 / 71) in 'Data.Text.Internal.Fusion.Common'
93% ( 13 / 14) in 'Data.Text.Unsafe'
33% ( 1 / 3) in 'Data.Text.Internal.Private'
91% ( 20 / 22) in 'Data.Text.Internal.Fusion'
100% ( 4 / 4) in 'Data.Text.Show'
33% ( 2 / 6) in 'Data.Text.Internal.Encoding.Fusion.Common'
17% ( 2 / 12) in 'Data.Text.Internal.Encoding.Utf8'
91% ( 10 / 11) in 'Data.Text.Internal.Encoding.Fusion'
100% ( 33 / 33) in 'Data.Text.Encoding'
100% ( 10 / 10) in 'Data.Text.Internal.Lazy.Encoding.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Search'
100% ( 18 / 18) in 'Data.Text.Foreign'
100% (126 /126) in 'Data.Text'
100% ( 3 / 3) in 'Data.Text.Internal.IO'
100% ( 20 / 20) in 'Data.Text.IO'
93% ( 14 / 15) in 'Data.Text.Internal.Lazy'
100% ( 8 / 8) in 'Data.Text.Internal.Lazy.Fusion'
100% ( 2 / 2) in 'Data.Text.Internal.Lazy.Search'
100% ( 2 / 2) in 'Data.Text.Lazy.Internal'
89% ( 24 / 27) in 'Data.Text.Lazy.Encoding'
99% (127 /128) in 'Data.Text.Lazy'
94% ( 16 / 17) in 'Data.Text.Internal.Builder'
100% ( 12 / 12) in 'Data.Text.Lazy.Builder'
100% ( 3 / 3) in 'Data.Text.Internal.Builder.Functions'
0% ( 0 / 3) in 'Data.Text.Lazy.Builder.Int'
100% ( 19 / 19) in 'Data.Text.Lazy.IO'
100% ( 7 / 7) in 'Data.Text.Lazy.Read'
75% ( 3 / 4) in 'Data.Text.Lazy.Builder.RealFloat'
100% ( 7 / 7) in 'Data.Text.Read'
Warning: Data.Text.Internal.Fusion.Common: could not find link destinations for:
Data.Text.Internal.Fusion.Common.findIndicesI
Warning: Data.Text.Unsafe: could not find link destinations for:
GHC.IO.bracket
Warning: Data.Text: could not find link destinations for:
Data.Text.replicateChar Data.Text.countChar
Warning: Data.Text.Internal.IO: could not find link destinations for:
GHC.IO.Handle.Types.Handle__
Warning: Data.Text.Lazy: could not find link destinations for:
Data.Text.Lazy.replicateChar Data.Text.Lazy.dropWords Data.Text.Lazy.splitAtWord Data.Text.Lazy.countChar
Warning: Data.Text.Internal.Builder: could not find link destinations for:
Data.Text.Internal.Builder.empty Data.Text.Internal.Builder.append
Warning: Data.Text.Lazy.Builder.RealFloat: could not find link destinations for:
Data.Text.Lazy.Builder.RealFloat.floatToDigits
Documentation created: dist/doc/html/text/index.html,
dist/doc/html/text/text.txt
Creating package registration file: /tmp/pkgConf-text-1.2.128717.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/text-1.2.1.1
Registering text-1.2.1.1...
Installed text-1.2.1.1
Configuring parsec-3.1.9...
Building parsec-3.1.9...
Preprocessing library parsec-3.1.9...
[ 1 of 25] Compiling Text.Parsec.Pos ( Text/Parsec/Pos.hs, dist/build/Text/Parsec/Pos.o )
[ 2 of 25] Compiling Text.Parsec.Error ( Text/Parsec/Error.hs, dist/build/Text/Parsec/Error.o )
[ 3 of 25] Compiling Text.ParserCombinators.Parsec.Error ( Text/ParserCombinators/Parsec/Error.hs, dist/build/Text/ParserCombinators/Parsec/Error.o )
[ 4 of 25] Compiling Text.Parsec.Prim ( Text/Parsec/Prim.hs, dist/build/Text/Parsec/Prim.o )
[ 5 of 25] Compiling Text.Parsec.Combinator ( Text/Parsec/Combinator.hs, dist/build/Text/Parsec/Combinator.o )
[ 6 of 25] Compiling Text.ParserCombinators.Parsec.Combinator ( Text/ParserCombinators/Parsec/Combinator.hs, dist/build/Text/ParserCombinators/Parsec/Combinator.o )
[ 7 of 25] Compiling Text.Parsec.String ( Text/Parsec/String.hs, dist/build/Text/Parsec/String.o )
[ 8 of 25] Compiling Text.Parsec.ByteString ( Text/Parsec/ByteString.hs, dist/build/Text/Parsec/ByteString.o )
[ 9 of 25] Compiling Text.Parsec.ByteString.Lazy ( Text/Parsec/ByteString/Lazy.hs, dist/build/Text/Parsec/ByteString/Lazy.o )
[10 of 25] Compiling Text.Parsec.Text ( Text/Parsec/Text.hs, dist/build/Text/Parsec/Text.o )
[11 of 25] Compiling Text.Parsec.Text.Lazy ( Text/Parsec/Text/Lazy.hs, dist/build/Text/Parsec/Text/Lazy.o )
[12 of 25] Compiling Text.Parsec.Expr ( Text/Parsec/Expr.hs, dist/build/Text/Parsec/Expr.o )
[13 of 25] Compiling Text.ParserCombinators.Parsec.Prim ( Text/ParserCombinators/Parsec/Prim.hs, dist/build/Text/ParserCombinators/Parsec/Prim.o )
[14 of 25] Compiling Text.ParserCombinators.Parsec.Pos ( Text/ParserCombinators/Parsec/Pos.hs, dist/build/Text/ParserCombinators/Parsec/Pos.o )
[15 of 25] Compiling Text.Parsec.Char ( Text/Parsec/Char.hs, dist/build/Text/Parsec/Char.o )
[16 of 25] Compiling Text.Parsec.Token ( Text/Parsec/Token.hs, dist/build/Text/Parsec/Token.o )
[17 of 25] Compiling Text.ParserCombinators.Parsec.Token ( Text/ParserCombinators/Parsec/Token.hs, dist/build/Text/ParserCombinators/Parsec/Token.o )
[18 of 25] Compiling Text.ParserCombinators.Parsec.Char ( Text/ParserCombinators/Parsec/Char.hs, dist/build/Text/ParserCombinators/Parsec/Char.o )
[19 of 25] Compiling Text.ParserCombinators.Parsec ( Text/ParserCombinators/Parsec.hs, dist/build/Text/ParserCombinators/Parsec.o )
[20 of 25] Compiling Text.ParserCombinators.Parsec.Expr ( Text/ParserCombinators/Parsec/Expr.hs, dist/build/Text/ParserCombinators/Parsec/Expr.o )
[21 of 25] Compiling Text.Parsec ( Text/Parsec.hs, dist/build/Text/Parsec.o )
[22 of 25] Compiling Text.Parsec.Language ( Text/Parsec/Language.hs, dist/build/Text/Parsec/Language.o )
[23 of 25] Compiling Text.ParserCombinators.Parsec.Language ( Text/ParserCombinators/Parsec/Language.hs, dist/build/Text/ParserCombinators/Parsec/Language.o )
[24 of 25] Compiling Text.Parsec.Perm ( Text/Parsec/Perm.hs, dist/build/Text/Parsec/Perm.o )
[25 of 25] Compiling Text.ParserCombinators.Parsec.Perm ( Text/ParserCombinators/Parsec/Perm.hs, dist/build/Text/ParserCombinators/Parsec/Perm.o )
In-place registering parsec-3.1.9...
Running Haddock for parsec-3.1.9...
Running hscolour for parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Preprocessing library parsec-3.1.9...
Haddock coverage:
82% ( 14 / 17) in 'Text.Parsec.Pos'
43% ( 6 / 14) in 'Text.Parsec.Error'
38% ( 6 / 16) in 'Text.ParserCombinators.Parsec.Error'
64% ( 32 / 50) in 'Text.Parsec.Prim'
100% ( 24 / 24) in 'Text.Parsec.Combinator'
100% ( 24 / 24) in 'Text.ParserCombinators.Parsec.Combinator'
50% ( 2 / 4) in 'Text.Parsec.String'
50% ( 2 / 4) in 'Text.Parsec.ByteString'
50% ( 2 / 4) in 'Text.Parsec.ByteString.Lazy'
33% ( 1 / 3) in 'Text.Parsec.Text'
33% ( 1 / 3) in 'Text.Parsec.Text.Lazy'
100% ( 5 / 5) in 'Text.Parsec.Expr'
70% ( 21 / 30) in 'Text.ParserCombinators.Parsec.Prim'
82% ( 14 / 17) in 'Text.ParserCombinators.Parsec.Pos'
100% ( 20 / 20) in 'Text.Parsec.Char'
67% ( 4 / 6) in 'Text.Parsec.Token'
67% ( 4 / 6) in 'Text.ParserCombinators.Parsec.Token'
95% ( 18 / 19) in 'Text.ParserCombinators.Parsec.Char'
83% ( 15 / 18) in 'Text.ParserCombinators.Parsec'
40% ( 2 / 5) in 'Text.ParserCombinators.Parsec.Expr'
78% ( 73 / 94) in 'Text.Parsec'
80% ( 8 / 10) in 'Text.Parsec.Language'
80% ( 8 / 10) in 'Text.ParserCombinators.Parsec.Language'
100% ( 8 / 8) in 'Text.Parsec.Perm'
100% ( 7 / 7) in 'Text.ParserCombinators.Parsec.Perm'
Documentation created: dist/doc/html/parsec/index.html,
dist/doc/html/parsec/parsec.txt
Creating package registration file: /tmp/pkgConf-parsec-3.128717.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/parsec-3.1.9
Registering parsec-3.1.9...
Installed parsec-3.1.9
Configuring polyparse-1.11...
Building polyparse-1.11...
Preprocessing library polyparse-1.11...
[ 1 of 18] Compiling Text.ParserCombinators.Poly.Result ( src/Text/ParserCombinators/Poly/Result.hs, dist/build/Text/ParserCombinators/Poly/Result.o )
[ 2 of 18] Compiling Text.ParserCombinators.Poly.Base ( src/Text/ParserCombinators/Poly/Base.hs, dist/build/Text/ParserCombinators/Poly/Base.o )
[ 3 of 18] Compiling Text.ParserCombinators.Poly.Parser ( src/Text/ParserCombinators/Poly/Parser.hs, dist/build/Text/ParserCombinators/Poly/Parser.o )
[ 4 of 18] Compiling Text.ParserCombinators.Poly.Lazy ( src/Text/ParserCombinators/Poly/Lazy.hs, dist/build/Text/ParserCombinators/Poly/Lazy.o )
[ 5 of 18] Compiling Text.ParserCombinators.Poly.StateParser ( src/Text/ParserCombinators/Poly/StateParser.hs, dist/build/Text/ParserCombinators/Poly/StateParser.o )
[ 6 of 18] Compiling Text.ParserCombinators.Poly.State ( src/Text/ParserCombinators/Poly/State.hs, dist/build/Text/ParserCombinators/Poly/State.o )
[ 7 of 18] Compiling Text.ParserCombinators.Poly.StateLazy ( src/Text/ParserCombinators/Poly/StateLazy.hs, dist/build/Text/ParserCombinators/Poly/StateLazy.o )
[ 8 of 18] Compiling Text.ParserCombinators.Poly.Lex ( src/Text/ParserCombinators/Poly/Lex.hs, dist/build/Text/ParserCombinators/Poly/Lex.o )
[ 9 of 18] Compiling Text.ParserCombinators.Poly.ByteString ( src/Text/ParserCombinators/Poly/ByteString.hs, dist/build/Text/ParserCombinators/Poly/ByteString.o )
[10 of 18] Compiling Text.ParserCombinators.Poly.ByteStringChar ( src/Text/ParserCombinators/Poly/ByteStringChar.hs, dist/build/Text/ParserCombinators/Poly/ByteStringChar.o )
[11 of 18] Compiling Text.Parse.ByteString ( src/Text/Parse/ByteString.hs, dist/build/Text/Parse/ByteString.o )
[12 of 18] Compiling Text.ParserCombinators.Poly.Text ( src/Text/ParserCombinators/Poly/Text.hs, dist/build/Text/ParserCombinators/Poly/Text.o )
[13 of 18] Compiling Text.ParserCombinators.Poly.StateText ( src/Text/ParserCombinators/Poly/StateText.hs, dist/build/Text/ParserCombinators/Poly/StateText.o )
[14 of 18] Compiling Text.ParserCombinators.Poly.Plain ( src/Text/ParserCombinators/Poly/Plain.hs, dist/build/Text/ParserCombinators/Poly/Plain.o )
[15 of 18] Compiling Text.ParserCombinators.Poly ( src/Text/ParserCombinators/Poly.hs, dist/build/Text/ParserCombinators/Poly.o )
[16 of 18] Compiling Text.Parse ( src/Text/Parse.hs, dist/build/Text/Parse.o )
[17 of 18] Compiling Text.ParserCombinators.HuttonMeijerWallace ( src/Text/ParserCombinators/HuttonMeijerWallace.hs, dist/build/Text/ParserCombinators/HuttonMeijerWallace.o )
[18 of 18] Compiling Text.ParserCombinators.HuttonMeijer ( src/Text/ParserCombinators/HuttonMeijer.hs, dist/build/Text/ParserCombinators/HuttonMeijer.o )
In-place registering polyparse-1.11...
Running Haddock for polyparse-1.11...
Running hscolour for polyparse-1.11...
Preprocessing library polyparse-1.11...
Preprocessing library polyparse-1.11...
Haddock coverage:
75% ( 3 / 4) in 'Text.ParserCombinators.Poly.Result'
96% ( 23 / 24) in 'Text.ParserCombinators.Poly.Base'
100% ( 12 / 12) in 'Text.ParserCombinators.Poly.Parser'
94% ( 15 / 16) in 'Text.ParserCombinators.Poly.Lazy'
100% ( 15 / 15) in 'Text.ParserCombinators.Poly.StateParser'
95% ( 18 / 19) in 'Text.ParserCombinators.Poly.State'
90% ( 18 / 20) in 'Text.ParserCombinators.Poly.StateLazy'
100% ( 16 / 16) in 'Text.ParserCombinators.Poly.Lex'
94% ( 16 / 17) in 'Text.ParserCombinators.Poly.ByteString'
94% ( 16 / 17) in 'Text.ParserCombinators.Poly.ByteStringChar'
97% ( 30 / 31) in 'Text.Parse.ByteString'
94% ( 17 / 18) in 'Text.ParserCombinators.Poly.Text'
95% ( 21 / 22) in 'Text.ParserCombinators.Poly.StateText'
94% ( 15 / 16) in 'Text.ParserCombinators.Poly.Plain'
50% ( 1 / 2) in 'Text.ParserCombinators.Poly'
72% ( 21 / 29) in 'Text.Parse'
77% ( 24 / 31) in 'Text.ParserCombinators.HuttonMeijerWallace'
6% ( 2 / 36) in 'Text.ParserCombinators.HuttonMeijer'
Warning: Text.ParserCombinators.HuttonMeijerWallace: could not find link destinations for:
Text.ParserCombinators.HuttonMeijerWallace.ParseResult
Warning: Text.ParserCombinators.HuttonMeijer: could not find link destinations for:
Text.ParserCombinators.HuttonMeijer.Token
Documentation created: dist/doc/html/polyparse/index.html,
dist/doc/html/polyparse/polyparse.txt
Creating package registration file: /tmp/pkgConf-polyparse-128717.11
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/polyparse-1.11
Registering polyparse-1.11...
Installed polyparse-1.11
Configuring cpphs-1.19...
Building cpphs-1.19...
Preprocessing library cpphs-1.19...
[ 1 of 11] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/Language/Preprocessor/Cpphs/HashDefine.o )
[ 2 of 11] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/Language/Preprocessor/Cpphs/SymTab.o )
[ 3 of 11] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/Language/Preprocessor/Unlit.o )
[ 4 of 11] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/Language/Preprocessor/Cpphs/Options.o )
[ 5 of 11] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/Language/Preprocessor/Cpphs/Position.o )
[ 6 of 11] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/Language/Preprocessor/Cpphs/Tokenise.o )
[ 7 of 11] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/Language/Preprocessor/Cpphs/MacroPass.o )
[ 8 of 11] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 9 of 11] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/Language/Preprocessor/Cpphs/CppIfdef.o )
[10 of 11] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/Language/Preprocessor/Cpphs/RunCpphs.o )
[11 of 11] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/Language/Preprocessor/Cpphs.o )
In-place registering cpphs-1.19...
Preprocessing executable 'cpphs' for cpphs-1.19...
[ 1 of 12] Compiling Language.Preprocessor.Cpphs.SymTab ( Language/Preprocessor/Cpphs/SymTab.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/SymTab.o )
[ 2 of 12] Compiling Language.Preprocessor.Cpphs.Position ( Language/Preprocessor/Cpphs/Position.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Position.o )
[ 3 of 12] Compiling Language.Preprocessor.Cpphs.ReadFirst ( Language/Preprocessor/Cpphs/ReadFirst.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/ReadFirst.o )
[ 4 of 12] Compiling Language.Preprocessor.Cpphs.Options ( Language/Preprocessor/Cpphs/Options.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Options.o )
[ 5 of 12] Compiling Language.Preprocessor.Cpphs.HashDefine ( Language/Preprocessor/Cpphs/HashDefine.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/HashDefine.o )
[ 6 of 12] Compiling Language.Preprocessor.Cpphs.Tokenise ( Language/Preprocessor/Cpphs/Tokenise.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/Tokenise.o )
[ 7 of 12] Compiling Language.Preprocessor.Cpphs.MacroPass ( Language/Preprocessor/Cpphs/MacroPass.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/MacroPass.o )
[ 8 of 12] Compiling Language.Preprocessor.Cpphs.CppIfdef ( Language/Preprocessor/Cpphs/CppIfdef.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/CppIfdef.o )
[ 9 of 12] Compiling Language.Preprocessor.Unlit ( Language/Preprocessor/Unlit.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Unlit.o )
[10 of 12] Compiling Language.Preprocessor.Cpphs.RunCpphs ( Language/Preprocessor/Cpphs/RunCpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs/RunCpphs.o )
[11 of 12] Compiling Language.Preprocessor.Cpphs ( Language/Preprocessor/Cpphs.hs, dist/build/cpphs/cpphs-tmp/Language/Preprocessor/Cpphs.o )
[12 of 12] Compiling Main ( cpphs.hs, dist/build/cpphs/cpphs-tmp/Main.o )
Linking dist/build/cpphs/cpphs ...
Running Haddock for cpphs-1.19...
Running hscolour for cpphs-1.19...
Preprocessing library cpphs-1.19...
Preprocessing executable 'cpphs' for cpphs-1.19...
Preprocessing library cpphs-1.19...
Haddock coverage:
83% ( 5 / 6) in 'Language.Preprocessor.Cpphs.HashDefine'
33% ( 3 / 9) in 'Language.Preprocessor.Cpphs.SymTab'
100% ( 2 / 2) in 'Language.Preprocessor.Unlit'
100% ( 7 / 7) in 'Language.Preprocessor.Cpphs.Options'
100% ( 15 / 15) in 'Language.Preprocessor.Cpphs.Position'
86% ( 6 / 7) in 'Language.Preprocessor.Cpphs.Tokenise'
100% ( 5 / 5) in 'Language.Preprocessor.Cpphs.MacroPass'
100% ( 2 / 2) in 'Language.Preprocessor.Cpphs.ReadFirst'
100% ( 2 / 2) in 'Language.Preprocessor.Cpphs.CppIfdef'
0% ( 0 / 5) in 'Language.Preprocessor.Cpphs.RunCpphs'
86% ( 25 / 29) in 'Language.Preprocessor.Cpphs'
Warning: Language.Preprocessor.Cpphs: could not find link destinations for:
Language.Preprocessor.Cpphs.HashDefine.HashDefine
Documentation created: dist/doc/html/cpphs/index.html,
dist/doc/html/cpphs/cpphs.txt
Preprocessing executable 'cpphs' for cpphs-1.19...
Creating package registration file: /tmp/pkgConf-cpphs-128717.19
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/cpphs-1.19
Installing executable(s) in
/home/builder/hackage-server/build-cache/tmp-install/bin
Warning: The directory
/home/builder/hackage-server/build-cache/tmp-install/bin is not in the system
search path.
Registering cpphs-1.19...
Installed cpphs-1.19
Configuring language-java-0.2.7...
Building language-java-0.2.7...
Preprocessing library language-java-0.2.7...
[1 of 4] Compiling Language.Java.Syntax ( Language/Java/Syntax.hs, dist/build/Language/Java/Syntax.o )
[2 of 4] Compiling Language.Java.Pretty ( Language/Java/Pretty.hs, dist/build/Language/Java/Pretty.o )
[3 of 4] Compiling Language.Java.Lexer ( dist/build/Language/Java/Lexer.hs, dist/build/Language/Java/Lexer.o )
[4 of 4] Compiling Language.Java.Parser ( Language/Java/Parser.hs, dist/build/Language/Java/Parser.o )
In-place registering language-java-0.2.7...
Running Haddock for language-java-0.2.7...
Running hscolour for language-java-0.2.7...
Preprocessing library language-java-0.2.7...
Preprocessing library language-java-0.2.7...
Haddock coverage:
94% ( 49 / 52) in 'Language.Java.Syntax'
0% ( 0 / 66) in 'Language.Java.Pretty'
0% ( 0 / 4) in 'Language.Java.Lexer'
0% ( 0 / 47) in 'Language.Java.Parser'
Warning: Language.Java.Lexer: could not find link destinations for:
Language.Java.Lexer.Pos
Warning: Language.Java.Parser: could not find link destinations for:
Language.Java.Parser.P Language.Java.Parser.Mod
Documentation created: dist/doc/html/language-java/index.html,
dist/doc/html/language-java/language-java.txt
Creating package registration file: /tmp/pkgConf-language-java-0.228717.7
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/language-java-0.2.7
Registering language-java-0.2.7...
Installed language-java-0.2.7
Downloading idris-0.9.8...
[1 of 1] Compiling Main ( /tmp/idris-0.9.8-28717/idris-0.9.8/dist/setup/setup.hs, /tmp/idris-0.9.8-28717/idris-0.9.8/dist/setup/Main.o )
Linking /tmp/idris-0.9.8-28717/idris-0.9.8/dist/setup/setup ...
Configuring idris-0.9.8...
make: Entering directory `/tmp/idris-0.9.8-28717/idris-0.9.8/rts'
rm -f idris_rts.o idris_heap.o idris_gc.o idris_gmp.o idris_stdfgn.o idris_bitstring.o idris_opts.o idris_stats.o libidris_rts.a
make: Leaving directory `/tmp/idris-0.9.8-28717/idris-0.9.8/rts'
Building idris-0.9.8...
Preprocessing executable 'idris' for idris-0.9.8...
[ 1 of 56] Compiling Idris.IdeSlave ( src/Idris/IdeSlave.hs, dist/build/idris/idris-tmp/Idris/IdeSlave.o )
[ 2 of 56] Compiling Idris.Help ( src/Idris/Help.hs, dist/build/idris/idris-tmp/Idris/Help.o )
[ 3 of 56] Compiling Util.Pretty ( src/Util/Pretty.hs, dist/build/idris/idris-tmp/Util/Pretty.o )
[ 4 of 56] Compiling Paths_idris ( dist/build/autogen/Paths_idris.hs, dist/build/idris/idris-tmp/Paths_idris.o )
[ 5 of 56] Compiling Util.DynamicLinker ( src/Util/DynamicLinker.hs, dist/build/idris/idris-tmp/Util/DynamicLinker.o )
[ 6 of 56] Compiling Util.System ( src/Util/System.hs, dist/build/idris/idris-tmp/Util/System.o )
[ 7 of 56] Compiling Core.TT ( src/Core/TT.hs, dist/build/idris/idris-tmp/Core/TT.o )
src/Core/TT.hs:146:10: Warning:
‘TC’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
src/Core/TT.hs:160:10: Warning:
‘TC’ is an instance of MonadPlus but not Alternative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[ 8 of 56] Compiling Core.Constraints ( src/Core/Constraints.hs, dist/build/idris/idris-tmp/Core/Constraints.o )
[ 9 of 56] Compiling IRTS.Lang ( src/IRTS/Lang.hs, dist/build/idris/idris-tmp/IRTS/Lang.o )
[10 of 56] Compiling IRTS.Defunctionalise ( src/IRTS/Defunctionalise.hs, dist/build/idris/idris-tmp/IRTS/Defunctionalise.o )
[11 of 56] Compiling IRTS.Simplified ( src/IRTS/Simplified.hs, dist/build/idris/idris-tmp/IRTS/Simplified.o )
[12 of 56] Compiling IRTS.CodegenCommon ( src/IRTS/CodegenCommon.hs, dist/build/idris/idris-tmp/IRTS/CodegenCommon.o )
[13 of 56] Compiling Core.CaseTree ( src/Core/CaseTree.hs, dist/build/idris/idris-tmp/Core/CaseTree.o )
[14 of 56] Compiling Core.Evaluate ( src/Core/Evaluate.hs, dist/build/idris/idris-tmp/Core/Evaluate.o )
[15 of 56] Compiling Core.Typecheck ( src/Core/Typecheck.hs, dist/build/idris/idris-tmp/Core/Typecheck.o )
[16 of 56] Compiling Core.Unify ( src/Core/Unify.hs, dist/build/idris/idris-tmp/Core/Unify.o )
[17 of 56] Compiling Core.ProofState ( src/Core/ProofState.hs, dist/build/idris/idris-tmp/Core/ProofState.o )
[18 of 56] Compiling Core.Elaborate ( src/Core/Elaborate.hs, dist/build/idris/idris-tmp/Core/Elaborate.o )
[19 of 56] Compiling Idris.AbsSyntaxTree ( src/Idris/AbsSyntaxTree.hs, dist/build/idris/idris-tmp/Idris/AbsSyntaxTree.o )
[20 of 56] Compiling Idris.AbsSyntax ( src/Idris/AbsSyntax.hs, dist/build/idris/idris-tmp/Idris/AbsSyntax.o )
src/Idris/AbsSyntax.hs:1128:10: Warning:
‘EitherErr’ is an instance of Monad but not Applicative - this will become an error in GHC 7.10, under the Applicative-Monad Proposal.
[21 of 56] Compiling Idris.Imports ( src/Idris/Imports.hs, dist/build/idris/idris-tmp/Idris/Imports.o )
[22 of 56] Compiling Idris.Delaborate ( src/Idris/Delaborate.hs, dist/build/idris/idris-tmp/Idris/Delaborate.o )
[23 of 56] Compiling Idris.Error ( src/Idris/Error.hs, dist/build/idris/idris-tmp/Idris/Error.o )
[24 of 56] Compiling Idris.Compiler ( src/Idris/Compiler.hs, dist/build/idris/idris-tmp/Idris/Compiler.o )
[25 of 56] Compiling Idris.Coverage ( src/Idris/Coverage.hs, dist/build/idris/idris-tmp/Idris/Coverage.o )
[26 of 56] Compiling Idris.UnusedArgs ( src/Idris/UnusedArgs.hs, dist/build/idris/idris-tmp/Idris/UnusedArgs.o )
[27 of 56] Compiling Idris.Docs ( src/Idris/Docs.hs, dist/build/idris/idris-tmp/Idris/Docs.o )
[28 of 56] Compiling Core.Execute ( src/Core/Execute.hs, dist/build/idris/idris-tmp/Core/Execute.o )
[29 of 56] Compiling IRTS.Bytecode ( src/IRTS/Bytecode.hs, dist/build/idris/idris-tmp/IRTS/Bytecode.o )
[30 of 56] Compiling IRTS.CodegenC ( src/IRTS/CodegenC.hs, dist/build/idris/idris-tmp/IRTS/CodegenC.o )
[31 of 56] Compiling IRTS.CodegenJavaScript ( src/IRTS/CodegenJavaScript.hs, dist/build/idris/idris-tmp/IRTS/CodegenJavaScript.o )
[32 of 56] Compiling IRTS.BCImp ( src/IRTS/BCImp.hs, dist/build/idris/idris-tmp/IRTS/BCImp.o )
[33 of 56] Compiling IRTS.CodegenJava ( src/IRTS/CodegenJava.hs, dist/build/idris/idris-tmp/IRTS/CodegenJava.o )
src/IRTS/CodegenJava.hs:603:48:
Couldn't match expected type ‘[Exp]’ with actual type ‘Exp’
In the second argument of ‘ArrayIndex’, namely
‘(Lit $ Int (toInteger pos))’
In the second argument of ‘($)’, namely
‘ArrayIndex
(ExpName $ J.Name [Ident "context"]) (Lit $ Int (toInteger pos))’
In the first argument of ‘Assign’, namely
‘(ArrayLhs
$ ArrayIndex
(ExpName $ J.Name [Ident "context"]) (Lit $ Int (toInteger pos)))’
src/IRTS/CodegenJava.hs:752:57:
Couldn't match expected type ‘[Exp]’ with actual type ‘Exp’
In the second argument of ‘ArrayIndex’, namely
‘(Lit $ Int (toInteger pos))’
In the second argument of ‘($)’, namely
‘ArrayIndex
(ExpName $ J.Name [Ident "new_context"])
(Lit $ Int (toInteger pos))’
In the first argument of ‘Assign’, namely
‘(ArrayLhs
$ ArrayIndex
(ExpName $ J.Name [Ident "new_context"])
(Lit $ Int (toInteger pos)))’
src/IRTS/CodegenJava.hs:788:39:
Couldn't match expected type ‘[Exp]’ with actual type ‘Exp’
In the second argument of ‘ArrayIndex’, namely
‘(Lit $ Int (toInteger memberNr))’
In the second argument of ‘($)’, namely
‘ArrayIndex
(MethodInv $ PrimaryMethodCall (var) [] (Ident "getData") [])
(Lit $ Int (toInteger memberNr))’
In the expression:
ArrayAccess
$ ArrayIndex
(MethodInv $ PrimaryMethodCall (var) [] (Ident "getData") [])
(Lit $ Int (toInteger memberNr))
src/IRTS/CodegenJava.hs:931:58:
Couldn't match expected type ‘[Exp]’ with actual type ‘Exp’
In the second argument of ‘ArrayIndex’, namely ‘(Lit $ Int pos)’
In the second argument of ‘($)’, namely
‘ArrayIndex (contextArray var) (Lit $ Int pos)’
In the expression:
ArrayAccess $ ArrayIndex (contextArray var) (Lit $ Int pos)
src/IRTS/CodegenJava.hs:1246:70:
Couldn't match expected type ‘[Exp]’ with actual type ‘Exp’
In the second argument of ‘ArrayIndex’, namely ‘(Lit $ Int varPos)’
In the second argument of ‘($)’, namely
‘ArrayIndex (contextArray var) (Lit $ Int varPos)’
In the first argument of ‘Assign’, namely
‘(ArrayLhs $ ArrayIndex (contextArray var) (Lit $ Int varPos))’
Failed to install idris-0.9.8
cabal: Error: some packages failed to install:
idris-0.9.8 failed during the building phase. The exception was:
ExitFailure 1
Test log
No test log was submitted for this report.