Build #2 for scyther-proof-0.10.0.1
| Package | scyther-proof-0.10.0.1 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | 2015-09-27 14:11:39.84985 UTC |
|---|---|
| Compiler | ghc-7.10.2 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | utf8-string-1.0.1.1, uniplate-1.6.12, time-1.5.0.1, tagsoup-0.13.3, safe-0.3.9, process-1.2.3.0, pretty-1.1.2.0, parsec-3.1.9, mtl-2.2.1, json-0.9.1, filepath-1.4.0.0, directory-1.2.2.0, containers-0.5.6.2, cmdargs-0.10.13, base-4.8.1.0, array-0.5.1.0 |
| Flags | threaded |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring cmdargs-0.10.13...
Building cmdargs-0.10.13...
Preprocessing library cmdargs-0.10.13...
[ 1 of 25] Compiling System.Console.CmdArgs.Implicit.Ann ( System/Console/CmdArgs/Implicit/Ann.hs, dist/build/System/Console/CmdArgs/Implicit/Ann.o )
[ 2 of 25] Compiling System.Console.CmdArgs.Implicit.UI ( System/Console/CmdArgs/Implicit/UI.hs, dist/build/System/Console/CmdArgs/Implicit/UI.o )
[ 3 of 25] Compiling System.Console.CmdArgs.Verbosity ( System/Console/CmdArgs/Verbosity.hs, dist/build/System/Console/CmdArgs/Verbosity.o )
[ 4 of 25] Compiling System.Console.CmdArgs.Implicit.Type ( System/Console/CmdArgs/Implicit/Type.hs, dist/build/System/Console/CmdArgs/Implicit/Type.o )
[ 5 of 25] Compiling System.Console.CmdArgs.Explicit.SplitJoin ( System/Console/CmdArgs/Explicit/SplitJoin.hs, dist/build/System/Console/CmdArgs/Explicit/SplitJoin.o )
[ 6 of 25] Compiling System.Console.CmdArgs.Explicit.ExpandArgsAt ( System/Console/CmdArgs/Explicit/ExpandArgsAt.hs, dist/build/System/Console/CmdArgs/Explicit/ExpandArgsAt.o )
[ 7 of 25] Compiling System.Console.CmdArgs.Explicit.Type ( System/Console/CmdArgs/Explicit/Type.hs, dist/build/System/Console/CmdArgs/Explicit/Type.o )
[ 8 of 25] Compiling System.Console.CmdArgs.Explicit.Process ( System/Console/CmdArgs/Explicit/Process.hs, dist/build/System/Console/CmdArgs/Explicit/Process.o )
[ 9 of 25] Compiling System.Console.CmdArgs.Explicit.Complete ( System/Console/CmdArgs/Explicit/Complete.hs, dist/build/System/Console/CmdArgs/Explicit/Complete.o )
[10 of 25] Compiling System.Console.CmdArgs.Helper ( System/Console/CmdArgs/Helper.hs, dist/build/System/Console/CmdArgs/Helper.o )
[11 of 25] Compiling System.Console.CmdArgs.Default ( System/Console/CmdArgs/Default.hs, dist/build/System/Console/CmdArgs/Default.o )
[12 of 25] Compiling System.Console.CmdArgs.Text ( System/Console/CmdArgs/Text.hs, dist/build/System/Console/CmdArgs/Text.o )
[13 of 25] Compiling System.Console.CmdArgs.Explicit.Help ( System/Console/CmdArgs/Explicit/Help.hs, dist/build/System/Console/CmdArgs/Explicit/Help.o )
[14 of 25] Compiling System.Console.CmdArgs.Explicit ( System/Console/CmdArgs/Explicit.hs, dist/build/System/Console/CmdArgs/Explicit.o )
[15 of 25] Compiling System.Console.CmdArgs.GetOpt ( System/Console/CmdArgs/GetOpt.hs, dist/build/System/Console/CmdArgs/GetOpt.o )
[16 of 25] Compiling Data.Generics.Any ( Data/Generics/Any.hs, dist/build/Data/Generics/Any.o )
[17 of 25] Compiling Data.Generics.Any.Prelude ( Data/Generics/Any/Prelude.hs, dist/build/Data/Generics/Any/Prelude.o )
[18 of 25] Compiling System.Console.CmdArgs.Implicit.Reader ( System/Console/CmdArgs/Implicit/Reader.hs, dist/build/System/Console/CmdArgs/Implicit/Reader.o )
[19 of 25] Compiling System.Console.CmdArgs.Annotate ( System/Console/CmdArgs/Annotate.hs, dist/build/System/Console/CmdArgs/Annotate.o )
[20 of 25] Compiling System.Console.CmdArgs.Implicit.Local ( System/Console/CmdArgs/Implicit/Local.hs, dist/build/System/Console/CmdArgs/Implicit/Local.o )
[21 of 25] Compiling System.Console.CmdArgs.Implicit.Reform ( System/Console/CmdArgs/Implicit/Reform.hs, dist/build/System/Console/CmdArgs/Implicit/Reform.o )
[22 of 25] Compiling System.Console.CmdArgs.Implicit.Global ( System/Console/CmdArgs/Implicit/Global.hs, dist/build/System/Console/CmdArgs/Implicit/Global.o )
[23 of 25] Compiling System.Console.CmdArgs.Implicit ( System/Console/CmdArgs/Implicit.hs, dist/build/System/Console/CmdArgs/Implicit.o )
[24 of 25] Compiling System.Console.CmdArgs.Quote ( System/Console/CmdArgs/Quote.hs, dist/build/System/Console/CmdArgs/Quote.o )
[25 of 25] Compiling System.Console.CmdArgs ( System/Console/CmdArgs.hs, dist/build/System/Console/CmdArgs.o )
In-place registering cmdargs-0.10.13...
Running Haddock for cmdargs-0.10.13...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-cmdargs-0.10336465782861021530.13
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/cmdargs-0.10.13-3hFC8irhwwJFnXXtAnMpNG
Registering cmdargs-0.10.13...
Installed cmdargs-0.10.13
Configuring mtl-2.2.1...
Building mtl-2.2.1...
Preprocessing library mtl-2.2.1...
[ 1 of 22] Compiling Control.Monad.Writer.Class ( Control/Monad/Writer/Class.hs, dist/build/Control/Monad/Writer/Class.o )
[ 2 of 22] Compiling Control.Monad.State.Class ( Control/Monad/State/Class.hs, dist/build/Control/Monad/State/Class.o )
[ 3 of 22] Compiling Control.Monad.Reader.Class ( Control/Monad/Reader/Class.hs, dist/build/Control/Monad/Reader/Class.o )
[ 4 of 22] Compiling Control.Monad.RWS.Class ( Control/Monad/RWS/Class.hs, dist/build/Control/Monad/RWS/Class.o )
[ 5 of 22] Compiling Control.Monad.Identity ( Control/Monad/Identity.hs, dist/build/Control/Monad/Identity.o )
[ 6 of 22] Compiling Control.Monad.Error.Class ( Control/Monad/Error/Class.hs, dist/build/Control/Monad/Error/Class.o )
[ 7 of 22] Compiling Control.Monad.Cont.Class ( Control/Monad/Cont/Class.hs, dist/build/Control/Monad/Cont/Class.o )
[ 8 of 22] Compiling Control.Monad.Trans ( Control/Monad/Trans.hs, dist/build/Control/Monad/Trans.o )
[ 9 of 22] Compiling Control.Monad.Error ( Control/Monad/Error.hs, dist/build/Control/Monad/Error.o )
[10 of 22] Compiling Control.Monad.Except ( Control/Monad/Except.hs, dist/build/Control/Monad/Except.o )
[11 of 22] Compiling Control.Monad.List ( Control/Monad/List.hs, dist/build/Control/Monad/List.o )
[12 of 22] Compiling Control.Monad.RWS.Lazy ( Control/Monad/RWS/Lazy.hs, dist/build/Control/Monad/RWS/Lazy.o )
[13 of 22] Compiling Control.Monad.RWS ( Control/Monad/RWS.hs, dist/build/Control/Monad/RWS.o )
[14 of 22] Compiling Control.Monad.Reader ( Control/Monad/Reader.hs, dist/build/Control/Monad/Reader.o )
[15 of 22] Compiling Control.Monad.RWS.Strict ( Control/Monad/RWS/Strict.hs, dist/build/Control/Monad/RWS/Strict.o )
[16 of 22] Compiling Control.Monad.State.Lazy ( Control/Monad/State/Lazy.hs, dist/build/Control/Monad/State/Lazy.o )
[17 of 22] Compiling Control.Monad.State ( Control/Monad/State.hs, dist/build/Control/Monad/State.o )
[18 of 22] Compiling Control.Monad.State.Strict ( Control/Monad/State/Strict.hs, dist/build/Control/Monad/State/Strict.o )
[19 of 22] Compiling Control.Monad.Writer.Lazy ( Control/Monad/Writer/Lazy.hs, dist/build/Control/Monad/Writer/Lazy.o )
[20 of 22] Compiling Control.Monad.Writer ( Control/Monad/Writer.hs, dist/build/Control/Monad/Writer.o )
[21 of 22] Compiling Control.Monad.Writer.Strict ( Control/Monad/Writer/Strict.hs, dist/build/Control/Monad/Writer/Strict.o )
[22 of 22] Compiling Control.Monad.Cont ( Control/Monad/Cont.hs, dist/build/Control/Monad/Cont.o )
In-place registering mtl-2.2.1...
Running Haddock for mtl-2.2.1...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file: /tmp/pkgConf-mtl-2.2200747796289700723.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/mtl-2.2.1-KMpng31YRYc5JfMWFZ3FCU
Registering mtl-2.2.1...
Installed mtl-2.2.1
Configuring safe-0.3.9...
Building safe-0.3.9...
Preprocessing library safe-0.3.9...
[1 of 4] Compiling Safe.Util ( Safe/Util.hs, dist/build/Safe/Util.o )
[2 of 4] Compiling Safe.Exact ( Safe/Exact.hs, dist/build/Safe/Exact.o )
[3 of 4] Compiling Safe.Foldable ( Safe/Foldable.hs, dist/build/Safe/Foldable.o )
[4 of 4] Compiling Safe ( Safe.hs, dist/build/Safe.o )
In-place registering safe-0.3.9...
Running Haddock for safe-0.3.9...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file: /tmp/pkgConf-safe-0.31473442062201305624.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/safe-0.3.9-BXSoeRP9IFG6t9s3abNgVi
Registering safe-0.3.9...
Installed safe-0.3.9
Configuring syb-0.6...
Building syb-0.6...
Preprocessing library syb-0.6...
[ 1 of 16] Compiling Data.Generics.Basics ( src/Data/Generics/Basics.hs, dist/build/Data/Generics/Basics.o )
[ 2 of 16] Compiling Generics.SYB.Basics ( src/Generics/SYB/Basics.hs, dist/build/Generics/SYB/Basics.o )
[ 3 of 16] Compiling Data.Generics.Instances ( src/Data/Generics/Instances.hs, dist/build/Data/Generics/Instances.o )
[ 4 of 16] Compiling Generics.SYB.Instances ( src/Generics/SYB/Instances.hs, dist/build/Generics/SYB/Instances.o )
[ 5 of 16] Compiling Data.Generics.Aliases ( src/Data/Generics/Aliases.hs, dist/build/Data/Generics/Aliases.o )
[ 6 of 16] Compiling Data.Generics.Schemes ( src/Data/Generics/Schemes.hs, dist/build/Data/Generics/Schemes.o )
[ 7 of 16] Compiling Generics.SYB.Schemes ( src/Generics/SYB/Schemes.hs, dist/build/Generics/SYB/Schemes.o )
[ 8 of 16] Compiling Data.Generics.Text ( src/Data/Generics/Text.hs, dist/build/Data/Generics/Text.o )
[ 9 of 16] Compiling Generics.SYB.Text ( src/Generics/SYB/Text.hs, dist/build/Generics/SYB/Text.o )
[10 of 16] Compiling Data.Generics.Twins ( src/Data/Generics/Twins.hs, dist/build/Data/Generics/Twins.o )
[11 of 16] Compiling Generics.SYB.Twins ( src/Generics/SYB/Twins.hs, dist/build/Generics/SYB/Twins.o )
[12 of 16] Compiling Data.Generics.Builders ( src/Data/Generics/Builders.hs, dist/build/Data/Generics/Builders.o )
[13 of 16] Compiling Generics.SYB.Builders ( src/Generics/SYB/Builders.hs, dist/build/Generics/SYB/Builders.o )
[14 of 16] Compiling Generics.SYB.Aliases ( src/Generics/SYB/Aliases.hs, dist/build/Generics/SYB/Aliases.o )
[15 of 16] Compiling Data.Generics ( src/Data/Generics.hs, dist/build/Data/Generics.o )
[16 of 16] Compiling Generics.SYB ( src/Generics/SYB.hs, dist/build/Generics/SYB.o )
In-place registering syb-0.6...
Running Haddock for syb-0.6...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file: /tmp/pkgConf-syb-01065103348625032172.6
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/syb-0.6-2wX6OHAY1mu1En8Oic6xKR
Registering syb-0.6...
Installed syb-0.6
Configuring text-1.2.1.3...
Building text-1.2.1.3...
Preprocessing library text-1.2.1.3...
[ 1 of 44] Compiling Data.Text.Internal.Read ( Data/Text/Internal/Read.hs, dist/build/Data/Text/Internal/Read.o )
Data/Text/Internal/Read.hs:21:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
[ 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 )
Data/Text/Encoding/Error.hs:3:14: Warning:
‘Data.Text.Encoding.Error’ is marked as Trustworthy but has been inferred as safe!
[ 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 )
Data/Text/Lazy/Encoding.hs:65:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[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 )
Data/Text/Internal/Builder.hs:61:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[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 )
Data/Text/Internal/Builder/Functions.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
[40 of 44] Compiling Data.Text.Lazy.Builder.Int ( Data/Text/Lazy/Builder/Int.hs, dist/build/Data/Text/Lazy/Builder/Int.o )
Data/Text/Lazy/Builder/Int.hs:24:1: Warning:
The import of ‘Data.Monoid’ is redundant
except perhaps to import instances from ‘Data.Monoid’
To import instances alone, use: import Data.Monoid()
Data/Text/Lazy/Builder/Int.hs:30:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Text/Lazy/Builder/Int.hs:32:1: Warning:
The import of ‘GHC.Num’ is redundant
except perhaps to import instances from ‘GHC.Num’
To import instances alone, use: import GHC.Num()
[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 )
Data/Text/Lazy/Read.hs:3:14: Warning:
‘Data.Text.Lazy.Read’ is marked as Trustworthy but has been inferred as safe!
Data/Text/Lazy/Read.hs:32:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
[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 )
Data/Text/Read.hs:33:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
In-place registering text-1.2.1.3...
Running Haddock for text-1.2.1.3...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-text-1.2.11277849958777210498.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/text-1.2.1.3-1l1AN4I48k37RaQ6fm6CEh
Registering text-1.2.1.3...
Installed text-1.2.1.3
Configuring utf8-string-1.0.1.1...
Building utf8-string-1.0.1.1...
Preprocessing library utf8-string-1.0.1.1...
[1 of 5] Compiling Codec.Binary.UTF8.String ( Codec/Binary/UTF8/String.hs, dist/build/Codec/Binary/UTF8/String.o )
[2 of 5] Compiling Codec.Binary.UTF8.Generic ( Codec/Binary/UTF8/Generic.hs, dist/build/Codec/Binary/UTF8/Generic.o )
[3 of 5] Compiling Data.String.UTF8 ( Data/String/UTF8.hs, dist/build/Data/String/UTF8.o )
[4 of 5] Compiling Data.ByteString.Lazy.UTF8 ( Data/ByteString/Lazy/UTF8.hs, dist/build/Data/ByteString/Lazy/UTF8.o )
[5 of 5] Compiling Data.ByteString.UTF8 ( Data/ByteString/UTF8.hs, dist/build/Data/ByteString/UTF8.o )
In-place registering utf8-string-1.0.1.1...
Running Haddock for utf8-string-1.0.1.1...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-utf8-string-1.0.11026413173773319847.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/utf8-string-1.0.1.1-HWC8Qen5AZrArJxFQJuE72
Registering utf8-string-1.0.1.1...
Installed utf8-string-1.0.1.1
Configuring hashable-1.2.3.3...
Building hashable-1.2.3.3...
Preprocessing library hashable-1.2.3.3...
[1 of 3] Compiling Data.Hashable.Class ( Data/Hashable/Class.hs, dist/build/Data/Hashable/Class.o )
Data/Hashable/Class.hs:54:1: Warning:
The import of ‘Word’ from module ‘Data.Word’ is redundant
Data/Hashable/Class.hs:218:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:241:11: Warning:
In the use of ‘bitSize’ (imported from Data.Bits):
Deprecated: "Use 'bitSizeMaybe' or 'finiteBitSize' instead"
Data/Hashable/Class.hs:420:28: Warning:
In the use of ‘B.inlinePerformIO’
(imported from Data.ByteString.Internal):
Deprecated: "If you think you know what you are doing, use 'unsafePerformIO'. If you are sure you know what you are doing, use 'unsafeDupablePerformIO'. If you enjoy sharing an address space with a malevolent agent of chaos, try 'accursedUnutterablePerformIO'."
[2 of 3] Compiling Data.Hashable.Generic ( Data/Hashable/Generic.hs, dist/build/Data/Hashable/Generic.o )
Data/Hashable/Generic.hs:20:1: Warning:
The import of ‘Bits’ from module ‘Data.Bits’ is redundant
[3 of 3] Compiling Data.Hashable ( Data/Hashable.hs, dist/build/Data/Hashable.o )
In-place registering hashable-1.2.3.3...
Running Haddock for hashable-1.2.3.3...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-hashable-1.2.3358984857435889744.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/hashable-1.2.3.3-2GTZqecVp8NJZrNuKzGxfy
Registering hashable-1.2.3.3...
Installed hashable-1.2.3.3
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 )
Text/Parsec/Language.hs:44:30: Warning: Tab character
Text/Parsec/Language.hs:45:26: Warning: Tab character
Text/Parsec/Language.hs:46:27: Warning: Tab character
Text/Parsec/Language.hs:58:1: Warning: Tab character
Text/Parsec/Language.hs:58:31: Warning: Tab character
Text/Parsec/Language.hs:59:1: Warning: Tab character
Text/Parsec/Language.hs:59:29: Warning: Tab character
Text/Parsec/Language.hs:60:1: Warning: Tab character
Text/Parsec/Language.hs:60:30: Warning: Tab character
Text/Parsec/Language.hs:61:1: Warning: Tab character
Text/Parsec/Language.hs:62:1: Warning: Tab character
Text/Parsec/Language.hs:62:29: Warning: Tab character
Text/Parsec/Language.hs:63:1: Warning: Tab character
Text/Parsec/Language.hs:63:30: Warning: Tab character
Text/Parsec/Language.hs:64:1: Warning: Tab character
Text/Parsec/Language.hs:65:1: Warning: Tab character
Text/Parsec/Language.hs:67:1: Warning: Tab character
Text/Parsec/Language.hs:109:1: Warning: Tab character
Text/Parsec/Language.hs:109:30: Warning: Tab character
Text/Parsec/Language.hs:110:1: Warning: Tab character
Text/Parsec/Language.hs:110:32: Warning: Tab character
Text/Parsec/Language.hs:111:5: Warning: Tab character
Text/Parsec/Language.hs:112:5: Warning: Tab character
Text/Parsec/Language.hs:113:5: Warning: Tab character
Text/Parsec/Language.hs:114:5: Warning: Tab character
Text/Parsec/Language.hs:146:1: Warning: Tab character
Text/Parsec/Language.hs:147:1: Warning: Tab character
Text/Parsec/Language.hs:148:1: Warning: Tab character
Text/Parsec/Language.hs:150:1: Warning: Tab character
[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...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-parsec-3.116464781791725138377.9
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/parsec-3.1.9-8fSmqig53hOL2SEu1k9Tv0
Registering parsec-3.1.9...
Installed parsec-3.1.9
Configuring tagsoup-0.13.3...
Building tagsoup-0.13.3...
Preprocessing library tagsoup-0.13.3...
[ 1 of 13] Compiling Text.HTML.TagSoup.Entity ( Text/HTML/TagSoup/Entity.hs, dist/build/Text/HTML/TagSoup/Entity.o )
[ 2 of 13] Compiling Text.StringLike ( Text/StringLike.hs, dist/build/Text/StringLike.o )
[ 3 of 13] Compiling Text.HTML.TagSoup.Type ( Text/HTML/TagSoup/Type.hs, dist/build/Text/HTML/TagSoup/Type.o )
[ 4 of 13] Compiling Text.HTML.TagSoup.Match ( Text/HTML/TagSoup/Match.hs, dist/build/Text/HTML/TagSoup/Match.o )
[ 5 of 13] Compiling Text.HTML.TagSoup.Tree ( Text/HTML/TagSoup/Tree.hs, dist/build/Text/HTML/TagSoup/Tree.o )
[ 6 of 13] Compiling Text.HTML.TagSoup.Options ( Text/HTML/TagSoup/Options.hs, dist/build/Text/HTML/TagSoup/Options.o )
[ 7 of 13] Compiling Text.HTML.TagSoup.Implementation ( Text/HTML/TagSoup/Implementation.hs, dist/build/Text/HTML/TagSoup/Implementation.o )
[ 8 of 13] Compiling Text.HTML.TagSoup.Specification ( Text/HTML/TagSoup/Specification.hs, dist/build/Text/HTML/TagSoup/Specification.o )
[ 9 of 13] Compiling Text.HTML.TagSoup.Manual ( Text/HTML/TagSoup/Manual.hs, dist/build/Text/HTML/TagSoup/Manual.o )
[10 of 13] Compiling Text.HTML.TagSoup.Generated ( Text/HTML/TagSoup/Generated.hs, dist/build/Text/HTML/TagSoup/Generated.o )
[11 of 13] Compiling Text.HTML.TagSoup.Render ( Text/HTML/TagSoup/Render.hs, dist/build/Text/HTML/TagSoup/Render.o )
[12 of 13] Compiling Text.HTML.TagSoup.Parser ( Text/HTML/TagSoup/Parser.hs, dist/build/Text/HTML/TagSoup/Parser.o )
[13 of 13] Compiling Text.HTML.TagSoup ( Text/HTML/TagSoup.hs, dist/build/Text/HTML/TagSoup.o )
In-place registering tagsoup-0.13.3...
Running Haddock for tagsoup-0.13.3...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-tagsoup-0.13174515334811742698.3
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/tagsoup-0.13.3-ImwiOxTXDQzEs0zEAu9cq0
Registering tagsoup-0.13.3...
Installed tagsoup-0.13.3
Configuring unordered-containers-0.2.5.1...
Building unordered-containers-0.2.5.1...
Preprocessing library unordered-containers-0.2.5.1...
[1 of 8] Compiling Data.HashMap.UnsafeShift ( Data/HashMap/UnsafeShift.hs, dist/build/Data/HashMap/UnsafeShift.o )
[2 of 8] Compiling Data.HashMap.PopCount ( Data/HashMap/PopCount.hs, dist/build/Data/HashMap/PopCount.o )
[3 of 8] Compiling Data.HashMap.Unsafe ( Data/HashMap/Unsafe.hs, dist/build/Data/HashMap/Unsafe.o )
[4 of 8] Compiling Data.HashMap.Array ( Data/HashMap/Array.hs, dist/build/Data/HashMap/Array.o )
[5 of 8] Compiling Data.HashMap.Base ( Data/HashMap/Base.hs, dist/build/Data/HashMap/Base.o )
Data/HashMap/Base.hs:85:1: Warning:
The import of ‘Data.Functor’ is redundant
except perhaps to import instances from ‘Data.Functor’
To import instances alone, use: import Data.Functor()
[6 of 8] Compiling Data.HashMap.Strict ( Data/HashMap/Strict.hs, dist/build/Data/HashMap/Strict.o )
[7 of 8] Compiling Data.HashMap.Lazy ( Data/HashMap/Lazy.hs, dist/build/Data/HashMap/Lazy.o )
[8 of 8] Compiling Data.HashSet ( Data/HashSet.hs, dist/build/Data/HashSet.o )
In-place registering unordered-containers-0.2.5.1...
Running Haddock for unordered-containers-0.2.5.1...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-unordered-containers-0.2.51030313563580508860.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/unordered-containers-0.2.5.1-7E41cj9RvqSJeZ4jSnbs1a
Registering unordered-containers-0.2.5.1...
Installed unordered-containers-0.2.5.1
Configuring json-0.9.1...
Building json-0.9.1...
Preprocessing library json-0.9.1...
[1 of 7] Compiling Text.JSON.Types ( Text/JSON/Types.hs, dist/build/Text/JSON/Types.o )
[2 of 7] Compiling Text.JSON.String ( Text/JSON/String.hs, dist/build/Text/JSON/String.o )
Text/JSON/String.hs:51:1: Warning:
The import of ‘Control.Applicative’ is redundant
except perhaps to import instances from ‘Control.Applicative’
To import instances alone, use: import Control.Applicative()
Text/JSON/String.hs:176:1: Warning: Tab character
Text/JSON/String.hs:181:1: Warning: Tab character
[3 of 7] Compiling Text.JSON.ReadP ( Text/JSON/ReadP.hs, dist/build/Text/JSON/ReadP.o )
[4 of 7] Compiling Text.JSON.Parsec ( Text/JSON/Parsec.hs, dist/build/Text/JSON/Parsec.o )
[5 of 7] Compiling Text.JSON.Pretty ( Text/JSON/Pretty.hs, dist/build/Text/JSON/Pretty.o )
[6 of 7] Compiling Text.JSON ( Text/JSON.hs, dist/build/Text/JSON.o )
Text/JSON.hs:219:1: Warning: Tab character
Text/JSON.hs:220:1: Warning: Tab character
Text/JSON.hs:221:1: Warning: Tab character
Text/JSON.hs:404:1: Warning: Tab character
Text/JSON.hs:405:1: Warning: Tab character
Text/JSON.hs:406:1: Warning: Tab character
Text/JSON.hs:407:1: Warning: Tab character
Text/JSON.hs:408:1: Warning: Tab character
Text/JSON.hs:409:1: Warning: Tab character
Text/JSON.hs:410:1: Warning: Tab character
Text/JSON.hs:411:1: Warning: Tab character
Text/JSON.hs:443:1: Warning: Tab character
Text/JSON.hs:487:1: Warning: Tab character
Text/JSON.hs:488:1: Warning: Tab character
[7 of 7] Compiling Text.JSON.Generic ( Text/JSON/Generic.hs, dist/build/Text/JSON/Generic.o )
Text/JSON/Generic.hs:110:1: Warning: Tab character
Text/JSON/Generic.hs:120:1: Warning: Tab character
Text/JSON/Generic.hs:135:1: Warning: Tab character
Text/JSON/Generic.hs:139:1: Warning: Tab character
Text/JSON/Generic.hs:166:1: Warning: Tab character
Text/JSON/Generic.hs:167:1: Warning: Tab character
In-place registering json-0.9.1...
Running Haddock for json-0.9.1...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-json-0.916094169311031126087.1
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/json-0.9.1-BZWbu2a2BTV0vyKNayfXOp
Registering json-0.9.1...
Installed json-0.9.1
Configuring uniplate-1.6.12...
Building uniplate-1.6.12...
Preprocessing library uniplate-1.6.12...
[ 1 of 21] Compiling Data.Generics.Uniplate.Data.Instances ( Data/Generics/Uniplate/Data/Instances.hs, dist/build/Data/Generics/Uniplate/Data/Instances.o )
[ 2 of 21] Compiling Data.Generics.Uniplate.Internal.Utils ( Data/Generics/Uniplate/Internal/Utils.hs, dist/build/Data/Generics/Uniplate/Internal/Utils.o )
[ 3 of 21] Compiling Data.Generics.Uniplate ( Data/Generics/Uniplate.hs, dist/build/Data/Generics/Uniplate.o )
[ 4 of 21] Compiling Data.Generics.UniplateOn ( Data/Generics/UniplateOn.hs, dist/build/Data/Generics/UniplateOn.o )
[ 5 of 21] Compiling Data.Generics.Str ( Data/Generics/Str.hs, dist/build/Data/Generics/Str.o )
[ 6 of 21] Compiling Data.Generics.Uniplate.Operations ( Data/Generics/Uniplate/Operations.hs, dist/build/Data/Generics/Uniplate/Operations.o )
[ 7 of 21] Compiling Data.Generics.Compos ( Data/Generics/Compos.hs, dist/build/Data/Generics/Compos.o )
[ 8 of 21] Compiling Data.Generics.SYB ( Data/Generics/SYB.hs, dist/build/Data/Generics/SYB.o )
[ 9 of 21] Compiling Data.Generics.Uniplate.Internal.Data ( Data/Generics/Uniplate/Internal/Data.hs, dist/build/Data/Generics/Uniplate/Internal/Data.o )
[10 of 21] Compiling Data.Generics.Uniplate.Data ( Data/Generics/Uniplate/Data.hs, dist/build/Data/Generics/Uniplate/Data.o )
[11 of 21] Compiling Data.Generics.Uniplate.Internal.DataOnlyOperations ( Data/Generics/Uniplate/Internal/DataOnlyOperations.hs, dist/build/Data/Generics/Uniplate/Internal/DataOnlyOperations.o )
[12 of 21] Compiling Data.Generics.Uniplate.DataOnly ( Data/Generics/Uniplate/DataOnly.hs, dist/build/Data/Generics/Uniplate/DataOnly.o )
[13 of 21] Compiling Data.Generics.Uniplate.Direct ( Data/Generics/Uniplate/Direct.hs, dist/build/Data/Generics/Uniplate/Direct.o )
[14 of 21] Compiling Data.Generics.Uniplate.Typeable ( Data/Generics/Uniplate/Typeable.hs, dist/build/Data/Generics/Uniplate/Typeable.o )
[15 of 21] Compiling Data.Generics.Uniplate.Zipper ( Data/Generics/Uniplate/Zipper.hs, dist/build/Data/Generics/Uniplate/Zipper.o )
[16 of 21] Compiling Data.Generics.UniplateStr ( Data/Generics/UniplateStr.hs, dist/build/Data/Generics/UniplateStr.o )
[17 of 21] Compiling Data.Generics.UniplateStrOn ( Data/Generics/UniplateStrOn.hs, dist/build/Data/Generics/UniplateStrOn.o )
[18 of 21] Compiling Data.Generics.Biplate ( Data/Generics/Biplate.hs, dist/build/Data/Generics/Biplate.o )
[19 of 21] Compiling Data.Generics.PlateDirect ( Data/Generics/PlateDirect.hs, dist/build/Data/Generics/PlateDirect.o )
[20 of 21] Compiling Data.Generics.PlateTypeable ( Data/Generics/PlateTypeable.hs, dist/build/Data/Generics/PlateTypeable.o )
[21 of 21] Compiling Data.Generics.PlateData ( Data/Generics/PlateData.hs, dist/build/Data/Generics/PlateData.o )
In-place registering uniplate-1.6.12...
Running Haddock for uniplate-1.6.12...
cabal: Haddock's internal GHC version must match the configured GHC version.
The GHC version is 7.10.2 but haddock is using GHC version 7.8.3
Creating package registration file:
/tmp/pkgConf-uniplate-1.618876651542118801173.12
Installing library in
/home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.10.2/uniplate-1.6.12-IHxBduwCXWtIKadQ4sGw0I
Registering uniplate-1.6.12...
Installed uniplate-1.6.12
Configuring scyther-proof-0.10.0.1...
Building scyther-proof-0.10.0.1...
Preprocessing executable 'scyther-proof' for scyther-proof-0.10.0.1...
[ 1 of 32] Compiling Scyther.Theory.Lexer ( dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.o )
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:590:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:591:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:592:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:596:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:597:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:601:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:603:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:607:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:609:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:613:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:622:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:636:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:638:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:639:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:640:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:642:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:643:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:644:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:645:5: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:647:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:650:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:651:1: Warning:
Tab character
dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Lexer.hs:652:1: Warning:
Tab character
[ 2 of 32] Compiling Data.Color ( src/Data/Color.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/Color.o )
[ 3 of 32] Compiling Text.Dot ( src/Text/Dot.hs, dist/build/scyther-proof/scyther-proof-tmp/Text/Dot.o )
[ 4 of 32] Compiling Control.Concurrent.ManagedThreads ( src/Control/Concurrent/ManagedThreads.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Concurrent/ManagedThreads.o )
[ 5 of 32] Compiling Control.Monad.Label ( src/Control/Monad/Label.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Monad/Label.o )
[ 6 of 32] Compiling Data.UnionFind ( src/Data/UnionFind.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/UnionFind.o )
[ 7 of 32] Compiling Text.PrettyPrint.Class ( src/Text/PrettyPrint/Class.hs, dist/build/scyther-proof/scyther-proof-tmp/Text/PrettyPrint/Class.o )
[ 8 of 32] Compiling Control.Monad.BoundedDFS ( src/Control/Monad/BoundedDFS.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Monad/BoundedDFS.o )
[ 9 of 32] Compiling Paths_scyther_proof ( dist/build/autogen/Paths_scyther_proof.hs, dist/build/scyther-proof/scyther-proof-tmp/Paths_scyther_proof.o )
[10 of 32] Compiling System.Timing ( src/System/Timing.hs, dist/build/scyther-proof/scyther-proof-tmp/System/Timing.o )
[11 of 32] Compiling System.Isabelle ( src/System/Isabelle.hs, dist/build/scyther-proof/scyther-proof-tmp/System/Isabelle.o )
[12 of 32] Compiling Control.Basics ( src/Control/Basics.hs, dist/build/scyther-proof/scyther-proof-tmp/Control/Basics.o )
[13 of 32] Compiling Extension.Prelude ( src/Extension/Prelude.hs, dist/build/scyther-proof/scyther-proof-tmp/Extension/Prelude.o )
[14 of 32] Compiling Text.Isar ( src/Text/Isar.hs, dist/build/scyther-proof/scyther-proof-tmp/Text/Isar.o )
[15 of 32] Compiling Scyther.Protocol ( src/Scyther/Protocol.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Protocol.o )
[16 of 32] Compiling Scyther.Message ( src/Scyther/Message.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Message.o )
[17 of 32] Compiling Scyther.Equalities ( src/Scyther/Equalities.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Equalities.o )
[18 of 32] Compiling Scyther.Event ( src/Scyther/Event.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Event.o )
[19 of 32] Compiling Data.DAG.Simple ( src/Data/DAG/Simple.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/DAG/Simple.o )
[20 of 32] Compiling Scyther.Typing ( src/Scyther/Typing.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Typing.o )
[21 of 32] Compiling Scyther.Formula ( src/Scyther/Formula.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Formula.o )
[22 of 32] Compiling Scyther.Facts ( src/Scyther/Facts.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Facts.o )
[23 of 32] Compiling Scyther.Sequent ( src/Scyther/Sequent.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Sequent.o )
[24 of 32] Compiling Scyther.Proof ( src/Scyther/Proof.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Proof.o )
[25 of 32] Compiling Scyther.Theory ( src/Scyther/Theory.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory.o )
[26 of 32] Compiling Scyther.GoalFlow ( src/Scyther/GoalFlow.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/GoalFlow.o )
[27 of 32] Compiling Scyther.Theory.Parser ( src/Scyther/Theory/Parser.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Parser.o )
[28 of 32] Compiling Scyther.Theory.Dot ( src/Scyther/Theory/Dot.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Dot.o )
[29 of 32] Compiling Scyther.Theory.Pretty ( src/Scyther/Theory/Pretty.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Pretty.o )
[30 of 32] Compiling Scyther.Theory.Html ( src/Scyther/Theory/Html.hs, dist/build/scyther-proof/scyther-proof-tmp/Scyther/Theory/Html.o )
[31 of 32] Compiling Data.Table ( src/Data/Table.hs, dist/build/scyther-proof/scyther-proof-tmp/Data/Table.o )
[32 of 32] Compiling Main ( src/Main.hs, dist/build/scyther-proof/scyther-proof-tmp/Main.o )
Linking dist/build/scyther-proof/scyther-proof ...
Warning: No documentation was generated as this package does not contain a
library. Perhaps you want to use the --executables, --tests or --benchmarks
flags.
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.
Installed scyther-proof-0.10.0.1
Test log
No test log was submitted for this report.