Build #1 for CarneadesIntoDung-1.0
| Package | CarneadesIntoDung-1.0 |
|---|
| Install | InstallOk |
|---|---|
| Docs | Ok |
| Tests | NotTried |
| Time submitted | unknown |
|---|---|
| Compiler | ghc-7.6.3 |
| OS | linux |
| Arch | x86_64 |
| Dependencies | fgl-5.5.0.1, containers-0.5.0.0, cmdargs-0.10.7, base-4.6.0.1, Dung-1.0.0.1, CarneadesDSL-1.3 |
| Flags | none |
Code Coverage
No Code Coverage was submitted for this report.
Build log
[view raw]
Resolving dependencies...
Configuring cmdargs-0.10.7...
Building cmdargs-0.10.7...
Preprocessing library cmdargs-0.10.7...
[ 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 )
Data/Generics/Any.hs:65:17: Warning:
In the use of `tyConString'
(imported from Data.Data, but defined in Data.Typeable.Internal):
Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available."
[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.7...
Running Haddock for cmdargs-0.10.7...
Running hscolour for cmdargs-0.10.7...
Preprocessing library cmdargs-0.10.7...
Preprocessing library cmdargs-0.10.7...
dist/build/tmp-31171/Data/Generics/Any.hs:65:17: Warning:
In the use of `tyConString'
(imported from Data.Data, but defined in Data.Typeable.Internal):
Deprecated: "renamed to tyConName; tyConModule and tyConPackage are also available."
Haddock coverage:
50% ( 1 / 2) in 'System.Console.CmdArgs.Implicit.Ann'
100% ( 21 / 21) in 'System.Console.CmdArgs.Implicit.UI'
100% ( 8 / 8) in 'System.Console.CmdArgs.Verbosity'
25% ( 2 / 8) in 'System.Console.CmdArgs.Implicit.Type'
67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.SplitJoin'
50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.ExpandArgsAt'
86% ( 24 / 28) in 'System.Console.CmdArgs.Explicit.Type'
50% ( 1 / 2) in 'System.Console.CmdArgs.Explicit.Process'
60% ( 3 / 5) in 'System.Console.CmdArgs.Explicit.Complete'
100% ( 8 / 8) in 'System.Console.CmdArgs.Helper'
100% ( 2 / 2) in 'System.Console.CmdArgs.Default'
100% ( 5 / 5) in 'System.Console.CmdArgs.Text'
67% ( 2 / 3) in 'System.Console.CmdArgs.Explicit.Help'
93% ( 43 / 46) in 'System.Console.CmdArgs.Explicit'
100% ( 8 / 8) in 'System.Console.CmdArgs.GetOpt'
4% ( 1 / 26) in 'Data.Generics.Any'
0% ( 0 / 20) in 'Data.Generics.Any.Prelude'
0% ( 0 / 3) in 'System.Console.CmdArgs.Implicit.Reader'
100% ( 17 / 17) in 'System.Console.CmdArgs.Annotate'
9% ( 1 / 11) in 'System.Console.CmdArgs.Implicit.Local'
0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Reform'
0% ( 0 / 2) in 'System.Console.CmdArgs.Implicit.Global'
100% ( 50 / 50) in 'System.Console.CmdArgs.Implicit'
100% ( 9 / 9) in 'System.Console.CmdArgs.Quote'
100% ( 2 / 2) in 'System.Console.CmdArgs'
Warning: System.Console.CmdArgs.Implicit: could not find link destinations for:
System.Console.CmdArgs.Implicit.Type.CmdArgsPrivate GHC.IO.Handle.Types.Handle__
Documentation created: dist/doc/html/cmdargs/index.html,
dist/doc/html/cmdargs/cmdargs.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/cmdargs-0.10.7
Registering cmdargs-0.10.7...
Installed cmdargs-0.10.7
Configuring fgl-5.5.0.1...
Building fgl-5.5.0.1...
Preprocessing library fgl-5.5.0.1...
[ 1 of 29] Compiling Paths_fgl ( dist/build/autogen/Paths_fgl.hs, dist/build/Paths_fgl.o )
[ 2 of 29] Compiling Data.Graph.Inductive.Internal.Thread ( Data/Graph/Inductive/Internal/Thread.hs, dist/build/Data/Graph/Inductive/Internal/Thread.o )
[ 3 of 29] Compiling Data.Graph.Inductive.Graph ( Data/Graph/Inductive/Graph.hs, dist/build/Data/Graph/Inductive/Graph.o )
[ 4 of 29] Compiling Data.Graph.Inductive.Basic ( Data/Graph/Inductive/Basic.hs, dist/build/Data/Graph/Inductive/Basic.o )
[ 5 of 29] Compiling Data.Graph.Inductive.PatriciaTree ( Data/Graph/Inductive/PatriciaTree.hs, dist/build/Data/Graph/Inductive/PatriciaTree.o )
[ 6 of 29] Compiling Data.Graph.Inductive.Monad ( Data/Graph/Inductive/Monad.hs, dist/build/Data/Graph/Inductive/Monad.o )
[ 7 of 29] Compiling Data.Graph.Inductive.Monad.IOArray ( Data/Graph/Inductive/Monad/IOArray.hs, dist/build/Data/Graph/Inductive/Monad/IOArray.o )
[ 8 of 29] Compiling Data.Graph.Inductive.Example ( Data/Graph/Inductive/Example.hs, dist/build/Data/Graph/Inductive/Example.o )
[ 9 of 29] Compiling Data.Graph.Inductive.Query.DFS ( Data/Graph/Inductive/Query/DFS.hs, dist/build/Data/Graph/Inductive/Query/DFS.o )
[10 of 29] Compiling Data.Graph.Inductive.Query.Indep ( Data/Graph/Inductive/Query/Indep.hs, dist/build/Data/Graph/Inductive/Query/Indep.o )
[11 of 29] Compiling Data.Graph.Inductive.Query.ArtPoint ( Data/Graph/Inductive/Query/ArtPoint.hs, dist/build/Data/Graph/Inductive/Query/ArtPoint.o )
[12 of 29] Compiling Data.Graph.Inductive.Query.BCC ( Data/Graph/Inductive/Query/BCC.hs, dist/build/Data/Graph/Inductive/Query/BCC.o )
[13 of 29] Compiling Data.Graph.Inductive.Query.Dominators ( Data/Graph/Inductive/Query/Dominators.hs, dist/build/Data/Graph/Inductive/Query/Dominators.o )
[14 of 29] Compiling Data.Graph.Inductive.Query.TransClos ( Data/Graph/Inductive/Query/TransClos.hs, dist/build/Data/Graph/Inductive/Query/TransClos.o )
[15 of 29] Compiling Data.Graph.Inductive.Query.Monad ( Data/Graph/Inductive/Query/Monad.hs, dist/build/Data/Graph/Inductive/Query/Monad.o )
[16 of 29] Compiling Data.Graph.Inductive.Internal.RootPath ( Data/Graph/Inductive/Internal/RootPath.hs, dist/build/Data/Graph/Inductive/Internal/RootPath.o )
[17 of 29] Compiling Data.Graph.Inductive.Internal.Queue ( Data/Graph/Inductive/Internal/Queue.hs, dist/build/Data/Graph/Inductive/Internal/Queue.o )
[18 of 29] Compiling Data.Graph.Inductive.Query.BFS ( Data/Graph/Inductive/Query/BFS.hs, dist/build/Data/Graph/Inductive/Query/BFS.o )
[19 of 29] Compiling Data.Graph.Inductive.Query.MaxFlow ( Data/Graph/Inductive/Query/MaxFlow.hs, dist/build/Data/Graph/Inductive/Query/MaxFlow.o )
[20 of 29] Compiling Data.Graph.Inductive.Internal.Heap ( Data/Graph/Inductive/Internal/Heap.hs, dist/build/Data/Graph/Inductive/Internal/Heap.o )
[21 of 29] Compiling Data.Graph.Inductive.Query.SP ( Data/Graph/Inductive/Query/SP.hs, dist/build/Data/Graph/Inductive/Query/SP.o )
[22 of 29] Compiling Data.Graph.Inductive.Query.GVD ( Data/Graph/Inductive/Query/GVD.hs, dist/build/Data/Graph/Inductive/Query/GVD.o )
[23 of 29] Compiling Data.Graph.Inductive.Query.MST ( Data/Graph/Inductive/Query/MST.hs, dist/build/Data/Graph/Inductive/Query/MST.o )
[24 of 29] Compiling Data.Graph.Inductive.Internal.FiniteMap ( Data/Graph/Inductive/Internal/FiniteMap.hs, dist/build/Data/Graph/Inductive/Internal/FiniteMap.o )
[25 of 29] Compiling Data.Graph.Inductive.NodeMap ( Data/Graph/Inductive/NodeMap.hs, dist/build/Data/Graph/Inductive/NodeMap.o )
[26 of 29] Compiling Data.Graph.Inductive.Query.MaxFlow2 ( Data/Graph/Inductive/Query/MaxFlow2.hs, dist/build/Data/Graph/Inductive/Query/MaxFlow2.o )
[27 of 29] Compiling Data.Graph.Inductive.Query ( Data/Graph/Inductive/Query.hs, dist/build/Data/Graph/Inductive/Query.o )
[28 of 29] Compiling Data.Graph.Inductive ( Data/Graph/Inductive.hs, dist/build/Data/Graph/Inductive.o )
[29 of 29] Compiling Data.Graph.Inductive.Tree ( Data/Graph/Inductive/Tree.hs, dist/build/Data/Graph/Inductive/Tree.o )
In-place registering fgl-5.5.0.1...
Running Haddock for fgl-5.5.0.1...
Running hscolour for fgl-5.5.0.1...
Preprocessing library fgl-5.5.0.1...
Preprocessing library fgl-5.5.0.1...
Haddock coverage:
0% ( 0 / 8) in 'Paths_fgl'
23% ( 3 / 13) in 'Data.Graph.Inductive.Internal.Thread'
96% ( 75 / 78) in 'Data.Graph.Inductive.Graph'
100% ( 18 / 18) in 'Data.Graph.Inductive.Basic'
33% ( 1 / 3) in 'Data.Graph.Inductive.PatriciaTree'
47% ( 8 / 17) in 'Data.Graph.Inductive.Monad'
40% ( 4 / 10) in 'Data.Graph.Inductive.Monad.IOArray'
23% ( 14 / 61) in 'Data.Graph.Inductive.Example'
16% ( 5 / 32) in 'Data.Graph.Inductive.Query.DFS'
50% ( 1 / 2) in 'Data.Graph.Inductive.Query.Indep'
50% ( 1 / 2) in 'Data.Graph.Inductive.Query.ArtPoint'
50% ( 1 / 2) in 'Data.Graph.Inductive.Query.BCC'
67% ( 2 / 3) in 'Data.Graph.Inductive.Query.Dominators'
50% ( 1 / 2) in 'Data.Graph.Inductive.Query.TransClos'
30% ( 13 / 43) in 'Data.Graph.Inductive.Query.Monad'
33% ( 3 / 9) in 'Data.Graph.Inductive.Internal.RootPath'
22% ( 2 / 9) in 'Data.Graph.Inductive.Internal.Queue'
33% ( 6 / 18) in 'Data.Graph.Inductive.Query.BFS'
100% ( 9 / 9) in 'Data.Graph.Inductive.Query.MaxFlow'
19% ( 3 / 16) in 'Data.Graph.Inductive.Internal.Heap'
20% ( 1 / 5) in 'Data.Graph.Inductive.Query.SP'
12% ( 1 / 8) in 'Data.Graph.Inductive.Query.GVD'
40% ( 2 / 5) in 'Data.Graph.Inductive.Query.MST'
38% ( 8 / 21) in 'Data.Graph.Inductive.Internal.FiniteMap'
48% ( 21 / 44) in 'Data.Graph.Inductive.NodeMap'
20% ( 1 / 5) in 'Data.Graph.Inductive.Query.MaxFlow2'
93% ( 13 / 14) in 'Data.Graph.Inductive.Query'
90% ( 9 / 10) in 'Data.Graph.Inductive'
33% ( 1 / 3) in 'Data.Graph.Inductive.Tree'
Documentation created: dist/doc/html/fgl/index.html, dist/doc/html/fgl/fgl.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/fgl-5.5.0.1
Registering fgl-5.5.0.1...
Installed fgl-5.5.0.1
Downloading Dung-1.0.0.1...
Configuring Dung-1.0.0.1...
Building Dung-1.0.0.1...
Preprocessing library Dung-1.0.0.1...
[1 of 4] Compiling Language.Dung.AF ( src/Language/Dung/AF.hs, dist/build/Language/Dung/AF.o )
[2 of 4] Compiling Language.Dung.Input ( src/Language/Dung/Input.hs, dist/build/Language/Dung/Input.o )
[3 of 4] Compiling Language.Dung.Output ( src/Language/Dung/Output.hs, dist/build/Language/Dung/Output.o )
[4 of 4] Compiling Language.Dung.Examples ( src/Language/Dung/Examples.hs, dist/build/Language/Dung/Examples.o )
In-place registering Dung-1.0.0.1...
Preprocessing executable 'dungell' for Dung-1.0.0.1...
[1 of 4] Compiling Language.Dung.AF ( src/Language/Dung/AF.hs, dist/build/dungell/dungell-tmp/Language/Dung/AF.o )
[2 of 4] Compiling Language.Dung.Input ( src/Language/Dung/Input.hs, dist/build/dungell/dungell-tmp/Language/Dung/Input.o )
[3 of 4] Compiling Language.Dung.Output ( src/Language/Dung/Output.hs, dist/build/dungell/dungell-tmp/Language/Dung/Output.o )
[4 of 4] Compiling Main ( src/Main.hs, dist/build/dungell/dungell-tmp/Main.o )
Linking dist/build/dungell/dungell ...
Running Haddock for Dung-1.0.0.1...
Running hscolour for Dung-1.0.0.1...
Preprocessing library Dung-1.0.0.1...
Preprocessing executable 'dungell' for Dung-1.0.0.1...
Preprocessing library Dung-1.0.0.1...
Haddock coverage:
100% ( 53 / 53) in 'Language.Dung.AF'
100% ( 4 / 4) in 'Language.Dung.Input'
100% ( 8 / 8) in 'Language.Dung.Output'
80% ( 20 / 25) in 'Language.Dung.Examples'
Documentation created: dist/doc/html/Dung/index.html,
dist/doc/html/Dung/Dung.txt
Preprocessing executable 'dungell' for Dung-1.0.0.1...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/Dung-1.0.0.1
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering Dung-1.0.0.1...
Installed Dung-1.0.0.1
Configuring CarneadesDSL-1.3...
Building CarneadesDSL-1.3...
Preprocessing library CarneadesDSL-1.3...
[1 of 4] Compiling Language.Carneades.Cyclic ( Language/Carneades/Cyclic.hs, dist/build/Language/Carneades/Cyclic.o )
[2 of 4] Compiling Language.Carneades.CarneadesDSL ( Language/Carneades/CarneadesDSL.lhs, dist/build/Language/Carneades/CarneadesDSL.o )
[3 of 4] Compiling Language.Carneades.Input ( Language/Carneades/Input.hs, dist/build/Language/Carneades/Input.o )
[4 of 4] Compiling Language.Carneades.ExampleCAES ( Language/Carneades/ExampleCAES.lhs, dist/build/Language/Carneades/ExampleCAES.o )
In-place registering CarneadesDSL-1.3...
Running Haddock for CarneadesDSL-1.3...
Running hscolour for CarneadesDSL-1.3...
Preprocessing library CarneadesDSL-1.3...
Preprocessing library CarneadesDSL-1.3...
Haddock coverage:
0% ( 0 / 2) in 'Language.Carneades.Cyclic'
5% ( 3 / 57) in 'Language.Carneades.CarneadesDSL'
100% ( 4 / 4) in 'Language.Carneades.Input'
doc comment parse failed: should not be acceptable, because the weight of
$\mathit{arg2} < \alpha$. However, note that we can't reach the opposite
conclusion either:
\begin{spec}
acceptable (mkProp "murder") caes
> False
acceptable (mkProp "-murder") caes
> False
\end{spec}
As a further extension, one could for example imagine giving an
argumentation theorist the means to see a trace of the derivation of
acceptability. It would be straightforward to add further primitives
to the DSL and keeping track of intermediate results for
acceptability and applicability to achieve this.
24% ( 4 / 17) in 'Language.Carneades.ExampleCAES'
Documentation created: dist/doc/html/CarneadesDSL/index.html,
dist/doc/html/CarneadesDSL/CarneadesDSL.txt
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/CarneadesDSL-1.3
Registering CarneadesDSL-1.3...
Installed CarneadesDSL-1.3
Downloading CarneadesIntoDung-1.0...
Configuring CarneadesIntoDung-1.0...
Building CarneadesIntoDung-1.0...
Preprocessing library CarneadesIntoDung-1.0...
[1 of 2] Compiling Language.CarneadesIntoDung.Translation ( src/Language/CarneadesIntoDung/Translation.hs, dist/build/Language/CarneadesIntoDung/Translation.o )
[2 of 2] Compiling Language.CarneadesIntoDung.Examples ( src/Language/CarneadesIntoDung/Examples.hs, dist/build/Language/CarneadesIntoDung/Examples.o )
In-place registering CarneadesIntoDung-1.0...
Preprocessing executable 'caell' for CarneadesIntoDung-1.0...
[1 of 2] Compiling Language.CarneadesIntoDung.Translation ( src/Language/CarneadesIntoDung/Translation.hs, dist/build/caell/caell-tmp/Language/CarneadesIntoDung/Translation.o )
[2 of 2] Compiling Main ( src/Main.hs, dist/build/caell/caell-tmp/Main.o )
Linking dist/build/caell/caell ...
Running Haddock for CarneadesIntoDung-1.0...
Running hscolour for CarneadesIntoDung-1.0...
Preprocessing library CarneadesIntoDung-1.0...
Preprocessing executable 'caell' for CarneadesIntoDung-1.0...
Preprocessing library CarneadesIntoDung-1.0...
Haddock coverage:
100% ( 13 / 13) in 'Language.CarneadesIntoDung.Translation'
88% ( 7 / 8) in 'Language.CarneadesIntoDung.Examples'
Documentation created: dist/doc/html/CarneadesIntoDung/index.html,
dist/doc/html/CarneadesIntoDung/CarneadesIntoDung.txt
Preprocessing executable 'caell' for CarneadesIntoDung-1.0...
Installing library in
/srv/hackage/var/build/tmp-install/lib/x86_64-linux-ghc-7.6.3/CarneadesIntoDung-1.0
Installing executable(s) in /srv/hackage/var/build/tmp-install/bin
Warning: The directory /srv/hackage/var/build/tmp-install/bin is not in the
system search path.
Registering CarneadesIntoDung-1.0...
Installed CarneadesIntoDung-1.0
Test log
No test log was submitted for this report.