Build #1 for sequent-core-0.2.0.1
Package | sequent-core-0.2.0.1 |
---|
Install | InstallOk |
---|---|
Docs | Ok |
Tests | NotTried |
Time submitted | 2015-01-30 01:55:13.990236 UTC |
---|---|
Compiler | ghc-7.8.3 |
OS | linux |
Arch | x86_64 |
Dependencies | transformers-0.3.0.0, ghc-7.8.3, containers-0.5.5.1, base-4.7.0.1 |
Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies... Downloading sequent-core-0.2.0.1... Configuring sequent-core-0.2.0.1... Building sequent-core-0.2.0.1... Preprocessing library sequent-core-0.2.0.1... [ 1 of 13] Compiling Language.SequentCore.Util ( src/Language/SequentCore/Util.hs, dist/build/Language/SequentCore/Util.o ) [ 2 of 13] Compiling Language.SequentCore.Simpl.Monad ( src/Language/SequentCore/Simpl/Monad.hs, dist/build/Language/SequentCore/Simpl/Monad.o ) src/Language/SequentCore/Simpl/Monad.hs:8:1: Warning: The import of ‘Outputable’ is redundant except perhaps to import instances from ‘Outputable’ To import instances alone, use: import Outputable() [ 3 of 13] Compiling Language.SequentCore.Syntax[boot] ( src/Language/SequentCore/Syntax.hs-boot, dist/build/Language/SequentCore/Syntax.o-boot ) [ 4 of 13] Compiling Language.SequentCore.Translate[boot] ( src/Language/SequentCore/Translate.hs-boot, dist/build/Language/SequentCore/Translate.o-boot ) [ 5 of 13] Compiling Language.SequentCore.Syntax ( src/Language/SequentCore/Syntax.hs, dist/build/Language/SequentCore/Syntax.o ) [ 6 of 13] Compiling Language.SequentCore.Pretty ( src/Language/SequentCore/Pretty.hs, dist/build/Language/SequentCore/Pretty.o ) [ 7 of 13] Compiling Language.SequentCore.Translate ( src/Language/SequentCore/Translate.hs, dist/build/Language/SequentCore/Translate.o ) [ 8 of 13] Compiling Language.SequentCore.Plugin ( src/Language/SequentCore/Plugin.hs, dist/build/Language/SequentCore/Plugin.o ) [ 9 of 13] Compiling Language.SequentCore.Dump ( src/Language/SequentCore/Dump.hs, dist/build/Language/SequentCore/Dump.o ) [10 of 13] Compiling Language.SequentCore.Simpl.Env ( src/Language/SequentCore/Simpl/Env.hs, dist/build/Language/SequentCore/Simpl/Env.o ) [11 of 13] Compiling Language.SequentCore.Simpl ( src/Language/SequentCore/Simpl.hs, dist/build/Language/SequentCore/Simpl.o ) [12 of 13] Compiling Language.SequentCore.SpecConstr ( src/Language/SequentCore/SpecConstr.hs, dist/build/Language/SequentCore/SpecConstr.o ) [13 of 13] Compiling Language.SequentCore ( src/Language/SequentCore.hs, dist/build/Language/SequentCore.o ) In-place registering sequent-core-0.2.0.1... Preprocessing executable 'DumpExpl' for sequent-core-0.2.0.1... [1 of 1] Compiling Main ( examples/Example.hs, dist/build/DumpExpl/DumpExpl-tmp/Main.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.18.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package ghc-7.8.3 ... linking ... done. Loading package sequent-core-0.2.0.1 ... linking ... done. Main.fib :: forall a a. (GHC.Num.Num a, GHC.Num.Num a, GHC.Classes.Eq a) => a -> a [LclIdX, Str=DmdType] Main.fib = \ (@ a) (@ a) ($dNum_a164 :: GHC.Num.Num a) ($dNum_a165 :: GHC.Num.Num a) ($dEq_a166 :: GHC.Classes.Eq a) -> let { rec { fib [Occ=LoopBreaker] :: a -> a [LclId, Str=DmdType] fib = \ (ds_d1at :: a) -> <GHC.Classes.== | $ @ a ; $ $dEq_a166 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 0 > ; case of _ [Occ=Dead] { GHC.Types.False -> <\ _ [Occ=Dead, OS=OneShot] -> <GHC.Classes.== | $ @ a ; $ $dEq_a166 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 1 > ; case of _ [Occ=Dead] { GHC.Types.False -> <\ _ [Occ=Dead, OS=OneShot] -> <GHC.Num.+ | $ @ a ; $ $dNum_a164 ; $ <fib | $ <GHC.Num.- | $ @ a ; $ $dNum_a165 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 1 > > > ; $ <fib | $ <GHC.Num.- | $ @ a ; $ $dNum_a165 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 2 > > > > | $ GHC.Prim.void# > ; GHC.Types.True -> <GHC.Num.fromInteger | $ @ a ; $ $dNum_a164 ; $ __integer 1 > } > | $ GHC.Prim.void# > ; GHC.Types.True -> <GHC.Num.fromInteger | $ @ a ; $ $dNum_a164 ; $ __integer 0 > } > } } in fib Main.fibs :: [GHC.Integer.Type.Integer] [LclIdX, Str=DmdType] Main.fibs = let { rec { fibs [Occ=LoopBreaker] :: [GHC.Integer.Type.Integer] [LclId, Str=DmdType] fibs = : (@ GHC.Integer.Type.Integer) (__integer 0) (: (@ GHC.Integer.Type.Integer) (__integer 1) <GHC.List.zipWith | $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ <GHC.Num.+ | $ @ GHC.Integer.Type.Integer ; $ GHC.Num.$fNumInteger > ; $ fibs ; $ <GHC.List.tail | $ @ GHC.Integer.Type.Integer ; $ fibs > >) } } in fibs Main.main :: GHC.Types.IO () [LclIdX, Str=DmdType] Main.main = <GHC.Classes.== | $ @ GHC.Integer.Type.Integer ; $ GHC.Integer.Type.$fEqInteger ; $ <Main.fib | $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ GHC.Num.$fNumInteger ; $ GHC.Num.$fNumInteger ; $ GHC.Integer.Type.$fEqInteger ; $ __integer 10 > ; $ <GHC.List.!! | $ @ GHC.Integer.Type.Integer ; $ Main.fibs ; $ GHC.Types.I# 10 > ; case of _ [Occ=Dead] { GHC.Types.False -> <System.IO.putStrLn | $ <GHC.CString.unpackCString# | $ "Boo!"# > > ; GHC.Types.True -> <System.IO.putStrLn | $ <GHC.CString.unpackCString# | $ "Yay!"# > > } > rec { Main.f [Occ=LoopBreaker] :: GHC.Types.Int -> GHC.Types.Int [LclIdX, Str=DmdType] Main.f = \ (x :: GHC.Types.Int) -> <GHC.Classes.> | $ @ GHC.Integer.Type.Integer ; $ GHC.Integer.Type.$fOrdInteger ; $ <Main.fib | $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ GHC.Num.$fNumInteger ; $ GHC.Num.$fNumInteger ; $ GHC.Integer.Type.$fEqInteger ; $ __integer 100 > ; $ __integer 10 ; case of _ [Occ=Dead] { GHC.Types.False -> GHC.Types.I# 0 ; GHC.Types.True -> <Main.f | $ <GHC.Num.+ | $ @ GHC.Types.Int ; $ GHC.Num.$fNumInt ; $ x ; $ GHC.Types.I# 1 > > } > } Main.sum :: [GHC.Types.Int] -> GHC.Types.Int [LclIdX, Str=DmdType] Main.sum = let { rec { sum' [Occ=LoopBreaker] :: GHC.Types.Int -> [GHC.Types.Int] -> GHC.Types.Int [LclId, Str=DmdType] sum' = \ (a :: GHC.Types.Int) (ds_d1as :: [GHC.Types.Int]) -> <ds_d1as | case of _ [Occ=Dead] { [] -> a ; : x xs -> <sum' | $ <GHC.Num.+ | $ @ GHC.Types.Int ; $ GHC.Num.$fNumInt ; $ a ; $ x > ; $ xs > } > } } in <sum' | $ GHC.Types.I# 0 > :Main.main :: GHC.Types.IO () [LclIdX, Str=DmdType] :Main.main = <GHC.TopHandler.runMainIO | $ @ () ; $ Main.main > [1 of 1] Compiling Main ( examples/Example.hs, dist/build/DumpExpl/DumpExpl-tmp/Main.o ) [Language.SequentCore.Dump changed] Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.18.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package ghc-7.8.3 ... linking ... done. Loading package sequent-core-0.2.0.1 ... linking ... done. Main.fib :: forall a a. (GHC.Num.Num a, GHC.Num.Num a, GHC.Classes.Eq a) => a -> a [LclIdX, Str=DmdType] Main.fib = \ (@ a) (@ a) ($dNum_a164 :: GHC.Num.Num a) ($dNum_a165 :: GHC.Num.Num a) ($dEq_a166 :: GHC.Classes.Eq a) -> let { rec { fib [Occ=LoopBreaker] :: a -> a [LclId, Str=DmdType] fib = \ (ds_d1at :: a) -> <GHC.Classes.== | $ @ a ; $ $dEq_a166 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 0 > ; case of _ [Occ=Dead] { GHC.Types.False -> <\ _ [Occ=Dead, OS=OneShot] -> <GHC.Classes.== | $ @ a ; $ $dEq_a166 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 1 > ; case of _ [Occ=Dead] { GHC.Types.False -> <\ _ [Occ=Dead, OS=OneShot] -> <GHC.Num.+ | $ @ a ; $ $dNum_a164 ; $ <fib | $ <GHC.Num.- | $ @ a ; $ $dNum_a165 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 1 > > > ; $ <fib | $ <GHC.Num.- | $ @ a ; $ $dNum_a165 ; $ ds_d1at ; $ <GHC.Num.fromInteger | $ @ a ; $ $dNum_a165 ; $ __integer 2 > > > > | $ GHC.Prim.void# > ; GHC.Types.True -> <GHC.Num.fromInteger | $ @ a ; $ $dNum_a164 ; $ __integer 1 > } > | $ GHC.Prim.void# > ; GHC.Types.True -> <GHC.Num.fromInteger | $ @ a ; $ $dNum_a164 ; $ __integer 0 > } > } } in fib Main.fibs :: [GHC.Integer.Type.Integer] [LclIdX, Str=DmdType] Main.fibs = let { rec { fibs [Occ=LoopBreaker] :: [GHC.Integer.Type.Integer] [LclId, Str=DmdType] fibs = : (@ GHC.Integer.Type.Integer) (__integer 0) (: (@ GHC.Integer.Type.Integer) (__integer 1) <GHC.List.zipWith | $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ <GHC.Num.+ | $ @ GHC.Integer.Type.Integer ; $ GHC.Num.$fNumInteger > ; $ fibs ; $ <GHC.List.tail | $ @ GHC.Integer.Type.Integer ; $ fibs > >) } } in fibs Main.main :: GHC.Types.IO () [LclIdX, Str=DmdType] Main.main = <GHC.Classes.== | $ @ GHC.Integer.Type.Integer ; $ GHC.Integer.Type.$fEqInteger ; $ <Main.fib | $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ GHC.Num.$fNumInteger ; $ GHC.Num.$fNumInteger ; $ GHC.Integer.Type.$fEqInteger ; $ __integer 10 > ; $ <GHC.List.!! | $ @ GHC.Integer.Type.Integer ; $ Main.fibs ; $ GHC.Types.I# 10 > ; case of _ [Occ=Dead] { GHC.Types.False -> <System.IO.putStrLn | $ <GHC.CString.unpackCString# | $ "Boo!"# > > ; GHC.Types.True -> <System.IO.putStrLn | $ <GHC.CString.unpackCString# | $ "Yay!"# > > } > rec { Main.f [Occ=LoopBreaker] :: GHC.Types.Int -> GHC.Types.Int [LclIdX, Str=DmdType] Main.f = \ (x :: GHC.Types.Int) -> <GHC.Classes.> | $ @ GHC.Integer.Type.Integer ; $ GHC.Integer.Type.$fOrdInteger ; $ <Main.fib | $ @ GHC.Integer.Type.Integer ; $ @ GHC.Integer.Type.Integer ; $ GHC.Num.$fNumInteger ; $ GHC.Num.$fNumInteger ; $ GHC.Integer.Type.$fEqInteger ; $ __integer 100 > ; $ __integer 10 ; case of _ [Occ=Dead] { GHC.Types.False -> GHC.Types.I# 0 ; GHC.Types.True -> <Main.f | $ <GHC.Num.+ | $ @ GHC.Types.Int ; $ GHC.Num.$fNumInt ; $ x ; $ GHC.Types.I# 1 > > } > } Main.sum :: [GHC.Types.Int] -> GHC.Types.Int [LclIdX, Str=DmdType] Main.sum = let { rec { sum' [Occ=LoopBreaker] :: GHC.Types.Int -> [GHC.Types.Int] -> GHC.Types.Int [LclId, Str=DmdType] sum' = \ (a :: GHC.Types.Int) (ds_d1as :: [GHC.Types.Int]) -> <ds_d1as | case of _ [Occ=Dead] { [] -> a ; : x xs -> <sum' | $ <GHC.Num.+ | $ @ GHC.Types.Int ; $ GHC.Num.$fNumInt ; $ a ; $ x > ; $ xs > } > } } in <sum' | $ GHC.Types.I# 0 > :Main.main :: GHC.Types.IO () [LclIdX, Str=DmdType] :Main.main = <GHC.TopHandler.runMainIO | $ @ () ; $ Main.main > Linking dist/build/DumpExpl/DumpExpl ... Preprocessing executable 'SpecConstrExpl' for sequent-core-0.2.0.1... [1 of 1] Compiling Main ( examples/SpecConstrExpl.hs, dist/build/SpecConstrExpl/SpecConstrExpl-tmp/Main.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.18.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package ghc-7.8.3 ... linking ... done. Loading package sequent-core-0.2.0.1 ... linking ... done. <no location info>: Could not find SpecConstr pass to replace [1 of 1] Compiling Main ( examples/SpecConstrExpl.hs, dist/build/SpecConstrExpl/SpecConstrExpl-tmp/Main.o ) [Language.SequentCore.SpecConstr changed] Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.18.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package ghc-7.8.3 ... linking ... done. Loading package sequent-core-0.2.0.1 ... linking ... done. <no location info>: Could not find SpecConstr pass to replace Linking dist/build/SpecConstrExpl/SpecConstrExpl ... Preprocessing executable 'SimplExpl' for sequent-core-0.2.0.1... [1 of 1] Compiling Main ( examples/Compl.hs, dist/build/SimplExpl/SimplExpl-tmp/Main.o ) Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.18.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package ghc-7.8.3 ... linking ... done. Loading package sequent-core-0.2.0.1 ... linking ... done. [1 of 1] Compiling Main ( examples/Compl.hs, dist/build/SimplExpl/SimplExpl-tmp/Main.o ) [Language.SequentCore.Simpl changed] Loading package ghc-prim ... linking ... done. Loading package integer-gmp ... linking ... done. Loading package base ... linking ... done. Loading package array-0.5.0.0 ... linking ... done. Loading package deepseq-1.3.0.2 ... linking ... done. Loading package containers-0.5.5.1 ... linking ... done. Loading package bytestring-0.10.4.0 ... linking ... done. Loading package filepath-1.3.0.2 ... linking ... done. Loading package old-locale-1.0.0.6 ... linking ... done. Loading package time-1.4.2 ... linking ... done. Loading package unix-2.7.0.1 ... linking ... done. Loading package directory-1.2.1.0 ... linking ... done. Loading package pretty-1.1.1.1 ... linking ... done. Loading package process-1.2.0.0 ... linking ... done. Loading package Cabal-1.18.1.3 ... linking ... done. Loading package binary-0.7.1.0 ... linking ... done. Loading package bin-package-db-0.0.0.0 ... linking ... done. Loading package hoopl-3.10.0.1 ... linking ... done. Loading package hpc-0.6.0.1 ... linking ... done. Loading package template-haskell ... linking ... done. Loading package transformers-0.3.0.0 ... linking ... done. Loading package ghc-7.8.3 ... linking ... done. Loading package sequent-core-0.2.0.1 ... linking ... done. Linking dist/build/SimplExpl/SimplExpl ... Running Haddock for sequent-core-0.2.0.1... Running hscolour for sequent-core-0.2.0.1... Preprocessing library sequent-core-0.2.0.1... Preprocessing executable 'DumpExpl' for sequent-core-0.2.0.1... Preprocessing executable 'SpecConstrExpl' for sequent-core-0.2.0.1... Preprocessing executable 'SimplExpl' for sequent-core-0.2.0.1... Preprocessing library sequent-core-0.2.0.1... src/Language/SequentCore/Simpl/Monad.hs:8:1: Warning: The import of ‘Outputable’ is redundant except perhaps to import instances from ‘Outputable’ To import instances alone, use: import Outputable() Haddock coverage: 33% ( 1 / 3) in 'Language.SequentCore.Util' 0% ( 0 / 9) in 'Language.SequentCore.Simpl.Monad' 100% ( 49 / 49) in 'Language.SequentCore.Syntax' 100% ( 2 / 2) in 'Language.SequentCore.Pretty' 100% ( 12 / 12) in 'Language.SequentCore.Translate' 100% ( 2 / 2) in 'Language.SequentCore.Plugin' 100% ( 2 / 2) in 'Language.SequentCore.Dump' 2% ( 1 / 47) in 'Language.SequentCore.Simpl.Env' 100% ( 2 / 2) in 'Language.SequentCore.Simpl' 100% ( 2 / 2) in 'Language.SequentCore.SpecConstr' 100% ( 5 / 5) in 'Language.SequentCore' Documentation created: dist/doc/html/sequent-core/index.html, dist/doc/html/sequent-core/sequent-core.txt Preprocessing executable 'DumpExpl' for sequent-core-0.2.0.1... Preprocessing executable 'SpecConstrExpl' for sequent-core-0.2.0.1... Preprocessing executable 'SimplExpl' for sequent-core-0.2.0.1... Creating package registration file: /tmp/pkgConf-sequent-core-0.2.031410.1 Installing library in /home/builder/hackage-server/build-cache/tmp-install/lib/x86_64-linux-ghc-7.8.3/sequent-core-0.2.0.1 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 sequent-core-0.2.0.1... Installed sequent-core-0.2.0.1
Test log
No test log was submitted for this report.